Capable groups of order $32$ with GAP

Question

A group that can be written as $\frac{G}{Z(G)}$ for some group $G$ is called capable. How can I find all capable groups $G$ of order 32 with $|Cent(G)|=10$, where $Cent(G)$ is the set of all centralizers of elements in the group $G$? Is it possible to find it with GAP?

The numbers of the groups $G$ of order $32$ in the small groups library with $|{\rm Cent}(G)| = 10$ are $ [ 6, 7, 8, 18, 19, 20, 43, 44 ]$. You can easily do that in GAP. But you can't test for capability in any naive way, so you will need to use some of your knowledge of the properties of capable groups to get any further. — Derek Holt, Sep 02 '15 at 09:28
I know that the SmallGroup(32,18) is $D_{32}$, that is a capable group and the SmallGroup(32,20) is $Q_{32}$, that is not a capable group. Also by comment of ULT, SmallGroup(32,6) is a capable group. — M. R., Sep 02 '15 at 09:47

score 4 · Accepted Answer · answered Sep 02 '15 at 11:01

4

In fact you can do this directly in $\mathsf{GAP}$. There is a function $\mathtt{Epicentre}$, and a group is capable if and only if its epicentre is trivial. It turns out that only small groups number $6$ and $18$ are capable from the candidates above.

answered Sep 02 '15 at 11:01

Derek Holt

90,008

Thank you. I found another function "IsCentralFactor(G)" that say that if $G$ is capable or not. – M. R. Sep 02 '15 at 11:32

score 1 · Answer 2 · edited Apr 13 '17 at 12:19

1

A quick search in the small groups database shows that there are only 8 groups of order 32 having 10 centralizers: the groups indexed by 6, 7, 8, 18, 19, 20, 43, 44 (see here for more information). These are 2-groups of nilpotency class 3 respectively 4. There is a necessary condition for such groups to be capable as mentioned in this excellent post but this condition is never violated here, so we cannot exclude any from this list.

I don't know about further conditions but a brute force search in the small groups database shows that at least the groups indexed by 8 and 18 are capable:

SmallGroup(32,6) is the central quotient of SmallGroup(64,32)

SmallGroup(32,18) is the central quotient of SmallGroup(64,52)

edited Apr 13 '17 at 12:19

Community

1

answered Sep 02 '15 at 07:28

Samuel K.

300

I mean by $|Cent(G)|$ the number of centralizers in the group $G$. – M. R. Sep 02 '15 at 07:56
1

Even that is not remotely clear. Centralizers of what? You should put a proper formal definition in the question. – Derek Holt Sep 02 '15 at 08:24
I think $Cent(G) = \lbrace C_G(g) | g \in G \rbrace$ is what is meant. Correct? – Samuel K. Sep 02 '15 at 08:26
Yes it is. $Cent(G)$ is the set of all centralizers in the group $G$. – M. R. Sep 02 '15 at 08:56
2

You should put the definition in the question. – Derek Holt Sep 02 '15 at 09:04
Sure. I edited the question. Thank you. – M. R. Sep 02 '15 at 09:19

Capable groups of order $32$ with GAP

2 Answers2