The Uniqueness Aspect of the Fundamental Theorem of Finite Abelian Groups

1995 ◽  
Vol 102 (2) ◽  
pp. 162 ◽  
Author(s):  
David B. Surowski
Keyword(s):  
Fundamental Theorem ◽  
Abelian Groups ◽  
Finite Abelian Groups

scholarly journals Isomorphisms of Direct Products of Finite Cyclic Groups

2012 ◽  
Vol 20 (4) ◽  
pp. 343-347
Author(s):  
Kenichi Arai ◽  
Hiroyuki Okazaki ◽  
Yasunari Shidama
Keyword(s):  
Direct Product ◽  
Cyclic Group ◽  
Fundamental Theorem ◽  
Chinese Remainder Theorem ◽  
Abelian Groups ◽  
Finite Sequence ◽  
Direct Products ◽  
Finite Abelian Groups ◽  
Cyclic Groups ◽  
Relative Prime

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.

Sign in / Sign up

Export Citation Format

Share Document