scholarly journals Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

2013 ◽  
Vol 21 (3) ◽  
pp. 207-211
Author(s):  
Hiroshi Yamazaki ◽  
Hiroyuki Okazaki ◽  
Kazuhisa Nakasho ◽  
Yasunari Shidama

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
Author(s):  
Markku Niemenmaa

If the inner mapping group of a loop is a finite Abelian group, then the loop is centrally nilpotent. We first investigate the structure of those finite Abelian groups which are not isomorphic to inner mapping groups of loops and after this we show that if the inner mapping group of a loop is isomorphic to the direct product of two cyclic groups of the same odd prime power order pn, then our loop is centrally nilpotent of class at most n + 1.


2012 ◽  
Vol 20 (4) ◽  
pp. 343-347
Author(s):  
Kenichi Arai ◽  
Hiroyuki Okazaki ◽  
Yasunari Shidama

Summary In this article, we formalize that every finite cyclic group is isomorphic to a direct product of finite cyclic groups which orders are relative prime. This theorem is closely related to the Chinese Remainder theorem ([18]) and is a useful lemma to prove the basis theorem for finite abelian groups and the fundamental theorem of finite abelian groups. Moreover, we formalize some facts about the product of a finite sequence of abelian groups.


1997 ◽  
Vol 40 (1) ◽  
pp. 47-53 ◽  
Author(s):  
Manfred Hartl

AbstractDimension subgroups and Lie dimension subgroups are known to satisfy a ‘universal coefficient decomposition’, i.e. their value with respect to an arbitrary coefficient ring can be described in terms of their values with respect to the ‘universal’ coefficient rings given by the cyclic groups of infinite and prime power order. Here this fact is generalized to much more general types of induced subgroups, notably covering Fox subgroups and relative dimension subgroups with respect to group algebra filtrations induced by arbitrary N-series, as well as certain common generalisations of these which occur in the study of the former. This result relies on an extension of the principal universal coefficient decomposition theorem on polynomial ideals (due to Passi, Parmenter and Seghal), to all additive subgroups of group rings. This is possible by using homological instead of ring theoretical methods.


2019 ◽  
Vol 168 (3) ◽  
pp. 613-633 ◽  
Author(s):  
MARK WILDON

AbstractA group K is said to be a B-group if every permutation group containing K as a regular subgroup is either imprimitive or 2-transitive. In the second edition of his influential textbook on finite groups, Burnside published a proof that cyclic groups of composite prime-power degree are B-groups. Ten years later, in 1921, he published a proof that every abelian group of composite degree is a B-group. Both proofs are character-theoretic and both have serious flaws. Indeed, the second result is false. In this paper we explain these flaws and prove that every cyclic group of composite order is a B-group, using only Burnside’s character-theoretic methods. We also survey the related literature, prove some new results on B-groups of prime-power order, state two related open problems and present some new computational data.


1960 ◽  
Vol 12 ◽  
pp. 447-462 ◽  
Author(s):  
Ruth Rebekka Struik

In this paper G = F/Fn is studied for F a free product of a finite number of cyclic groups, and Fn the normal subgroup generated by commutators of weight n. The case of n = 4 is completely treated (F/F2 is well known; F/F3 is completely treated in (2)); special cases of n > 4 are studied; a partial conjecture is offered in regard to the unsolved cases. For n = 4 a multiplication table and other properties are given.The problem arose from Golovin's work on nilpotent products ((1), (2), (3)) which are of interest because they are generalizations of the free and direct product of groups: all nilpotent groups are factor groups of nilpotent products in the same sense that all groups are factor groups of free products, and all Abelian groups are factor groups of direct products. In particular (as is well known) every finite Abelian group is a direct product of cyclic groups. Hence it becomes of interest to investigate nilpotent products of finite cyclic groups.


1979 ◽  
Vol 22 (1) ◽  
pp. 17-21 ◽  
Author(s):  
A. D. Sands

Keller (6) considered a generalisation of a problem of Minkowski (7) concerning the filling of Rn by congruent cubes. Hajós (4) reduced Minkowski's conjecture to a problem concerning the factorization of finite abelian groups and then solved this problem. In a similar manner Hajós (5) reduced Keller's conjecture to a problem in the factorization of finite abelian groups, but this problem remains unsolved, in general. It occurs also as Problem 80 in Fuchs (3). Seitz (10) has obtained a solution for cyclic groups of prime power order. In this paper we present a solution for cyclic groups whose order is the product of two prime powers.


2019 ◽  
Vol 30 (01) ◽  
pp. 167-179
Author(s):  
Erhard Aichinger ◽  
Gábor Horváth

We characterize those algebras that have infinitely many polynomially inequivalent expansions among all finite nilpotent algebras of finite type in congruence modular varieties that are direct products of algebras of prime power order.


Author(s):  
Roland Schmidt

AbstractWe solve the following problem which was posed by Barnes in 1962. For which abelian groups G and H of the same prime power order is it possible to embed the subgroup lattice of G in that of H? It follows from Barnes' results and a theorem of Herrmann and Huhn that if there exists such an embedding and G contains three independent elements of order p2, then G and H are isomorphic. This reduces the problem to the case that G is the direct product of cyclic p-groups only two of which have order larger than p. We determine all groups H for which the desired embedding exists.


Sign in / Sign up

Export Citation Format

Share Document