Connections between number theory and abstract algebra.

I haven't taken abstract algebra yet, but I am curious about connections between number theory and abstract algebra. Do the proofs of things like Fermat's little theorem, the law of quadratic reciprocity, etc. rely upon techniques found in abstract algebra?

Thanks.

Solution 1:

Historically, there are many results in number theory that were proved without modern algebra, but are now viewed algebraically.

For example, the Chinese Remainder Theorem (CRT) states that any system of congruences $$\begin{array}{rcl}x&\equiv& a_1 \pmod{b_1}\\x&\equiv& a_2 \pmod{b_2}\\ &\vdots& \\ x&\equiv& a_n \pmod{b_n}\end{array}$$ for which $b_1,b_2,\ldots ,b_n$ are pairwise coprime has a solution $x$, and that all such solutions are congruent $\mod {\prod_{i=1}^n b_i}$. The CRT was first proved by Sun Tzu$^\star$ around the year $300$.

It turns out that the Chinese remainder theorem is equivalent to the group theoretic statement that, whenever $b_1,b_2,\ldots ,b_n$ are pairwise coprime and $b=b_1b_2\cdots b_n$, $$\mathbb{Z}_{b}\cong \mathbb{Z}_{b_1}\times \mathbb{Z}_{b_2}\times \cdots \times \mathbb{Z}_{b_n}.$$ In the completely unbiased opinion of this finite group theorist, the above is a much more intuitive form of the CRT. In fact, seeing the theorem in this form inspired a generalization: if $I_1,I_2,\ldots, I_n$ are pairwise coprime$^{\star\star}$ ideals of a commutative ring $R$, and $I$ is the product of these ideals, then $$R/I\cong R/{I_1}\times R/{I_2}\times \cdots \times R/{I_n}.$$ With this generalization we can use the CRT in other commutative rings, like the Gaussian integers $\mathbb{Z}[i]$, polynomial rings $R[x]$, formal power series rings $R[[x]]$, and so on. All of these rings are objects of interest in algebraic number theory, a discipline which (obviously) emphasizes the blurry line between what is abstract algebra and what is number theory.

$\hspace{2pt}^\star\hspace{2pt}$ To my great disappointment, this was not the Art of War guy.

$^{\star\star}$ Here "pairwise coprime" means that $I_j+I_k=(1)$ for each $j\neq k$.

Solution 2:

See for instance Elementary Number Theory: An Algebraic Approach by Bolker.

Solution 3:

Major results like the ones you cite have many proofs, including ones using abstract algebra, but also ones using combinatorics. See George Andrew's number theory book for an excellent example of the latter.