请输入您要查询的字词:

 

单词 MoufangLoop
释义

Moufang loop


PropositionPlanetmathPlanetmathPlanetmath: Let Q be a nonempty quasigroup.

I) The following conditions are equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath.

(x(yz))x=(xy)(zx)  for all x,y,zQ(1)
((xy)z)y=x(y(zy))  for all x,y,zQ(2)
(xz)(yx)=x((zy)x)  for all x,y,zQ(3)
((yz)y)x=y(z(yx))  for all x,y,zQ(4)

II) If Q satisfies those conditions, then Q has an identity elementMathworldPlanetmath(i.e., Q is a loop).

For a proof, we refer the reader to the two references.Kunen in [1] shows that that any of the four conditions implies theexistence of an identity element. And Bol and Bruck [2] show thatthe four conditions are equivalent for loops.

Definition: A nonempty quasigroup satisfying the conditions(1)–(4) is called a Moufang quasigroup or, equivalently, a Moufangloop (after Ruth Moufang, 1905–1977).

The 16-element set of unit octonions over is an exampleof a nonassociative Moufang loop.Other examples appear in projective geometry, coding theory, and elsewhere.

References

[1] Kenneth Kunen, Moufang Quasigroups, J. AlgebraPlanetmathPlanetmath 83 (1996) 231–234.(A preprint in PostScript format is available from Kunen’s website:http://www.math.wisc.edu/ kunen/moufang.psMoufang Quasigroups.)

[2] R. H. Bruck, A Survey of Binary Systems, Springer-Verlag, 1958.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 16:17:50