9
$\begingroup$

I have two questions regarding to $p$-groups.

  1. A $p$-group $G$ is said to be extraspecial of $G'=Z(G)$ has order $p$. Hence extraspecial groups are examples of $p$-groups with cyclic center. Of course there are many other $p$-groups with cyclic center that are not extraspecial. I would to know if there is any classification of $p$-groups with cyclic center.
  2. Is there any classification of $p$-groups of order $p^n$ and nilpotency class $k$ for suitable fixed $k$ and $n$?
$\endgroup$
10
  • 1
    $\begingroup$ 2: only for a few small values of $n$ (I think the classification of groups of order $p^n$ then tends to be "stable" when $n$ is fixed in the sense that it has a uniform description for $p\ge p_n$ for some $p_n$). $\endgroup$
    – YCor
    Commented May 26, 2015 at 20:03
  • 1
    $\begingroup$ It was realized a while ago that it is more productive to classify finite $p$-groups by coclass rather than by class where, for $|P|=p^n$, the coclass of $P$ is defined to be $n - {\rm cl}(P)$. $\endgroup$
    – Derek Holt
    Commented May 26, 2015 at 20:16
  • 1
    $\begingroup$ @DerekHolt: it's one point of view but I'm not 100% convinced it's the only one. For instance, complex nilpotent Lie algebras of dimension 8 are classified in the case of nilpotency length 2 (and there are finitely many) while the classification is much more complicated for nilpotency length 7 and 6 (that is, coclass 1 and 2). This should be reflected in the classification of groups of order $p^8$ and exponent $p$ when $p\ge 11$, since their classification can be restated in terms of Lie algebras over $Z/pZ$. $\endgroup$
    – YCor
    Commented May 26, 2015 at 20:26
  • 2
    $\begingroup$ @M.B. $G'=Z(G)$ does not imply that $G/Z(G)$ is elementary abelian, but $G'=Z(G)$ of order $p$ does. I am sure that the answer to Qn 1 is no. $\endgroup$
    – Derek Holt
    Commented May 26, 2015 at 20:27
  • 1
    $\begingroup$ @YCor You may be right about groups of exponent $p$. But it seems to be very difficult to classify $p$-groups of class $2$, even for small orders. $\endgroup$
    – Derek Holt
    Commented May 26, 2015 at 20:30

8 Answers 8

24
$\begingroup$

Every $p$-group is a homomorphic image of a $p$-group with cyclic center of order $p$, so a classification (whatever that means) of $p$-groups with cyclic center would (more-or-less) yield a construction for all $p$-groups, and I would not hold my breath waiting for that.

To see why a $p$-group $P$ is a homomorphic image of a $p$-group $G$ with center of order $p$, let $G$ be the regular wreath product of a cyclic group of order $p$ with $P$. Thus $G$ has an elementary abelian subgroup $E$ of order $p^{|P|}$, where $P$ permutes the cyclic factors of $E$ the way it permutes its own elements by right multiplication, and thus $P$ acts faithfully on $E$. Also, $G$ is the semidirect product of $E$ by $P$. It is easy to see that $E \cap {\bf Z}(G)$ has order $p$, so I need to show that every element of ${\bf Z}(G)$ lies in $E$. If $z \in {\bf Z}(G)$, write $z = au$, where $a \in E$ and $u \in P$. Since $z$ centralizes $E$ and $a$ centralizes $E$, it follows that $u$ centralizes $E$ and thus $u = 1$ by the faithfulness of the action. Thus $z = a \in E$, as required.

$\endgroup$
1
  • 3
    $\begingroup$ There are reasonably defined specific families of $p$-groups such that every $p$-group is a quotient of one elements of the family (for instance the family of restricted free groups of exponent some power of $p$). So given a family $F$ of $p$-groups proving that every $p$-group is a quotient of some member of $F$ doesn't mean that $F$ has no reasonable/useful description. (However in this specific case, I agree that I doubt we can expect any reasonable "parameterized" enumeration of $p$-groups of cyclic center.) $\endgroup$
    – YCor
    Commented Jan 26, 2017 at 21:34
10
$\begingroup$

This was mentioned as a brief comment by Derek Holt, but I think it deserves to be an answer. For a group of order $p^n$ and class $c$, the coclass is $n-c$. The known theory of classification by coclass is much richer than the known theory of classification by class; there is a nice account in the paper On the classification of prime-power groups by coclass by Eick and Leedham-Green (also available here). Part of the story is that one can also define coclass for infinite pro-$p$-groups, which is useful for the classification. The isomorphism types of finite $p$-groups of fixed coclass can be assembled into a tree in a natural way, and the infinite paths from the root of the tree correspond to isomorphism classes of pro-$p$-groups.

$\endgroup$
4
  • 1
    $\begingroup$ I am very fond of the coclass conjectures. However, one should be careful and emphasize that they say very little about most $p$-groups. In other words, the constant $f$ in conjecture A is so big that in most cases the normal subgroup that we get is just the trivial subgroup. $\endgroup$ Commented May 27, 2015 at 8:29
  • 1
    $\begingroup$ To Strickland. Please, let us know for which $k$ the groups of coclass are classified. Also, for $k>1$ the classification of $p$-groups of class $k$ is absent (it is known that the most $p$-groups have class $2$). $\endgroup$
    – yakov
    Commented Jul 10, 2016 at 17:36
  • $\begingroup$ When visiting your link I am getting a "Restricted Content" message. Do you happen to know of an alternative/updated link? $\endgroup$ Commented Apr 28, 2023 at 5:37
  • 1
    $\begingroup$ @zibadawatimmy I have updated the link $\endgroup$ Commented Apr 28, 2023 at 9:50
5
$\begingroup$

To echo Marty's sentiment, a classification of $p$-groups based on nilpotency class and size seems far off. As an example of where this problem can get complicated, see

http://www.degruyter.com/view/j/jgth.2011.14.issue-6/jgt.2010.081/jgt.2010.081.xml.

Basically, Halasi and Palfy construct a collection of $p$-groups (allowing $p$ to vary) of nilpotency class 2 where the number of conjugacy classes is not polynomial in the prime $p$. This is related to the (unsolved) question of whether the number of conjugacy classes of $UT_n(\mathbb{F}_q)$, the group of unipotent upper-triangular matrices over the field with $q$ elements, is polynomial in $q$.

To summarize, $p$-groups, even those of nilpotency class 2, get complicated.

$\endgroup$
4
$\begingroup$

This is not quite what you were asking, since it involves the lower central series instead of the upper one, but Miech classified the $2$-generator $p$-groups with cyclic commutator subgroup and $p$ odd in:

Miech, R.J. On $p$-groups with a cyclic commutator subgroup J. Austral. Math. Soc. 20 no. 2 (1975), 178-198, MR0404441 (53 #8243).

Their nilpotency class can be arbitrarily large, though of course they are all metabelian. As far as I know, no similar classification exists for the $p=2$ case.

$\endgroup$
2
$\begingroup$

I think that a ``proper" question which must be proposed instead of Question 1, is the following:

Is there a classification of finite $p$-groups $G$ such that both $G'$ and $Z(G)$ are cyclic?

The latter question is inspired by the example of extra-special groups as in this case both center and commutator subgroups are cyclic with further conditions.

The answer of the above question is yes: To start finding a series of papers answering the question you may see:

A. A. Finogenov, Finite $p$-Groups With Cyclic Commutator Subgroup and Cyclic Center, Matematicheskie Zametki, Vol. 63, No. 6, pp. 911-922, June, 1998.

$\endgroup$
2
$\begingroup$

Classification of $p$-groups by nilpotency class is hard in general. As pointed above, coclass seems to be a better invariant. On the other hand, Ahmad, Magidin and Morse recently finished a classification of 2-generator $p$-groups of class 2:

Ahmad, Azhana(MAL-USM); Magidin, Arturo(1-LA); Morse, Robert Fitzgerald(1-EVAN-ECS) Two generator p-groups of nilpotency class 2 and their conjugacy classes. (English summary) Publ. Math. Debrecen 81 (2012), no. 1-2, 145–166.

$\endgroup$
0
2
$\begingroup$

(Addition to Isaacs' example) Let $G$ be a $p$-group and $d$ the minimal degree of representation of $G$ by permutations. Let $d<=p^n$. where $n$ is as small as possible. Then $G$ is a subgroup of $\Sigma_{p^n}$, a Sylow $p$-subgroup of the symmetric group of degree $p^n$. Since the center of $\Sigma_{p^n}$ has order $p$, we conclude that $G$ is a subgroup of a $p$-group with center of order $p$.

$\endgroup$
1
  • $\begingroup$ Why -1? I gave a correct example. $\endgroup$
    – yakov
    Commented Aug 9, 2016 at 18:22
-3
$\begingroup$

It is easy to prove that if a nonabelian $p$-group $G$ of exponent $>p$ contains $<p$ maximal abelian subgroups of exponent $>p$, then the Hughes subgroup of $G$ is abelian of index $p$.

PROBLEM. Classify the nonabelian $p$-groups of exponent $>p$ containing exactly $p$ maximal abelian subgroups of exponent $>p$.

If $G$ satisfies the problem, then $\exp(G)=p^2$ (Z. Janko). Moreover, all such $G$ are classified for $p=2$.

$\endgroup$
1
  • 2
    $\begingroup$ Is this an answer to the question? or is it a new question? $\endgroup$ Commented Jun 20, 2016 at 22:54

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .