<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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].</p></abstract>

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].

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Formalized Mathematics

{"article-title":"Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order"}

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...

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Online veröffentlicht: 01. Okt. 2013

Seitenbereich: 207 - 211

DOI: https://doi.org/10.2478/forma-2013-0022

Schlüsselwörter
formalization of the commutative cyclic group, prime power set

This content is open access.

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Online veröffentlicht: 01. Okt. 2013

Seitenbereich: 207 - 211

DOI: https://doi.org/10.2478/forma-2013-0022

Schlüsselwörterformalization of the commutative cyclic group, prime power set

This content is open access.

Schlüsselwörter
formalization of the commutative cyclic group, prime power set