Difference between revisions of "Kernel of a loop"
(Importing text file) |
(Tex done) |
||
| Line 1: | Line 1: | ||
| − | The set of elements of the [[ | + | The set of elements of the [[loop]] that are simultaneously left-, right- and middle-associative (or, equivalently, the intersection of the left, right and middle kernels of the loop). An element $a$ of a loop is called left-associative if $a(bc) = (ab)c$ for any $b,c$ in the loop. The set of left-associative elements is called the left kernel of the loop. Right- and middle-associative elements and the corresponding kernels are defined similarly. Left and right kernels can also be defined for quasi-groups, but only loops have a non-empty middle kernel. All the kernels of a loop are subgroups of it. All three kernels of a loop with the invertibility property ($IP$-loop) coincide, and for [[Moufang loop]]s they form, in addition, a normal subloop (see [[Loop]]). |
| + | |||
| + | {{TEX|done}} | ||
Revision as of 20:02, 29 October 2016
The set of elements of the loop that are simultaneously left-, right- and middle-associative (or, equivalently, the intersection of the left, right and middle kernels of the loop). An element $a$ of a loop is called left-associative if $a(bc) = (ab)c$ for any $b,c$ in the loop. The set of left-associative elements is called the left kernel of the loop. Right- and middle-associative elements and the corresponding kernels are defined similarly. Left and right kernels can also be defined for quasi-groups, but only loops have a non-empty middle kernel. All the kernels of a loop are subgroups of it. All three kernels of a loop with the invertibility property ($IP$-loop) coincide, and for Moufang loops they form, in addition, a normal subloop (see Loop).
Kernel of a loop. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Kernel_of_a_loop&oldid=12905