Skip to main content
absolutely simple group
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186

A group $G$ is called $\frac{3}{2}$-generated if every non-trivial element is contained in a generating pair, i.e. $$\forall g \in G \setminus \{e \}, \ \exists g' \in G \text{ such that } \langle g,g' \rangle = G.$$

See this nice poster of Scott Harper.
Proposition: If $G$ is $\frac{3}{2}$-generated then every proper quotient of $G$ is cyclic (proof).
Conjecture (B.G.K.): A finite group is $\frac{3}{2}$-generated iff every proper quotient is cyclic.
Theorem (G.K.): Every finite simple group is $\frac{3}{2}$-generated.

Question: Can the above conjecture be extended to $2$-generated groups?
In other words: Is there a (known) counter-example for such groups?
In particular: Is every $2$-generated infinite simple group $\frac{3}{2}$-generated?

Examples: the Tarski monster groups are infinite simple and $\frac{3}{2}$-generated.

Obviously, any infinite simple group which is not $2$-generated (like the infinite alternating group $A_{\infty}$ which is not finitely generated) has every proper quotient cyclic, but is not $\frac{3}{2}$-generated.

Bonus question: Is there a finitely generated simple group which is not $2$-generated?

There are these notions of strictly simple group and absolutely simple group which are equivalent to simple group in the finite case, but are stronger in the infinite case (the second being even stronger than the first). It could be relevant to consider the questions as above for these stronger notions.

A group $G$ is called $\frac{3}{2}$-generated if every non-trivial element is contained in a generating pair, i.e. $$\forall g \in G \setminus \{e \}, \ \exists g' \in G \text{ such that } \langle g,g' \rangle = G.$$

See this nice poster of Scott Harper.
Proposition: If $G$ is $\frac{3}{2}$-generated then every proper quotient of $G$ is cyclic (proof).
Conjecture (B.G.K.): A finite group is $\frac{3}{2}$-generated iff every proper quotient is cyclic.
Theorem (G.K.): Every finite simple group is $\frac{3}{2}$-generated.

Question: Can the above conjecture be extended to $2$-generated groups?
In other words: Is there a (known) counter-example for such groups?
In particular: Is every $2$-generated infinite simple group $\frac{3}{2}$-generated?

Examples: the Tarski monster groups are infinite simple and $\frac{3}{2}$-generated.

Obviously, any infinite simple group which is not $2$-generated (like the infinite alternating group $A_{\infty}$ which is not finitely generated) has every proper quotient cyclic, but is not $\frac{3}{2}$-generated.

Bonus question: Is there a finitely generated simple group which is not $2$-generated?

A group $G$ is called $\frac{3}{2}$-generated if every non-trivial element is contained in a generating pair, i.e. $$\forall g \in G \setminus \{e \}, \ \exists g' \in G \text{ such that } \langle g,g' \rangle = G.$$

See this nice poster of Scott Harper.
Proposition: If $G$ is $\frac{3}{2}$-generated then every proper quotient of $G$ is cyclic (proof).
Conjecture (B.G.K.): A finite group is $\frac{3}{2}$-generated iff every proper quotient is cyclic.
Theorem (G.K.): Every finite simple group is $\frac{3}{2}$-generated.

Question: Can the above conjecture be extended to $2$-generated groups?
In other words: Is there a (known) counter-example for such groups?
In particular: Is every $2$-generated infinite simple group $\frac{3}{2}$-generated?

Examples: the Tarski monster groups are infinite simple and $\frac{3}{2}$-generated.

Obviously, any infinite simple group which is not $2$-generated (like the infinite alternating group $A_{\infty}$ which is not finitely generated) has every proper quotient cyclic, but is not $\frac{3}{2}$-generated.

Bonus question: Is there a finitely generated simple group which is not $2$-generated?

There are these notions of strictly simple group and absolutely simple group which are equivalent to simple group in the finite case, but are stronger in the infinite case (the second being even stronger than the first). It could be relevant to consider the questions as above for these stronger notions.

2-generated and tarski monster groups
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186

A group $G$ is called $\frac{3}{2}$-generated if every non-trivial element is contained in a generating pair, i.e. $$\forall g \in G \setminus \{e \}, \ \exists g' \in G \text{ such that } \langle g,g' \rangle = G.$$

See this nice poster of Scott Harper.
Proposition: If $G$ is $\frac{3}{2}$-generated then every proper quotient of $G$ is cyclic (proof).
Conjecture (B.G.K.): A finite group is $\frac{3}{2}$-generated iff every proper quotient is cyclic.
Theorem (G.K.): Every finite simple group is $\frac{3}{2}$-generated.

Question: Can the above conjecture be extended to finitely generated$2$-generated groups?
In other words: Is there a (known) counter-example for such groups?
In particular: Is every $2$-generated infinite simple group $\frac{3}{2}$-generated?

Examples: the Tarski monster groups are infinite simple and $\frac{3}{2}$-generated.

Obviously, any infinite simple group which is not finitely generated $2$-generated (like the infinite alternating group $A_{\infty}$ which is not finitely generated) has every proper quotient cyclic, but is not $\frac{3}{2}$-generated.

Bonus question: Is there a finitely generated simple group which is not $2$-generated?

A group $G$ is called $\frac{3}{2}$-generated if every non-trivial element is contained in a generating pair, i.e. $$\forall g \in G \setminus \{e \}, \ \exists g' \in G \text{ such that } \langle g,g' \rangle = G.$$

See this nice poster of Scott Harper.
Proposition: If $G$ is $\frac{3}{2}$-generated then every proper quotient of $G$ is cyclic (proof).
Conjecture (B.G.K.): A finite group is $\frac{3}{2}$-generated iff every proper quotient is cyclic.
Theorem (G.K.): Every finite simple group is $\frac{3}{2}$-generated.

Question: Can the above conjecture be extended to finitely generated groups?
In other words: Is there a (known) counter-example for such groups?

Obviously, any simple group which is not finitely generated (like the infinite alternating group $A_{\infty}$) has every proper quotient cyclic, but is not $\frac{3}{2}$-generated.

A group $G$ is called $\frac{3}{2}$-generated if every non-trivial element is contained in a generating pair, i.e. $$\forall g \in G \setminus \{e \}, \ \exists g' \in G \text{ such that } \langle g,g' \rangle = G.$$

See this nice poster of Scott Harper.
Proposition: If $G$ is $\frac{3}{2}$-generated then every proper quotient of $G$ is cyclic (proof).
Conjecture (B.G.K.): A finite group is $\frac{3}{2}$-generated iff every proper quotient is cyclic.
Theorem (G.K.): Every finite simple group is $\frac{3}{2}$-generated.

Question: Can the above conjecture be extended to $2$-generated groups?
In other words: Is there a (known) counter-example for such groups?
In particular: Is every $2$-generated infinite simple group $\frac{3}{2}$-generated?

Examples: the Tarski monster groups are infinite simple and $\frac{3}{2}$-generated.

Obviously, any infinite simple group which is not $2$-generated (like the infinite alternating group $A_{\infty}$ which is not finitely generated) has every proper quotient cyclic, but is not $\frac{3}{2}$-generated.

Bonus question: Is there a finitely generated simple group which is not $2$-generated?

Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186

Breuer-Guralnick-Kantor conjecture and infinite 3/2-generated groups

A group $G$ is called $\frac{3}{2}$-generated if every non-trivial element is contained in a generating pair, i.e. $$\forall g \in G \setminus \{e \}, \ \exists g' \in G \text{ such that } \langle g,g' \rangle = G.$$

See this nice poster of Scott Harper.
Proposition: If $G$ is $\frac{3}{2}$-generated then every proper quotient of $G$ is cyclic (proof).
Conjecture (B.G.K.): A finite group is $\frac{3}{2}$-generated iff every proper quotient is cyclic.
Theorem (G.K.): Every finite simple group is $\frac{3}{2}$-generated.

Question: Can the above conjecture be extended to finitely generated groups?
In other words: Is there a (known) counter-example for such groups?

Obviously, any simple group which is not finitely generated (like the infinite alternating group $A_{\infty}$) has every proper quotient cyclic, but is not $\frac{3}{2}$-generated.