Skip to main content
MathOverflow

Return to Question

added 151 characters in body
Source Link
wonderich
wonderich
  • 10.5k
  • 3
  • 26
  • 70

The Schreier conjecture asserts that $\mathrm{Out}(G)$ is always a solvable group when $G$ is a finite simple group. This result is known to be true as a corollary of the classification of finite simple groups, although no simpler proof is known.

Question:

  • What is the obstruction to have a direct transparent proof of Schreier conjecture?

Mathieu group $M_{11}$, $M_{23}$, $M_{24}$ are sporadic simple groups, whose outer automorphism group is trivial.

Mathieu group $M_{12}$, $M_{22}$ are sporadic simple groups, whose outer automorphism group is $\mathbb{Z}_2$.

Tits group ${}^2F_4(2)′$ is a sporadic simple group, whose outer automorphism group is $\mathbb{Z}_2$.

Monster group $\mathbb{M}$ is the largest sporadic simple group, whose outer automorphism group is trivial.

  • Are there some bounds for the outer automorphism groups of sporadic simple groups? (such as bounded by a finite cyclic group $\mathbb{Z}_n$?)

The Schreier conjecture asserts that $\mathrm{Out}(G)$ is always a solvable group when $G$ is a finite simple group. This result is known to be true as a corollary of the classification of finite simple groups, although no simpler proof is known.

Question:

  • What is the obstruction to have a direct transparent proof of Schreier conjecture?

Mathieu group $M_{11}$, $M_{23}$, $M_{24}$ are sporadic simple groups, whose outer automorphism group is trivial.

Mathieu group $M_{12}$, $M_{22}$ are sporadic simple groups, whose outer automorphism group is $\mathbb{Z}_2$.

Monster group $\mathbb{M}$ is the largest sporadic simple group, whose outer automorphism group is trivial.

  • Are there some bounds for the outer automorphism groups of sporadic simple groups? (such as bounded by a finite cyclic group $\mathbb{Z}_n$?)

The Schreier conjecture asserts that $\mathrm{Out}(G)$ is always a solvable group when $G$ is a finite simple group. This result is known to be true as a corollary of the classification of finite simple groups, although no simpler proof is known.

Question:

  • What is the obstruction to have a direct transparent proof of Schreier conjecture?

Mathieu group $M_{11}$, $M_{23}$, $M_{24}$ are sporadic simple groups, whose outer automorphism group is trivial.

Mathieu group $M_{12}$, $M_{22}$ are sporadic simple groups, whose outer automorphism group is $\mathbb{Z}_2$.

Tits group ${}^2F_4(2)′$ is a sporadic simple group, whose outer automorphism group is $\mathbb{Z}_2$.

Monster group $\mathbb{M}$ is the largest sporadic simple group, whose outer automorphism group is trivial.

  • Are there some bounds for the outer automorphism groups of sporadic simple groups? (such as bounded by a finite cyclic group $\mathbb{Z}_n$?)
latex
Source Link
David Roberts ♦
David Roberts ♦
  • 35.5k
  • 11
  • 124
  • 349

The Schreier conjecture asserts that Out(G)$\mathrm{Out}(G)$ is always a solvable group when G$G$ is a finite simple group. This result is known to be true as a corollary of the classification of finite simple groups, although no simpler proof is known.

Question:

  • What is the obstruction to have a direct transparent proof of Schreier conjecture?

Mathieu group M11$M_{11}$, M23$M_{23}$, M24$M_{24}$ are sporadic simple groups, whose outer automorphism group is trivial.

Mathieu group M12$M_{12}$, M22$M_{22}$ are sporadic simple groups, whose outer automorphism group is $\mathbb{Z}_2$.

Monster group M$\mathbb{M}$ is the largest sporadic simple group, whose outer automorphism group is trivial.

  • Are there some bounds for the outer automorphism groups of sporadic simple groups? (such as bounded by a finite cyclic group $\mathbb{Z}_n$?)

The Schreier conjecture asserts that Out(G) is always a solvable group when G is a finite simple group. This result is known to be true as a corollary of the classification of finite simple groups, although no simpler proof is known.

Question:

  • What is the obstruction to have a direct transparent proof of Schreier conjecture?

Mathieu group M11, M23, M24 are sporadic simple groups, whose outer automorphism group is trivial.

Mathieu group M12, M22 are sporadic simple groups, whose outer automorphism group is $\mathbb{Z}_2$.

Monster group M is the largest sporadic simple group, whose outer automorphism group is trivial.

  • Are there some bounds for the outer automorphism groups of sporadic simple groups? (such as bounded by a finite cyclic group $\mathbb{Z}_n$?)

The Schreier conjecture asserts that $\mathrm{Out}(G)$ is always a solvable group when $G$ is a finite simple group. This result is known to be true as a corollary of the classification of finite simple groups, although no simpler proof is known.

Question:

  • What is the obstruction to have a direct transparent proof of Schreier conjecture?

Mathieu group $M_{11}$, $M_{23}$, $M_{24}$ are sporadic simple groups, whose outer automorphism group is trivial.

Mathieu group $M_{12}$, $M_{22}$ are sporadic simple groups, whose outer automorphism group is $\mathbb{Z}_2$.

Monster group $\mathbb{M}$ is the largest sporadic simple group, whose outer automorphism group is trivial.

  • Are there some bounds for the outer automorphism groups of sporadic simple groups? (such as bounded by a finite cyclic group $\mathbb{Z}_n$?)
Source Link
wonderich
wonderich
  • 10.5k
  • 3
  • 26
  • 70

Schreier conjecture -- without a simple proof? and sporadic simple groups

The Schreier conjecture asserts that Out(G) is always a solvable group when G is a finite simple group. This result is known to be true as a corollary of the classification of finite simple groups, although no simpler proof is known.

Question:

  • What is the obstruction to have a direct transparent proof of Schreier conjecture?

Mathieu group M11, M23, M24 are sporadic simple groups, whose outer automorphism group is trivial.

Mathieu group M12, M22 are sporadic simple groups, whose outer automorphism group is $\mathbb{Z}_2$.

Monster group M is the largest sporadic simple group, whose outer automorphism group is trivial.

  • Are there some bounds for the outer automorphism groups of sporadic simple groups? (such as bounded by a finite cyclic group $\mathbb{Z}_n$?)