Carmichael number square free

We start as in your post, letting $n=p^tm$ where $t\ge 2$ and $m$ is not divisible by $p$.

By the Chinese Remainder Theorem, the system of congruences $x\equiv 1+p\pmod{p^t}$, $x\equiv 1\pmod{m}$ has a solution $a$. Note that $\gcd(a,n)=1$.

Since $n$ is Carmichael, we have $a^{n-1}\equiv 1\pmod{n}$. In particular, $a^{n-1}\equiv 1\pmod{p^t}$, and therefore $a^{n}\equiv a\pmod{p^2}$.

So $(1+p)^{n}\equiv 1+p\pmod{p^2}$. Expand $(1+p)^{n}$ modulo $p^2$ using the binomial theorem. We get that $(1+p)^{n}\equiv 1\pmod{p^2}$, since the first two terms of the expansion are $1$ and $np$, and the rest of the terms are divisible by $p^2$.

Thus $1\equiv 1+p\pmod{p^2}$. This is impossible.


You ask about a part of the theorem of Korselt of which I adjoint a copy. Unfortunately I don't remember the source of the publication however I give you a curious detail: Korselt has made his discovery before these numbers were called Carmichael and could not find any. It was Carmichael who discovered the first, 561,several years after this theorem.

enter image description here