What did Frobenius prove about $M_{12}$?

Question

I am interested in this paper which I can't read because it's in German:

Frobenius, G., Über die Charaktere der mehrfach transitiven Gruppen., Berl. Ber. 1904, 558-571 (1904). ZBL35.0154.02.

A free online copy is here. I am specifically interested in the character table of $M_{12}$ which appears at the top of p.568.

I would like to know what, exactly, Frobenius proved with regard to this character table. If I understand correctly, at the time of publication, the existence of $M_{12}$ was still somewhat contentious. Mathieu had written down some permutations that generated a 5-transitive group on 12 letters, but there was some uncertainty as to whether or not these permutations generated all of $A_{12}$. I believe the uncertainty continued until the 1930's, at which point Witt used Steiner systems, to show that $M_{12}$ was really a proper subgroup of $A_{12}$.

In light of this, my guess is that Frobenius proved the following theorem:

Theorem. Suppose that $G$ is a sharply 5-transitive subgroup of $S_{12}$. Then the character table of $G$ is as follows...

Note that the theorem as stated does not refer to the specific construction of $M_{12}$ given by Mathieu, but is more a theorem of the kind "Should such a group exist, then...." (a type of theorem that appeared many times in the following 100 years as part of the classification).

However, perhaps I am wrong. So my questions are, specifically:

1. Does Frobenius' character table calculation pertain to any sharply 5-transitive subgroup of $S_{12}$, or is it specific to $M_{12}$?
2. Does Frobenius give a proof of his calculations, or is it more of a sketch?
3. The same questions as above also apply to $M_{24}$, with obvious edits.

Edit: Thank you for the useful comments and answers. Perhaps I should add a fourth question to clarify exactly what I am looking for:

4. Does Frobenius use any properties of $M_{12}$, apart from sharp 5-transitivity, in his calculation of the character table?

Edit 2 -- 26 June 2018: My MMath student, Sam Hughes, and I have just uploaded a preprint connected to this question. In it we write down the character table of a sharply 5-transitive subgroup of $A_{12}$ without making any reference to the Mathieu groups. So, even though this is not what Frobenius did (as Frieder Ladisch's answer below makes clear), it is interesting to know that he could have done it if he had wanted to! We have cited Frieder's answer below in the preprint, as it was very helpful for clarifying the history of this work. Thanks again!

Answer 1

It seems to me that Frobenius is using lots of specific facts about the permutation group $M_{12}$ (and $M_{24}$, respectively) here, and that he has no doubts about the existence of these groups. In particular, he is using specific subgroups of $M_{12}$ and $M_{24}$ (and then using induced characters). Most statements are given without proof, and so the reader would have to verify them by whatever tedious calculations (?).

The first paragraph of §5 reads:

By using the developed theorems, I have calculated the characters of all multiply transitive groups of degree $\leq 24$. Except for the symmetric and alternating groups of the various degrees, no group is known which is more than fivefold transitive, and only two five-transitive groups are known, both discovered by Mathieu, whose characters I want to give here.

In the next paragraph, Frobenius describes the partition of $M_{12}$ into conjugacy classes, without proofs or references, so as if this is generally known or easy to reproduce. He also explains notation in the character table, e.g., $(6)(3)(2)$ denotes the class of elements with cycle lengths $6,3,2,1$, and $(3)^4$ denotes the class of elements which decompose into $4$ cycles of length $3$. (In the linked scan of the paper, the first column of the table denoting the conjugacy classes is partly hidden in the binding.) The third paragraph of §5 explains more notation (second column contains centralizer orders, first row degrees of characters with superscript if there is more than one of the same degree).
The bottom paragraph on p. 567 reads:

By the theorems we have proved, $M_{12}$ has the characters $\alpha-1 : 11^{(1)}$, $\frac{1}{2}(\alpha-1)(\alpha-2)-\beta : 55^{(1)}$ and $\frac{1}{2}\alpha(\alpha-3) + \beta : 54$. [Here, $\alpha$ denotes the number of elements fixed and $\beta$ the number of $2$-cycles.] Formula (5), §2 contains three characters of the third dimension of the symmetric group $S_{12}$, and each of these decomposes into two characters of $M_{12}$, namely $99+55^{(3)}$, $120+45$, $144+176$. The first two characters of Formula (6), §2 decompose into $11^{(2)} + 54 + 66 + 144 $ and $ 66 + 120 + 144 $.

Paragraph following the table on p.568:

The substitutions of $M_{12}$ fixing a symbol constitute a $4$-transitive group $M_{11}$ of degree $11$ and order $11.10.9.8$. Furthermore, $M_{12}$ contains a subgroup which is isomorphic to $M_{11}$, is $3$-transitive of degree $12$ and has order $12.11.10.6$. So one can also use this group to represent $M_{12}$ as a transitive permutation group on $12$ symbols, and thus one obtains an outer automorphism of $M_{12}$, and thereby the classes $(8)(2)$ and $(8)(4)$ and their squares $(4)^2$ and $(4)^2(2)^2$ are interchanged. By this automorphism, the character $11^{(1)}$ is sent to $11^{(2)}$ and the character $55^{(1)}$ is sent to $55^{(2)}$. The other characters are computed using the subgroup $M_{11}$.

Next paragraph:

With benefit, one can also use the following remarkable subgroup of $M_{12}$: Let $(1,2,3,4,5,6)(7,8,9)(10,11)(12)$ be a substitution in the class $(6)(3)(2)$. Then all substitutions $R$ in $M_{12}$, which move the first $6$ (and the last $6$) only among them, constitute a group of order $6!$. Each such substitution $R$ decomposes into two substitutions $R_1$, only permuting the first $6$, and $R_2$, only permuting the last $6$ symbols among themselfs. Both $R_1$ and $R_2$ run through the $6!$ substitutions of the symmetric group $S_6$ of degree $6$, and $R_1$ and $R_2$ correspond by the well known outer autmorphism of this group. In fact, the classes $(6)$, $(3)^2$ and $(2)^3$ of $S_6$ thus correspond to the classes $(3)(2)$, $(3)$ and $(2)$, and their union gives the classes $(6)(3)(2)$, $(3)^3$ and $(2)^4$ of $M_{12}$. The principal character of $S_6$ gives the reducible character $1 + 11^{(1)} + 11^{(2)} +54 +55^{(3)}$ of $M_{12}$, the other linear character of $S_6$ gives the character $11^{(2)} + 55^{(2)} +66$, and thus one gets the two simple characters $55^{(3)}$ and $66$. Then the above formulas give all characters except $16^{(1)}$ and $16^{(2)}$, which can easily be determined from the bilinear relations [=orthogonality relations?].

Last paragraph of §5 (p. 569):

If $\chi(R)$ is a character of $H$, then
$$ \frac{1}{2}(\chi(R)^2 - \chi(R^2)) \:,\quad \frac{1}{2}(\chi(R)^2 + \chi(R^2) ) \tag{1.} $$ are linear combinations of characters with positive integer coefficients. If one chooses for $\chi(R)$ the character $16^{(1)}$, then one gets $120$ and $16^{(2)} + 54 + 66$.

Section 6 on $M_{24}$ is even more sketchy, but has roughly the same structure. Frobenius tells us that he used two other subgroups in addtion to the stabilizer $M_{23}$. One is the setwise stabilizer $M_{16+8}$ of a subset of order $16$, which is the $15+1$-part of an element of cycle structure $15+1+5+3$. The permutations induced on the $16$-subset are said to form the $3$-transitive linear group of order $2^4(2^4-1)(2^4-2)(2^4-2^2)(2^4-2^3)$, and the permutation group induced on the $8$-set is $A_8$.
According to the bottom paragraph on p.~570, on gets another subgroup by taking the stabilizer of a $12$-subset. The stabilizer is isomorphic to $M_{12}$. Each element of the stabilizer decomposes into two permutations $R_1$ and $R_2$ on a $12$-subset and its complement, the correspondence between $R_1$ and $R_2$ is given by the outer automorphism of $M_{12}$ described in §5. Unfortunately, Frobenius gives us no clue how to choose that $12$-subset ("in passender Art")!

Answer 2

This summary of Frobenius' 1904 paper might be of use:

Thomas Hawkins, The Mathematics of Frobenius in Context (page 527-528).

Answer 3

Not really an answer, and probably contained in Frobenius's paper, but a starting point might be that (using a result now usually credited to Blichfeldt) if $G$ is a sharply $5$-transitive group (of any degree) with permutation character $\chi$, and trivial character $\chi_{0},$ then $\chi(\chi - \chi_{0})(\chi-2\chi_{0})(\chi- 3\chi_{0})(\chi-4\chi_{0})$ must be the regular character ( note that the given product of virtual characters vanishes on all non-identity elements of $G$ and takes value $|G|$ on the identity). Hence decomposing each of $\chi,\chi^{2},\chi^{3},\chi^{4},\chi^{5}$ into sums of irreducible characters would yield all non-trivial irreducible characters of $G$ ( and more besides).