Kvadratfritt tal

Inom matematiken är ett kvadratfritt tal ett heltal som inte är delbart med någon perfekt kvadrat, utom 1. Till exempel är 10 kvadratfritt men inte 18, eftersom 18 är delbart med Mall:Nowrap.

De första positiva kvadratfria talen är:

Ekvivalenta karakteriseringar

Det positiva heltalet n är kvadratfritt om och bara om:

μ(n) ≠ 0, där μ är Möbiusfunktionen.
den är sin egen radikal.
alla Abelska grupper of ordning n är isomorfiska, vilket gäller om och bara om alla grupper är cykliska.
kvotringen Z / nZ (se modulär aritmetik) är en produkt av kroppar. Detta följer ur kinesiska restsatsen och att en ring av formen Z / kZ är en kropp om och bara om k är ett primtal.

Låt Q(x) beteckna antalet kvadratfria tal mellan 1 och x. Då kan man bevisa med elementära metoder

Q (x) = \frac{x}{ζ (2)} + O (\sqrt{x}) = \frac{6 x}{π^{2}} + O (\sqrt{x})

Med mer avancerade metoder kan man få ner feltermen till

Q (x) = \frac{6 x}{π^{2}} + O (x^{1 / 2} \exp (- c \frac{(\log x)^{3 / 5}}{(\log \log x)^{1 / 5}})) .

för någon konstant c. Om man antar att Riemannhypotesen är sann kan feltermen fås ner till

Q (x) = \frac{x}{ζ (2)} + O (x^{17 / 54 + ε}) = \frac{6 x}{π^{2}} + O (x^{17 / 54 + ε}) .

Den asymptotiska densiteten av kvadratfria tal är alltså

\lim_{x \to \infty} \frac{Q (x)}{x} = \frac{6}{π^{2}} = \frac{1}{ζ (2)}

$(\binom{2 n}{n})$

är aldrig kvadratfri för n > 4. Detta bevisades 1985 för alla tillräckligt stora heltal av András Sárközy och för alla heltal 1996 av Olivier Ramaré och Andrew Granville.