Welcome to MathOverflow

Question

3

I need one to test a theory. There are probably many, but I can't seem to think of a single one. My guess is examples are pretty big.

Is there a systematic way to find such examples? Are there databases one can go through to find these things?

edited Jan 27 2011 at 21:16

asked Jan 27 2011 at 21:07

Makhalan Duff
3,837●5●36

	Are you thinking of finite groups? – Yemon Choi Jan 27 2011 at 21:13
	Finite. I'll change it. – Makhalan Duff Jan 27 2011 at 21:15
	Can't you take products of simple groups? – José Figueroa-O'Farrill Jan 27 2011 at 21:19
	A direct product of simple groups can be 2-generated. – Mark Sapir Jan 27 2011 at 21:38
	A direct product of enough copies of a given FSG is not 2-generated. – Jonathan Kiehlmann Jan 27 2011 at 21:48

show 1 more comment

Mark Sapir · Accepted Answer · 2011-01-28 00:34:42Z UTC

The group $S_3\wr ({\mathbb Z}_2 \times {\mathbb Z}_2 \times {\mathbb Z}_2)$ where $S_3$ is the symmetric group with 6 elements, ${\mathbb Z}_2$ is the group with 2 elements, $\wr$ is the wreath product.

The fact that it does not have a center is proved by inspection. The fact that it needs at least 3 generators follows from the fact that ${\mathbb Z}_2^3$ is its quotient. There are lots of similar examples of course.

Update. In general , if you take any centerless group $G$ and any group $H$ that needs at least 3 generators, then the wreath product $G\wr H$ has both properties (is centerless and needs at least 3 generators). Another way to construct examples is (as Derek Holt comment below shows) to take any centerless finite group $G$ with nontrivial abelianization and take $G\times G\times G$.

Zsbán Ambrus · Answer 2 · 2011-02-07 18:40:26Z UTC

0

I can't prove this, but the Rubik's cube group might work.

Update: so this doesn't work. Thanks for the comments.

edited Feb 7 2011 at 18:40

answered Jan 28 2011 at 8:11

Zsbán Ambrus
759●6●14

1

Why do you think so? In any case, gap tells me that the center is cyclic of order $2$ (I'm using the generators from gap-system.org/Doc/Examples/rubik.html) – Mariano Suárez-Alvarez Jan 28 2011 at 8:41

1

The non trivial central permutation is the one which flips the middle cube of each side. Cute. – Mariano Suárez-Alvarez Jan 28 2011 at 8:45

A quick calculation in GAP or Magma also shows that this group is 2-generated. – Derek Holt Jan 28 2011 at 9:13

1

@Derek, how did you check? I tried GQuotients(FreeGroup(2), G : findall := false) with G is the cube group module its center (which is centerless) but it seems to take forever---I am pretty sure there are faster ways to do this? – Mariano Suárez-Alvarez Jan 28 2011 at 9:17

2

@Mariano: gap> G = Subgroup(G, [Random(G), Random(G)] ); true The probability of this returning true seems to be about 0.55. – Derek Holt Jan 28 2011 at 12:07

show 1 more comment

Derek Holt · Answer 3 · 2011-01-27 23:30:45Z UTC

12

The smallest example has order 18. It has a normal elementary abelian subgroup $N$ of order 9, and an element $t$ of order 2 such that $txt=x^{-1}$ for all $x \in N$.

answered Jan 27 2011 at 23:30

Derek Holt
7,071●1●14●29

1

More generally, an extension of an elementary abelian 3-group $N$ of order $3^r$ by an element of order 2 that inverts everything in $N$ is the smallest example of a centreless group that needs $r+1$ generators. – Derek Holt Jan 28 2011 at 9:15

What is an example of a finite centerless group with at least 3 generators?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

3 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.