Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
Keyword(s):
Summary 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].
2005 ◽
Vol 71
(3)
◽
pp. 487-492
Keyword(s):
1997 ◽
Vol 40
(1)
◽
pp. 47-53
◽
Keyword(s):
2019 ◽
Vol 168
(3)
◽
pp. 613-633
◽
Keyword(s):
1960 ◽
Vol 12
◽
pp. 447-462
◽
Keyword(s):
1979 ◽
Vol 22
(1)
◽
pp. 17-21
◽
Keyword(s):
2010 ◽
Vol 323
(10)
◽
pp. 2818-2833
◽
1977 ◽
Vol s2-15
(1)
◽
pp. 91-98
◽
2019 ◽
Vol 30
(01)
◽
pp. 167-179
Keyword(s):
1997 ◽
Vol 62
(2)
◽
pp. 259-278
◽