Namespaces
Variants
Actions

Difference between revisions of "Loop"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (link)
(details)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A [[Quasi-group|quasi-group]] with an identity, that is, with an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l0608301.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l0608302.png" /> for every element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l0608303.png" /> of the quasi-group. The significance of loops in the theory of quasi-groups is determined by the following theorem: Any quasi-group is isotopic (see [[Isotopy|Isotopy]]) to a loop. Therefore, one of the main problems in the theory of quasi-groups is to describe the loops to which the quasi-groups of a given class are isotopic.
+
<!--
 +
l0608301.png
 +
$#A+1 = 74 n = 0
 +
$#C+1 = 74 : ~/encyclopedia/old_files/data/L060/L.0600830 Loop
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
A [[Quasi-group|quasi-group]] with an identity, that is, with an element $  e $
 +
such that $  xe = ex = x $
 +
for every element $  x $
 +
of the quasi-group. The significance of loops in the theory of quasi-groups is determined by the following theorem: Any quasi-group is isotopic (see [[Isotopy|Isotopy]]) to a loop. Therefore, one of the main problems in the theory of quasi-groups is to describe the loops to which the quasi-groups of a given class are isotopic.
  
 
With every loop there are associated three kernels, cf. [[Kernel of a loop]]. The set
 
With every loop there are associated three kernels, cf. [[Kernel of a loop]]. The set
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l0608304.png" /></td> </tr></table>
+
$$
 +
N _ {l}  = \{ {a } : {ax \cdot y = a \cdot xy  \textrm{ for }  \textrm{ all }
 +
x , y \in Q } \}
 +
$$
  
of elements of a loop <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l0608305.png" /> is called the left kernel. Similarly one defines the middle and right kernels. They always exist in a loop. Their intersection is called the kernel of the loop. Every kernel is an associative subloop, that is, a subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l0608306.png" />. Corresponding kernels of isotopic loops are isomorphic. There are loops with any preassigned kernels. A loop <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l0608307.png" /> isotopic to a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l0608308.png" /> is itself a group and is isomorphic to the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l0608309.png" /> (Albert's theorem). In particular, isotopic groups are isomorphic. Some other classes of loops also have this property, for example free loops. A loop <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083010.png" /> is called a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083012.png" />-loop if any loop isotopic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083013.png" /> is isomorphic to it.
+
of elements of a loop $  Q ( \cdot ) $
 +
is called the left kernel. Similarly one defines the middle and right kernels. They always exist in a loop. Their intersection is called the kernel of the loop. Every kernel is an associative subloop, that is, a subgroup of $  Q ( \cdot ) $.  
 +
Corresponding kernels of isotopic loops are isomorphic. There are loops with any preassigned kernels. A loop $  Q $
 +
isotopic to a group $  Q ( \cdot ) $
 +
is itself a group and is isomorphic to the group $  Q ( \cdot ) $(
 +
Albert's theorem). In particular, isotopic groups are isomorphic. Some other classes of loops also have this property, for example free loops. A loop $  Q ( \cdot ) $
 +
is called a $  G $-
 +
loop if any loop isotopic to $  Q ( \cdot ) $
 +
is isomorphic to it.
  
Many concepts and results of group theory can be extended to loops. However, some of the usual properties of a group need not hold for loops. Thus, in finite loops Lagrange's theorem (that the order of a subgroup divides the order of the group) does not hold, generally speaking. If, nevertheless, Lagrange's theorem does hold for a loop, then the loop is said to be Lagrangian. If every subloop of a loop <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083014.png" /> is Lagrangian, one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083015.png" /> has the property <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083017.png" />. A necessary and sufficient condition for a loop <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083018.png" /> to have the property <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083019.png" /> is the following: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083020.png" /> must have a normal chain
+
Many concepts and results of group theory can be extended to loops. However, some of the usual properties of a group need not hold for loops. Thus, in finite loops Lagrange's theorem (that the order of a subgroup divides the order of the group) does not hold, generally speaking. If, nevertheless, Lagrange's theorem does hold for a loop, then the loop is said to be Lagrangian. If every subloop of a loop $  Q ( \cdot ) $
 +
is Lagrangian, one says that $  Q ( \cdot ) $
 +
has the property $  L  ^  \prime  $.  
 +
A necessary and sufficient condition for a loop $  Q ( \cdot ) $
 +
to have the property $  L  ^  \prime  $
 +
is the following: $  Q ( \cdot ) $
 +
must have a normal chain
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083021.png" /></td> </tr></table>
+
$$
 +
= Q _ {0}  \supset  Q _ {1}  \supset \dots \supset  Q _ {n}  = e ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083022.png" /> is a normal subloop in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083023.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083024.png" /> has the property <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083025.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083026.png" />.
+
where $  Q _ {i} $
 +
is a normal subloop in $  Q _ {i-} 1 $,  
 +
such that $  Q _ {i-} 1 / Q _ {i} $
 +
has the property $  L  ^  \prime  $
 +
for all $  i = 1 \dots n $.
  
The loops that have been most studied and are closest to groups are Moufang loops (cf. [[Moufang loop|Moufang loop]]). The main theorem about them (Moufang's theorem) is: If three elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083027.png" /> of such a loop are connected by the associative law, that is, if
+
The loops that have been most studied and are closest to groups are Moufang loops (cf. [[Moufang loop|Moufang loop]]). The main theorem about them (Moufang's theorem) is: If three elements $  a , b , c $
 +
of such a loop are connected by the associative law, that is, if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083028.png" /></td> </tr></table>
+
$$
 +
ab \cdot c  = a \cdot bc ,
 +
$$
  
 
then they generate an associative subloop, that is, a group. In particular, any Moufang loop is di-associative, that is, any two elements of it generate an associative subloop. The property of being a Moufang loop is universal, that is, it is invariant under isotopy: Any loop isotopic to a Moufang loop is itself a Moufang loop.
 
then they generate an associative subloop, that is, a group. In particular, any Moufang loop is di-associative, that is, any two elements of it generate an associative subloop. The property of being a Moufang loop is universal, that is, it is invariant under isotopy: Any loop isotopic to a Moufang loop is itself a Moufang loop.
Line 21: Line 62:
 
One of the most general classes of loops is the class of IP-loops, or loops with the invertibility property. They are defined by the identities
 
One of the most general classes of loops is the class of IP-loops, or loops with the invertibility property. They are defined by the identities
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083029.png" /></td> </tr></table>
+
$$
 +
{}  ^ {-} 1 x \cdot xy  = y \  \textrm{ and } \  yx \cdot x  ^ {-} 1  = y .
 +
$$
  
Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083030.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083031.png" /> are, respectively, the left and right inverse elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083032.png" />. Any Moufang loop is an IP-loop. In an IP-loop all kernels coincide. The kernel of a Moufang loop is a normal characteristic subloop. The property of being an IP-loop is not universal. Moreover, if any isotope of an IP-loop <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083033.png" /> is an IP-loop, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083034.png" /> is a Moufang loop.
+
Here $  {}  ^ {-} 1 x $
 +
and $  x  ^ {-} 1 $
 +
are, respectively, the left and right inverse elements of $  x $.  
 +
Any Moufang loop is an IP-loop. In an IP-loop all kernels coincide. The kernel of a Moufang loop is a normal characteristic subloop. The property of being an IP-loop is not universal. Moreover, if any isotope of an IP-loop $  Q ( \cdot ) $
 +
is an IP-loop, then $  Q ( \cdot ) $
 +
is a Moufang loop.
  
More general than the class of IP-loops is the class of WIP-loops, or loops with the weak invertibility property. They are defined by the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083035.png" />. This identity is universal if
+
More general than the class of IP-loops is the class of WIP-loops, or loops with the weak invertibility property. They are defined by the identity $  x ( yx )  ^ {-} 1 = y  ^ {-} 1 $.  
 +
This identity is universal if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083036.png" /></td> </tr></table>
+
$$
 +
( yx ) ( \theta _ {y} z \cdot y )  = ( y \cdot xz ) y
 +
$$
  
for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083037.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083038.png" /> is an automorphism. In this case the kernel of the WIP-loop is normal and the quotient loop with respect to the kernel is a Moufang loop. A special case of WIP-loops are the CI-loops, or cross-invertible loops, defined by the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083039.png" />.
+
for all $  x , y , z \in Q $,  
 +
where $  \theta _ {y} $
 +
is an automorphism. In this case the kernel of the WIP-loop is normal and the quotient loop with respect to the kernel is a Moufang loop. A special case of WIP-loops are the CI-loops, or cross-invertible loops, defined by the identity $  ( xy ) x  ^ {-} 1 = y $.
  
 
A generalization of Moufang loops are the (left) Bol loops, in which the identity
 
A generalization of Moufang loops are the (left) Bol loops, in which the identity
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083040.png" /></td> </tr></table>
+
$$
 +
x ( y \cdot xz )  = ( x \cdot yx ) z
 +
$$
  
 
holds. They are invariant under isotopy and are mono-associative, that is, every element of such a loop generates an associative subloop.
 
holds. They are invariant under isotopy and are mono-associative, that is, every element of such a loop generates an associative subloop.
  
An important concept in the theory of quasi-groups and loops is the concept of a pseudo-automorphism. A permutation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083041.png" /> of a loop <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083042.png" /> is called a left pseudo-automorphism if there is an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083043.png" /> such that
+
An important concept in the theory of quasi-groups and loops is the concept of a pseudo-automorphism. A permutation $  \phi $
 +
of a loop $  Q ( \cdot ) $
 +
is called a left pseudo-automorphism if there is an element $  a \in Q $
 +
such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083044.png" /></td> </tr></table>
+
$$
 +
\phi ( xy ) \cdot a  = \phi ( x) ( \phi y \cdot a ) \  \textrm{ for }  \textrm{ all }
 +
x , y \in Q ,
 +
$$
  
and is called a right pseudo-automorphism if there is an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083045.png" /> such that
+
and is called a right pseudo-automorphism if there is an element $  b \in Q $
 +
such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083046.png" /></td> </tr></table>
+
$$
 +
b \cdot \phi ( xy )  = ( b \cdot \phi x ) \phi y \  \textrm{ for }  \textrm{ all }
 +
x , y \in Q .
 +
$$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083047.png" /> is both a left and a right pseudo-automorphism, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083048.png" /> is called a pseudo-automorphism, and the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083049.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083050.png" /> are called the left and right companions, respectively. For loops an automorphism is a special case of a pseudo-automorphism. Every pseudo-automorphism of an IP-loop induces an automorphism in its kernel, and in a commutative Moufang loop any pseudo-automorphism is an automorphism.
+
If $  \phi $
 +
is both a left and a right pseudo-automorphism, then $  \phi $
 +
is called a pseudo-automorphism, and the elements $  a $
 +
and $  b $
 +
are called the left and right companions, respectively. For loops an automorphism is a special case of a pseudo-automorphism. Every pseudo-automorphism of an IP-loop induces an automorphism in its kernel, and in a commutative Moufang loop any pseudo-automorphism is an automorphism.
  
In the theory of loops a significant role is played by inner permutations. A permutation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083051.png" /> of the associated group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083052.png" /> of a loop <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083053.png" /> with an identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083054.png" /> is said to be inner if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083055.png" />. The set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083056.png" /> of all inner permutations is a subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083057.png" /> and is called the group of inner permutations. The group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083058.png" /> is generated by permutations of three types:
+
In the theory of loops a significant role is played by inner permutations. A permutation $  \alpha $
 +
of the associated group $  G $
 +
of a loop $  Q ( \cdot ) $
 +
with an identity $  e $
 +
is said to be inner if $  \alpha e = e $.  
 +
The set $  I $
 +
of all inner permutations is a subgroup of $  G $
 +
and is called the group of inner permutations. The group $  I $
 +
is generated by permutations of three types:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083059.png" /></td> </tr></table>
+
$$
 +
L _ {x , y }  = L _ {xy}  ^ {-1} L _ {x} L _ {y} ;
 +
\  R _ {x ,y }  = R _ {xy}  ^ {-1} R _ {y} R _ {x} ;
 +
\  T _ {x}  = R _ {x}  ^ {-1} L _ {x} .
 +
$$
  
By means of inner permutations one can define <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083061.png" />-loops as loops for which all inner permutations are automorphisms. If an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083062.png" />-loop is also an IP-loop, then it is di-associative. Commutative di-associative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083063.png" />-loops are Moufang loops. For commutative Moufang loops inner permutations are automorphisms.
+
By means of inner permutations one can define $  A $-
 +
loops as loops for which all inner permutations are automorphisms. If an $  A $-
 +
loop is also an IP-loop, then it is di-associative. Commutative di-associative $  A $-
 +
loops are Moufang loops. For commutative Moufang loops inner permutations are automorphisms.
  
Some definitions of group theory carry over to loops. Thus, a loop is said to be Hamiltonian if any subgroup of it is normal. Abelian groups are also regarded as Hamiltonian loops. Mono-associative Hamiltonian loops with elements of finite order are direct products of Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083064.png" />-loops (a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083066.png" />-loop is defined in the same way as a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083067.png" />-group). Di-associative Hamiltonian loops are either Abelian groups or direct products: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083068.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083069.png" /> is an Abelian group whose elements have odd order, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083070.png" /> is an Abelian group of exponent 2 and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083071.png" /> is a non-commutative loop satisfying additional conditions.
+
Some definitions of group theory carry over to loops. Thus, a loop is said to be Hamiltonian if any subgroup of it is normal. Abelian groups are also regarded as Hamiltonian loops. Mono-associative Hamiltonian loops with elements of finite order are direct products of Hamiltonian $  p $-
 +
loops (a $  p $-
 +
loop is defined in the same way as a $  p $-
 +
group). Di-associative Hamiltonian loops are either Abelian groups or direct products: $  A \times T \times H $,  
 +
where $  A $
 +
is an Abelian group whose elements have odd order, $  T $
 +
is an Abelian group of exponent 2 and $  H $
 +
is a non-commutative loop satisfying additional conditions.
  
A loop <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083072.png" /> is said to be totally (partially) ordered if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083073.png" /> is a totally (partially) ordered set (with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083074.png" />) and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083075.png" /> implies
+
A loop $  Q ( \cdot ) $
 +
is said to be totally (partially) ordered if $  Q $
 +
is a totally (partially) ordered set (with respect to $  \leq  $)  
 +
and if $  a \leq  b $
 +
implies
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083076.png" /></td> </tr></table>
+
$$
 +
ac  \leq  bc ,\  ca  \leq  cb ,
 +
$$
  
and conversely. If the centre of a totally ordered loop <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083077.png" /> has finite index, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060830/l06083078.png" /> is centrally nilpotent. Lattice-ordered loops with the minimum condition for elements are free Abelian groups.
+
and conversely. If the centre of a totally ordered loop $  Q ( \cdot ) $
 +
has finite index, then $  Q ( \cdot ) $
 +
is centrally nilpotent. Lattice-ordered loops with the minimum condition for elements are free Abelian groups.
  
 
Loops have also been studied by means of associated groups. It has been proved, for example, that there is a one-to-one correspondence between the normal subloops of a loop and the normal subgroups of the corresponding associated group.
 
Loops have also been studied by means of associated groups. It has been proved, for example, that there is a one-to-one correspondence between the normal subloops of a loop and the normal subgroups of the corresponding associated group.
  
For references see [[Quasi-group|Quasi-group]].
+
For references see [[Quasi-group]].

Latest revision as of 06:59, 30 March 2024


A quasi-group with an identity, that is, with an element $ e $ such that $ xe = ex = x $ for every element $ x $ of the quasi-group. The significance of loops in the theory of quasi-groups is determined by the following theorem: Any quasi-group is isotopic (see Isotopy) to a loop. Therefore, one of the main problems in the theory of quasi-groups is to describe the loops to which the quasi-groups of a given class are isotopic.

With every loop there are associated three kernels, cf. Kernel of a loop. The set

$$ N _ {l} = \{ {a } : {ax \cdot y = a \cdot xy \textrm{ for } \textrm{ all } x , y \in Q } \} $$

of elements of a loop $ Q ( \cdot ) $ is called the left kernel. Similarly one defines the middle and right kernels. They always exist in a loop. Their intersection is called the kernel of the loop. Every kernel is an associative subloop, that is, a subgroup of $ Q ( \cdot ) $. Corresponding kernels of isotopic loops are isomorphic. There are loops with any preassigned kernels. A loop $ Q $ isotopic to a group $ Q ( \cdot ) $ is itself a group and is isomorphic to the group $ Q ( \cdot ) $( Albert's theorem). In particular, isotopic groups are isomorphic. Some other classes of loops also have this property, for example free loops. A loop $ Q ( \cdot ) $ is called a $ G $- loop if any loop isotopic to $ Q ( \cdot ) $ is isomorphic to it.

Many concepts and results of group theory can be extended to loops. However, some of the usual properties of a group need not hold for loops. Thus, in finite loops Lagrange's theorem (that the order of a subgroup divides the order of the group) does not hold, generally speaking. If, nevertheless, Lagrange's theorem does hold for a loop, then the loop is said to be Lagrangian. If every subloop of a loop $ Q ( \cdot ) $ is Lagrangian, one says that $ Q ( \cdot ) $ has the property $ L ^ \prime $. A necessary and sufficient condition for a loop $ Q ( \cdot ) $ to have the property $ L ^ \prime $ is the following: $ Q ( \cdot ) $ must have a normal chain

$$ Q = Q _ {0} \supset Q _ {1} \supset \dots \supset Q _ {n} = e , $$

where $ Q _ {i} $ is a normal subloop in $ Q _ {i-} 1 $, such that $ Q _ {i-} 1 / Q _ {i} $ has the property $ L ^ \prime $ for all $ i = 1 \dots n $.

The loops that have been most studied and are closest to groups are Moufang loops (cf. Moufang loop). The main theorem about them (Moufang's theorem) is: If three elements $ a , b , c $ of such a loop are connected by the associative law, that is, if

$$ ab \cdot c = a \cdot bc , $$

then they generate an associative subloop, that is, a group. In particular, any Moufang loop is di-associative, that is, any two elements of it generate an associative subloop. The property of being a Moufang loop is universal, that is, it is invariant under isotopy: Any loop isotopic to a Moufang loop is itself a Moufang loop.

One of the most general classes of loops is the class of IP-loops, or loops with the invertibility property. They are defined by the identities

$$ {} ^ {-} 1 x \cdot xy = y \ \textrm{ and } \ yx \cdot x ^ {-} 1 = y . $$

Here $ {} ^ {-} 1 x $ and $ x ^ {-} 1 $ are, respectively, the left and right inverse elements of $ x $. Any Moufang loop is an IP-loop. In an IP-loop all kernels coincide. The kernel of a Moufang loop is a normal characteristic subloop. The property of being an IP-loop is not universal. Moreover, if any isotope of an IP-loop $ Q ( \cdot ) $ is an IP-loop, then $ Q ( \cdot ) $ is a Moufang loop.

More general than the class of IP-loops is the class of WIP-loops, or loops with the weak invertibility property. They are defined by the identity $ x ( yx ) ^ {-} 1 = y ^ {-} 1 $. This identity is universal if

$$ ( yx ) ( \theta _ {y} z \cdot y ) = ( y \cdot xz ) y $$

for all $ x , y , z \in Q $, where $ \theta _ {y} $ is an automorphism. In this case the kernel of the WIP-loop is normal and the quotient loop with respect to the kernel is a Moufang loop. A special case of WIP-loops are the CI-loops, or cross-invertible loops, defined by the identity $ ( xy ) x ^ {-} 1 = y $.

A generalization of Moufang loops are the (left) Bol loops, in which the identity

$$ x ( y \cdot xz ) = ( x \cdot yx ) z $$

holds. They are invariant under isotopy and are mono-associative, that is, every element of such a loop generates an associative subloop.

An important concept in the theory of quasi-groups and loops is the concept of a pseudo-automorphism. A permutation $ \phi $ of a loop $ Q ( \cdot ) $ is called a left pseudo-automorphism if there is an element $ a \in Q $ such that

$$ \phi ( xy ) \cdot a = \phi ( x) ( \phi y \cdot a ) \ \textrm{ for } \textrm{ all } x , y \in Q , $$

and is called a right pseudo-automorphism if there is an element $ b \in Q $ such that

$$ b \cdot \phi ( xy ) = ( b \cdot \phi x ) \phi y \ \textrm{ for } \textrm{ all } x , y \in Q . $$

If $ \phi $ is both a left and a right pseudo-automorphism, then $ \phi $ is called a pseudo-automorphism, and the elements $ a $ and $ b $ are called the left and right companions, respectively. For loops an automorphism is a special case of a pseudo-automorphism. Every pseudo-automorphism of an IP-loop induces an automorphism in its kernel, and in a commutative Moufang loop any pseudo-automorphism is an automorphism.

In the theory of loops a significant role is played by inner permutations. A permutation $ \alpha $ of the associated group $ G $ of a loop $ Q ( \cdot ) $ with an identity $ e $ is said to be inner if $ \alpha e = e $. The set $ I $ of all inner permutations is a subgroup of $ G $ and is called the group of inner permutations. The group $ I $ is generated by permutations of three types:

$$ L _ {x , y } = L _ {xy} ^ {-1} L _ {x} L _ {y} ; \ R _ {x ,y } = R _ {xy} ^ {-1} R _ {y} R _ {x} ; \ T _ {x} = R _ {x} ^ {-1} L _ {x} . $$

By means of inner permutations one can define $ A $- loops as loops for which all inner permutations are automorphisms. If an $ A $- loop is also an IP-loop, then it is di-associative. Commutative di-associative $ A $- loops are Moufang loops. For commutative Moufang loops inner permutations are automorphisms.

Some definitions of group theory carry over to loops. Thus, a loop is said to be Hamiltonian if any subgroup of it is normal. Abelian groups are also regarded as Hamiltonian loops. Mono-associative Hamiltonian loops with elements of finite order are direct products of Hamiltonian $ p $- loops (a $ p $- loop is defined in the same way as a $ p $- group). Di-associative Hamiltonian loops are either Abelian groups or direct products: $ A \times T \times H $, where $ A $ is an Abelian group whose elements have odd order, $ T $ is an Abelian group of exponent 2 and $ H $ is a non-commutative loop satisfying additional conditions.

A loop $ Q ( \cdot ) $ is said to be totally (partially) ordered if $ Q $ is a totally (partially) ordered set (with respect to $ \leq $) and if $ a \leq b $ implies

$$ ac \leq bc ,\ ca \leq cb , $$

and conversely. If the centre of a totally ordered loop $ Q ( \cdot ) $ has finite index, then $ Q ( \cdot ) $ is centrally nilpotent. Lattice-ordered loops with the minimum condition for elements are free Abelian groups.

Loops have also been studied by means of associated groups. It has been proved, for example, that there is a one-to-one correspondence between the normal subloops of a loop and the normal subgroups of the corresponding associated group.

For references see Quasi-group.

How to Cite This Entry:
Loop. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Loop&oldid=39524
This article was adapted from an original article by V.D. Belousov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article