What properties characterize squarefree integers? It is known that, if a positive integer $m$ is squarefree, then the following properties hold:


*

*If $m \mid n^2$ holds, then $m \mid n$ is true (where $n$ is a positive integer).





*The equation $m = \operatorname{rad}(m)$ holds, where $\operatorname{rad}(m)$ is the radical or squarefree kernel of $m$

Here is my question:


Are there other properties, not mentioned above, that characterize squarefree integers?


One property per answer only, please.
 A: A natural number $n$ is squarefree iff $\gcd(a,b)=1$ whenever $n=ab$.
A: Using the usual notation $\omega(n)$ for the number of distinct prime factors of $n$ and $\Omega(n)$ for the number of prime factors of $n$ counted with multiplicity: $n$ is squarefree if and only if $\Omega(n)-\omega(n)=0$.
In isolation this might seem a little underwhelming; however, it is known that for every nonnegative integer $k$, the density of the set of integers $n$ such that $\Omega(n)-\omega(n)=k$ exists (that is, $\Omega(n)-\omega(n)$ has a limiting density function, which is a "limiting histogram"). Squarefree numbers are the case $k=0$ of this general fact (and their density is well known to equal $6/\pi^2$).
A: $m$ is square free if and only if for all integers $n$, $n^{\phi(m) + 1} \equiv n \mod m$. Here, $\phi$ is the totient function.
A: Using $\mu$ (the möbius function), $m$ is a square-free positive integer if and only if $\mu(m) = -1$ (when $m$ has an odd number of prime factors) or $\mu(m) = 1$ (when $m$ has an even number of prime factors).
Note Greg Martin's comment states

Perhaps a flashier version of this answer would be "$m$ is squarefree if and only if the sum of the primitive $m$th roots of unity is nonzero".

A: If m is square free any abelian group of order m is cyclic. Also see the fundamental theorem of finite abelian groups for a better understanding.
A: A positive integer $m$ is square-free if and only if, for every prime $p$, we have that $p \nmid m \, \lor \, p^2 \nmid m$. Basically equivalently, $m$ is square-free iff there's no prime $p$ where $p^2 \mid m$.
