Let G be an irreducible collineation group of a finite projective plane P of even order n congruent to 0 mod 4. Our goal is to determine the structure of G under the hypothesis that G fixes a hyperoval W of P. We assume |G| congruent to 0 mod 4. If G has no involutory elation, then G = O(G) x S_2 with a cyclic Sylow 2-subgroup S_2 and G has a normal subgroup M of odd order such that a G/M has a minimal normal 3-subgroup. If the subgroup S generated by all involutory elations in G is non-trivial and Z(S) denotes its center, then either S is isomrphic to Alt(6) and n = 4, or S/Z(S) is isomorphic to (C_3 x C_3) x C_2, Z(S) is a (possibly trivial) 3-group and n is congruent to 1 mod 3. In the latter case there exists a G-invariant subplane P_0 in P such that the collineation group G_0 induced by G on P_0 is irreducible and fixes a hyperoval W_0. Furthermore, the subgroup S_0 generated by all involutory elations in G_0 is a generalized Hessian group of order 18, that is S_0 is isomorphic to (C_3 x C_3) x C_2 and the configuration of the centers of the involutory elations in G_0 consists of the nine inflexions of an equianharmonic cubic of a subplane P_1 of order 4. In particular, P_1 is generated by the centers and the axes of all involutory elations in G, and hence it is the so-called Hering's minimal subplane of P with respect to G.

Irreducible collineation groups fixing a hyperoval / Bonisoli, Arrigo; G., Korchmaros. - In: JOURNAL OF ALGEBRA. - ISSN 0021-8693. - STAMPA. - 252:2(2002), pp. 431-448. [10.1016/S0021-8693(02)00058-3]

Irreducible collineation groups fixing a hyperoval

BONISOLI, Arrigo;
2002

Abstract

Let G be an irreducible collineation group of a finite projective plane P of even order n congruent to 0 mod 4. Our goal is to determine the structure of G under the hypothesis that G fixes a hyperoval W of P. We assume |G| congruent to 0 mod 4. If G has no involutory elation, then G = O(G) x S_2 with a cyclic Sylow 2-subgroup S_2 and G has a normal subgroup M of odd order such that a G/M has a minimal normal 3-subgroup. If the subgroup S generated by all involutory elations in G is non-trivial and Z(S) denotes its center, then either S is isomrphic to Alt(6) and n = 4, or S/Z(S) is isomorphic to (C_3 x C_3) x C_2, Z(S) is a (possibly trivial) 3-group and n is congruent to 1 mod 3. In the latter case there exists a G-invariant subplane P_0 in P such that the collineation group G_0 induced by G on P_0 is irreducible and fixes a hyperoval W_0. Furthermore, the subgroup S_0 generated by all involutory elations in G_0 is a generalized Hessian group of order 18, that is S_0 is isomorphic to (C_3 x C_3) x C_2 and the configuration of the centers of the involutory elations in G_0 consists of the nine inflexions of an equianharmonic cubic of a subplane P_1 of order 4. In particular, P_1 is generated by the centers and the axes of all involutory elations in G, and hence it is the so-called Hering's minimal subplane of P with respect to G.
2002
252
2
431
448
Irreducible collineation groups fixing a hyperoval / Bonisoli, Arrigo; G., Korchmaros. - In: JOURNAL OF ALGEBRA. - ISSN 0021-8693. - STAMPA. - 252:2(2002), pp. 431-448. [10.1016/S0021-8693(02)00058-3]
Bonisoli, Arrigo; G., Korchmaros
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/303430
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 1
social impact