Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2013 | 10.2478/v10037-012-0038-5 | FORMALIZED MATHEMATICS |
DocType | Volume | Issue |
Journal | 20 | 4 |
ISSN | Citations | PageRank |
1898-9934 | 1 | 0.63 |
References | Authors | |
2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kenichi Arai | 1 | 1 | 0.63 |
Hiroyuki Okazaki | 2 | 1 | 0.63 |
Yasunari Shidama | 3 | 166 | 72.47 |