Difference between revisions of "Kernel of a loop"
(Tex done) |
(MSC 20N05) |
||
| Line 1: | Line 1: | ||
| + | {{TEX|done}}{{MSC|20N05}} | ||
| + | |||
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]]). | 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]]). | ||
| − | |||
| − | |||
Latest revision as of 20:04, 29 October 2016
2020 Mathematics Subject Classification: Primary: 20N05 [MSN][ZBL]
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=39526