[FOM] New Proof of Fundamental Theorem of Arithmetic
joeshipman@aol.com
joeshipman at aol.com
Sun Sep 13 10:58:50 EDT 2009
Suppose n=p1* p2*...*p_k. The group Zn of integers mod n has an
additive subgroup {0, p2*p3*...*p_k, 2*p2*p3*...*p_k, 3*p2*p3*...*p_k,
..., (p1-1)*p2*p3*...*p_k} which has order p1; since Zn is abelian this
a normal subgroup and since p1 is prime it is a simple subgroup;
therefore there is a composition series for Zn which includes this
group, and by induction there is one which involves k groups of order
p1, p2, ..., p_k; by the Jordan-Holder theorem any composition series
for Zn involves the same groups up to order of factors so any other
prime factorization of n is the same up to order of factors.
Since this proof does not use division with remainder or GCD, and since
the proof of the Jordan-Holder theorem is completely abstract and
involves only the group operation, and doesn't depend on any properties
of rings which have two operations, should this be counted as
essentially different from the usual proofs?
-- JS
More information about the FOM
mailing list