Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-30T20:58:58.819Z Has data issue: false hasContentIssue false
  • English
  • Français

The classification of finite simple Moufang loops

Published online by Cambridge University Press:  24 October 2008

Martin W. Liebeck
Martin W. Liebeck
Affiliation:
Imperial College, London SW7 2BZ
Get access Rights & Permissions [Opens in a new window]

Extract

The purpose of this paper is to classify the finite simple Moufang loops. A Moufang loop M is a loop which satisfies the identity

note that the equivalent identities ((xy)z)y = x(y(zy)), x(y(xz)) = ((xy)x)z also hold, by [2], p. 115. The Moufang loop M is simple if it has no non-trivial proper homomorphic images, or equivalently, if it has no non-trivial proper normal subloops. For basic definitions and properties of Moufang loops, see [2] – in particular, the Jordan–Hölder theorem holds for finite Moufang loops ([2], p. 67). Of course if the finite simple loop M is associative, then M is a simple group, and hence is determined by the classification of finite simple groups. In [9], Paige defines, for each finite field GF(q), a finite simple Moufang loop M(q) which is not associative – M(q) is essentially the set of units in the eight-dimensional split Cayley algebra over GF(q), modulo the centre (we shall describe M(q) in much more detail in §2).

Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 102 , Issue 1 , July 1987 , pp. 33 - 47
Copyright
Copyright © Cambridge Philosophical Society 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Aschbacher, M. and Seitz, G. M.. Involutions in Chevalley groups over fields of even order. Nagoya Math. J. 63 (1976), 1–91.Google Scholar
[2] Bruck, R. H.. A survey of binary systems (Springer-Verlag, 1958).Google Scholar
[3] Carter, R. W.. Simple groups of Lie type (Wiley Interscience, 1972).Google Scholar
[4] Cohen, A. M., Liebeck, M. W., Saxl, J. and Seitz, G. M.. The local maximal subgroups of the finite groups of Lie type. (In preparation.)Google Scholar
[5] Doro, S.. Simple Moufang loops. Math. Proc. Cambridge Philos. Soc. 83 (1978), 377–392.Google Scholar
[6] Dye, R. H.. Some geometry of triality with applications to involutions of certain orthogonal groups. Proc. London Math. Soc. 22 (1971), 217–234.Google Scholar
[7] Glauberman, G.. On loops of odd order II. J. Algebra 8 (1968), 393–414.Google Scholar
[8] Gorenstein, D. and Lyons, R.. The local structure of finite groups of characteristic 2 type. Mem. Amer. Math. Soc. 276 (1983).Google Scholar
[9] Paige, L. J.. A class of simple Moufang loops. Proc. Amer. Math. Soc. 7 (1956), 471–482.CrossRefGoogle Scholar
[10] Schafer, R. D.. An introduction to nonassociative algebras (Academic Press, 1966).Google Scholar
[11] Springer, T. A. and Steinberg, R.. Conjugacy classes. In Seminar on algebraic groups and related finite groups. Lecture Notes in Mathematics 131 (eds. Borel, A. et al. ) (Springer, 1970).Google Scholar
[12] Steinberg, R.. Endomorphisms of linear algebraic groups. Mem. Amer. Math. Soc. 80 (1968).Google Scholar