Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
, , y | 01 oct 2013
Acerca de este artículo
Publicado en línea: 01 oct 2013
Páginas: 207 - 211
DOI: https://doi.org/10.2478/forma-2013-0022
Palabras clave
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].