|
|
| Line 1: |
Line 1: |
| In [[mathematics]], a '''Moufang loop''' is a special kind of [[algebraic structure]]. It is similar to a [[group (mathematics)|group]] in many ways but need not be [[associative]]. Moufang loops were introduced by [[Ruth Moufang]].
| | Hello and welcome. My title is Numbers Wunder. Since she was eighteen she's been operating as a meter reader but she's always wanted her own company. Doing ceramics is what her family and her appreciate. South Dakota is exactly where me and my husband reside and my family loves it.<br><br>Visit my web blog - healthy food delivery ([https://tomjones1190.wordpress.com extra resources]) |
| | |
| ==Definition==
| |
| | |
| A '''Moufang loop''' is a [[loop (mathematics)|loop]] ''Q'' that satisfies the following equivalent [[identity (mathematics)|identities]] (the binary operation in ''Q'' is denoted by juxtaposition):
| |
| #''z''(''x''(''zy'')) = ((''zx'')''z'')''y''
| |
| #''x''(''z''(''yz'')) = ((''xz'')''y'')''z''
| |
| #(''zx'')(''yz'') = (''z''(''xy''))''z''
| |
| #(''zx'')(''yz'') = ''z''((''xy'')''z'')
| |
| for all ''x'', ''y'', ''z'' in ''Q''. These identities are known as '''Moufang identities'''.
| |
| | |
| ==Examples==
| |
| * Any [[group (mathematics)|group]] is an associative loop and therefore a Moufang loop.
| |
| * The nonzero [[octonion]]s form a nonassociative Moufang loop under octonion multiplication.
| |
| * The subset of unit norm octonions (forming a [[7-sphere]] in '''O''') is closed under multiplication and therefore forms a Moufang loop.
| |
| * The basis octonions and their additive inverses form a finite Moufang loop of order 16.
| |
| * The set of invertible [[split-octonion]]s forms a nonassociative Moufang loop, as does the set of unit norm split-octonions. More generally, the set of invertible elements in any [[octonion algebra]] over a [[field (mathematics)|field]] ''F'' forms a Moufang loop, as does the subset of unit norm elements.
| |
| * The set of all invertible elements in an [[alternative ring]] ''R'' forms a Moufang loop called the '''loop of units''' in ''R''.
| |
| * For any field ''F'' let ''M''(''F'') denote the Moufang loop of unit norm elements in the (unique) split-octonion algebra over ''F''. Let ''Z'' denote the center of ''M''(''F''). If the [[characteristic (algebra)|characteristic]] of ''F'' is 2 then ''Z'' = {''e''}, otherwise ''Z'' = {±''e''}. The '''Paige loop''' over ''F'' is the loop ''M''*(''F'') = ''M''(''F'')/''Z''. Paige loops are nonassociative simple Moufang loops. All ''finite'' nonassociative simple Moufang loops are Paige loops over [[finite field]]s. The smallest Paige loop ''M''*(2) has order 120.
| |
| *A large class of nonassociative Moufang loops can be constructed as follows. Let ''G'' be an arbitrary group. Define a new element ''u'' not in ''G'' and let ''M''(''G'',2) = ''G'' ∪ (''G u''). The product in ''M''(''G'',2) is given by the usual product of elements in ''G'' together with
| |
| *:<math>(gu)h = (gh^{-1})u</math>
| |
| *:<math>g(hu) = (hg)u</math>
| |
| *:<math>(gu)(hu) = h^{-1}g.</math>
| |
| :It follows that <math>u^2 = 1</math> and <math>ug = g^{-1}u</math>. With the above product ''M''(''G'',2) is a Moufang loop. It is associative [[if and only if]] ''G'' is abelian.
| |
| *The smallest nonassociative Moufang loop is ''M''(''S''<sub>3</sub>,2) which has order 12.
| |
| *[[Richard A. Parker]] constructed a Moufang loop of order 2<sup>13</sup>, which was used by Conway in his construction of the [[monster group]]. Parker's loop has a center of order 2 with elements denoted by 1, −1, and the quotient by the center is an elementary abelian group of order 2<sup>12</sup>, identified with the [[binary Golay code]]. The loop is then defined up to isomorphism by the equations
| |
| *:''A''<sup>2</sup> = (−1)<sup>|''A''|/4</sup>
| |
| *:''BA'' = (−1)<sup>|''A''∩''B''|/2</sup>''AB''
| |
| *:''A''(''BC'')= (−1)<sup>|''A''∩''B''∩''C''|</sup>(''AB'')''C''
| |
| :where |''A''| is the number of elements of the code word ''A'', and so on. For more details see Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; and Wilson, R. A.: ''Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups.'' Oxford, England.
| |
| | |
| ==Properties==
| |
| ===Associativity===
| |
| Moufang loops differ from groups in that they need not be [[associative]]. A Moufang loop that is associative is a group. The Moufang identities may be viewed as weaker forms of associativity.
| |
| | |
| By setting various elements to the identity, the Moufang identities imply
| |
| *''x''(''xy'') = (''xx'')''y'' <span style="padding: 1em;"> </span> [[alternativity|left alternative]] identity
| |
| *(''xy'')''y'' = ''x''(''yy'') <span style="padding: 1em;"> </span> [[alternativity|right alternative]] identity
| |
| *''x''(''yx'') = (''xy'')''x'' <span style="padding: 1em;"> </span> flexible identity.
| |
| | |
| Moufang's theorem states that when three elements ''x'', ''y'', and ''z'' in a Moufang loop obey the associative law: (''xy'')''z'' = ''x''(''yz'') then they generate an associative subloop; that is, a group. A corollary of this is that all Moufang loops are ''di-associative'' (i.e. the subloop generated by any two elements of a Moufang loop is associative and therefore a group). In particular, Moufang loops are [[power associative]], so that exponents ''x''<sup>''n''</sup> are well-defined. When working with Moufang loops, it is common to drop the parenthesis in expressions with only two distinct elements. For example, the Moufang identities may be written unambiguously as
| |
| #''z''(''x''(''zy'')) = (''zxz'')''y''
| |
| #((''xz'')''y'')''z'' = ''x''(''zyz'')
| |
| #(''zx'')(''yz'') = ''z''(''xy'')''z''.
| |
| | |
| ===Left and right multiplication===
| |
| | |
| The Moufang identities can be written in terms of the left and right multiplication operators on ''Q''. The first two identities state that
| |
| *<math>L_zL_xL_z(y) = L_{zxz}(y)</math>
| |
| *<math>R_zR_yR_z(x) = R_{zyz}(x)</math>
| |
| while the third identity says
| |
| *<math>L_z(x)R_z(y) = B_z(xy)</math>
| |
| for all <math>x,y,z</math> in <math>Q</math>. Here <math>B_z = L_zR_z = R_zL_z</math> is bimultiplication by <math>z</math>. The third Moufang identity is therefore equivalent to the statement that the triple <math>(L_z, R_z, B_z)</math> is an [[autotopy]] of <math>Q</math> for all <math>z</math> in <math>Q</math>.
| |
| | |
| ===Inverse properties===
| |
| All Moufang loops have the [[inverse property loop|inverse property]], which means that each element ''x'' has a [[inverse element|two-sided inverse]] ''x''<sup>−1</sup> which satisfies the identities:
| |
| :<math>x^{-1}(xy) = y = (yx)x^{-1}</math>
| |
| for all ''x'' and ''y''. It follows that <math>(xy)^{-1} = y^{-1}x^{-1}</math> and <math>x(yz) = e</math> if and only if <math>(xy)z = e</math>.
| |
| | |
| Moufang loops are universal among inverse property loops; that is, a loop ''Q'' is a Moufang loop if and only if every [[loop isotope]] of ''Q'' has the inverse property. If follows that every loop isotope of a Moufang loop is a Moufang loop.
| |
| | |
| One can use inverses to rewrite the left and right Moufang identities in a more useful form:
| |
| *<math>(xy)z = (xz^{-1})(zyz)</math>
| |
| *<math>x(yz) = (xyx)(x^{-1}z).</math>
| |
| | |
| ===Lagrange property===
| |
| | |
| A finite loop ''Q'' is said to have the ''Lagrange property'' if the order of every subloop of ''Q'' divides the order of ''Q''. [[Lagrange's theorem (group theory)|Lagrange's theorem]] in group theory states that every finite group has the Lagrange property. It was an open question for many years whether or not finite Moufang loops had Lagrange property. The question was finally resolved by Alexander Grishkov and Andrei Zavarnitsine, and independently by Stephen Gagola III and Jonathan Hall, in 2003: Every finite Moufang loop does have the Lagrange property. More results for the theory of finite groups have been generalized to Moufang loops by Stephen Gagola III in recent years.
| |
| | |
| ===Moufang quasigroups===
| |
| | |
| Any [[quasigroup]] satisfying one of the Moufang identities must, in fact, have an identity element and therefore be a Moufang loop. We give a proof here for the third identity:
| |
| :Let ''a'' be any element of ''Q'', and let ''e'' be the unique element such that ''ae'' = ''a''. Then for any ''x'' in ''Q'', (''xa'')''x'' = (''x''(''ae''))''x'' = (''xa'')(''ex''). Cancelling gives ''x'' = ''ex'' so that ''e'' is a left identity element. Now let ''f'' be the element such that ''fe'' = ''e''. Then (''yf'')''e'' = (''e''(''yf''))''e'' = (''ey'')(''fe'') = (''ey'')''e'' = ''ye''. Cancelling gives ''yf'' = ''y'', so ''f'' is a right identity element. Lastly, ''e'' = ''ef'' = ''f'', so ''e'' is a two-sided identity element.
| |
| | |
| The proofs for the first two identities are somewhat more difficult (Kunen 1996).
| |
| | |
| ==Open problems==
| |
| | |
| '''Phillips' problem''' is an open problem in the theory presented by J. D. Phillips at Loops '03 in Prague. It asks whether there exists a finite Moufang loop of odd order with a trivial nucleus.
| |
| | |
| Recall that the nucleus of a [[loop (algebra)|loop]] (or more generally a quasigroup) is the set of x such that <math>x(yz)=(xy)z</math>, <math>y(xz)=(yx)z</math> and <math>y(zx)=(yz)x</math> hold for all <math>y,z</math> in the loop.
| |
| | |
| :''See also'': [[Problems in loop theory and quasigroup theory]]
| |
| | |
| ==See also==
| |
| | |
| *[[Bol loop]]
| |
| *[[Gyrogroup]]
| |
| | |
| ==References==
| |
| *{{springer|id=M/m065050|title=Moufang loops|author=V. D. Belousov}}
| |
| * Edgar G. Goodaire, Sean May, and Maitreyi Raman (1999) ''The Moufang loops of order less than 64'', [[Nova Science Publishers]]. ISBN 0-444-82438-3
| |
| *{{cite journal | last = Gagola III | first = Stephen | title = How and why Moufang loops behave like groups | journal = [[Quasigroups And Related Systems]] | year = 2011 | volume = 19 | pages = 1–22}}
| |
| *{{cite journal | last = Grishkov | first = Alexander | coauthors = Zavarnitsine, Andrei | title = Lagrange's theorem for Moufang loops | journal = [[Mathematical Proceedings of the Cambridge Philosophical Society]] | year = 2005 | volume = 139 | pages = 41–57 | doi = 10.1017/S0305004105008388}}
| |
| * K. Kunen, Moufang quasigroups, ''Journal of Algebra'' '''183''' (1996) 231-234.
| |
| * [[Ruth Moufang|R. Moufang]], Zur Struktur von Alternativkörpern, ''Math. Ann.'' '''110''' (1935) 416–430
| |
| * Jonathan D. H. Smith and Anna B. Romanowska (1999) ''Post-Modern Algebra'', Wiley-Interscience. ISBN 0-471-12738-8.
| |
| | |
| ==External links==
| |
| * [http://www.gap-system.org/Packages/loops.html LOOPS package for GAP] This package has a library containing all nonassociative Moufang loops of orders up to and including 81.
| |
| * {{planetmath reference|id=4578|title=Moufang loop}}
| |
| | |
| [[Category:Non-associative algebra]]
| |
| [[Category:Group theory]]
| |
Hello and welcome. My title is Numbers Wunder. Since she was eighteen she's been operating as a meter reader but she's always wanted her own company. Doing ceramics is what her family and her appreciate. South Dakota is exactly where me and my husband reside and my family loves it.
Visit my web blog - healthy food delivery (extra resources)