Free product of class two of two elementary abelian groups of prime-square order
From Groupprops
This article is about a family of groups with a parameter that is prime. For any fixed value of the prime, we get a particular group.
View other such prime-parametrized groups
Definition
Let be a prime number. This group is defined as the quotient of the free product of two copies of the elementary abelian group of prime-square order with prime , by the third member of its lower central series. In other words, it is the free product in the sense of groups of nilpotency class two of two copies of the elementary abelian subgroup of order .
An explicit presentation is given as follows. If we define:
Then our group is:
(this can be written down in a single presentation by writing all the nontrivial commutators with .
Facts
- The case give the free product of class two of two Klein four-groups. This group has group ID . The semidirect product of this group and a cyclic group of order two that acts by interchanging the s and s is a group of order . The latter gives an example of the fact that abelian-to-normal replacement fails for prime-sixth order for prime equal to two.
- For all , this group has exactly two abelian subgroups of order , both of which are elementary abelian normal subgroups. Thus, for all , this shows that the congruence condition fails for abelian subgroups of prime-sixth order.
References
Journal references
- Large abelian subgroups of p-groups by Jonathan Lazare Alperin, Transactions of the American Mathematical Society, Volume 117, Page 10 - 20(Year 1965): ^{Official copy}^{More info}: The group for the case is discussed in the context of a counterexample on Page 11, shortly after Theorem 4.
- Abelian subgroups of p-groups, an algebraic approach by David Jonah and Marc Konvisser, Journal of Algebra, ISSN 00218693, Volume 34, Page 386 - 402(Year 1975): ^{Official copy}^{More info}: The group and a general approach to thinking of such groups is discussed in this paper.