<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

Data publikacji: 01 paź 2013

Zakres stron: 207 - 211

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

Słowa kluczowe
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

Data publikacji: 01 paź 2013

Zakres stron: 207 - 211

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

Słowa kluczoweformalization of the commutative cyclic group, prime power set

This content is open access.

Słowa kluczowe
formalization of the commutative cyclic group, prime power set