Isomorphisms of Direct Products of Finite Cyclic Groups
Keyword(s):
Summary In this article, we formalize that every finite cyclic group is isomorphic to a direct product of finite cyclic groups which orders are relative prime. This theorem is closely related to the Chinese Remainder theorem ([18]) and is a useful lemma to prove the basis theorem for finite abelian groups and the fundamental theorem of finite abelian groups. Moreover, we formalize some facts about the product of a finite sequence of abelian groups.
Keyword(s):
Keyword(s):
2005 ◽
Vol 71
(3)
◽
pp. 487-492
Keyword(s):
1960 ◽
Vol 12
◽
pp. 447-462
◽
Keyword(s):
1979 ◽
Vol 22
(1)
◽
pp. 17-21
◽
Keyword(s):
Keyword(s):