Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
, , oraz | 01 paź 2013
O artykule
Data publikacji: 01 paź 2013
Zakres stron: 207 - 211
DOI: https://doi.org/10.2478/forma-2013-0022
Słowa kluczowe
This content is open access.
In this paper we formalized some theorems concerning the cyclic groups of prime power order. We formalize that every commutative cyclic group of prime power order is isomorphic to a direct product of family of cyclic groups [1], [18].