非结合代数

非结合代数1995（或分配代数，distributive algebra）是域上的代数，其中乘法不必遵循结合律。即，有代数结构A、域K，若A是K上配备K-双线性乘法（不必符合结合律）的向量空间，则称其为K上的非结合代数。例如李代数、约尔丹代数、八元数、具备叉积的3维欧氏空间。由于乘法不必结合，须用括号表示乘法的顺序，比如(ab)(cd)、(a(bc))d、a(b(cd))的含义是不一样的。
这里的“非结合”是说不必结合，而非必不结合，就像非交换环的“非交换”是说“不必交换”。
若代数有单位元e，使得，则称代数是含幺的或酉的。例如，八元数是含幺的，而李代数绝不含幺。
A的非结合代数结构可与A的K-自同态的全代数的子代数（是结合代数）相关联，作为K-向量空间研究。两个例子是微分代数与（结合）包络代数，后者有“包含A的最小结合代数”的意味。
更一般地，有人提出交换环R上非结合代数的概念：具备R-双线性乘法的R-模。1995若一结构服从除结合律外所有环的公理（如R代数），则就自然是-代数，所以有人称非结合-代数为非结合环。

**满足恒等式的代数**
具有两种二元运算、无其他限制的类环结构分很多种类，难以一同研究。所以，最为人所知的非结合代数要满足一些恒等式（即性质），这样稍微简化了乘法。一般来说有如下这些。

**一般性质**
令x, y, z表示域K上代数A的任意元素。
正整数次幂可以递归地定义为1948a（右幂）或19951995（左幂）。- 含幺：存在元素e使得；这时可以定义- 结合性：- 交换性：- 反交换性：1995- 雅可比恒等式：19952005- 约尔丹恒等式：19952005- 交替性：199520052004（左交替）；（右交替）。- 柔性：19952005。- n次幂结合性（n ≥ 2）：，其中k是整数。
** 三次幂结合性：
** 四次幂结合性：（比较下面的“四次幂交换性”）。- 幂结合性：19951995200519981948a任意元素生成的子代数结合，即对n ≥ 2，有n次幂结合。- n次幂交换性，其中n ≥ 2：，其中k是整数。
** 三次幂交换性：。
** 四次幂交换性：（比较上面的“四次幂结合性”'）。- 幂交换性：任意元素生成的子代数交换，即n次幂交换（n ≥ 2）。- 索引n ≥ 2的幂零：任意n个元素之积，在任意结合次序下为零，但n−1个元素时不总成立：个元素y使得在某结合次序下- 索引n ≥ 2的零：幂结合性、，存在元素y使得

**性质之间的关系**
对特征任意的K：- 结合性推出交替性。- 左交替、右交替、柔性知二推三。
** 因此交替性推出柔性。- 交替性推出约尔丹恒等式。1997efn|name=Artin|由阿廷定理。- 交换性导出柔性。- 反交换性导出柔性。- 交替性导出幂结合性。name=Artin- 柔性导出三次幂结合性。- 二次幂结合和二次幂交换为真。- 三次幂结合和三次幂交换等价。- n次幂结合推出n次幂交换。- 索引2的零推出反交换性。- 索引2的零推出约尔丹恒等式。- 索引3的幂零推出雅可比恒等式。- 索引n的幂零推出索引N的零，其中2 ≤ N ≤ n。- 含幺与索引n的零不相容。
若或- 约尔丹恒等式与交换性共同推出幂结合性。196819951955
若- 右交替性推出幂结合性。1948b197619821995
** 相似地，左交替性推出幂结合性。- 含幺与约尔丹恒等式共同推出柔性。2013- 约尔丹恒等式与柔性共同推出幂结合性。2013- 交换性与反交换性共同推出索引2的幂零。- 反交换性推出索引2的零。- 含幺与反交换不相容。
若：- 含幺和雅克比恒等式不相容。
若- 交换性与（定义四次幂结合性的两等式之一）共同推出幂结合性。1948a
若- 三次幂结合性与（定义四次幂结合性的两等式之一）共同推出幂结合性。1948a
若- 交换性与反交换性等价。

**结合子**
A上的结合子是K-线性映射：
 
它度量了A非结合的程度，可以很方便地表示一些A满足的式子。
令x, y, z表示域代数的任意元素。- 结合律：- 交替性：（左交替）及（右交替）。
** 这意味着交换任意两项都会变号：反例仅当- 柔性：
** 可知，交换极值项将变号：反例仅当- 约尔丹恒等式：1995或，取决于学者。- 三次幂结合性：
核是与其他元素结合的元素的集合，2004即，使得
 
核是A的结合子环。

**中心**
A的中心是与A中所有元素都交换、结合的元素的集合，即

与核之交。对C(A)中的元素，中两个集合若是，则第三个集合也是零集。

**例子**
 欧几里得空间，乘法由叉积给出。这是反交换、非结合代数的例子。叉积还满足雅可比恒等式。- 李代数是满足反交换与雅可比恒等式的代数。- 微分流形上的向量场代数（若K是R或C）或代数簇（对一般的K）；- 约尔丹代数是满足交换律与约尔丹恒等式的代数。2005- 结合代数都可通过以交换子为李括号，给出李代数。实际上，李代数要幺可以这样构造，要幺是这样构造的李代数的子代数。- 定义新的乘法，则特征不是2的域上的结合代数给出约尔丹代数。与李代数不同，只有一部分约尔丹代数能这样构造，称作特殊约尔丹代数。- 交替代数是满足交替性的代数。最重要的例子是八元数（实数上的代数），以及八元数在其他域上的推广。结合代数都交替。在同构意义上，仅有的有限维实交替除代数（下详）是实数、复数、四元数和八元数。- 幂结合代数，是满足幂结合恒等式的代数。例如所有结合代数、所有交替代数、GF(2)以外任意域上的约尔丹代数（上详）与十六元数。- R上的双曲四元数代数，是为解释狭义相对论而引入闵可夫斯基时空前的实验性代数。
更多种类代数：- 分次代数，包括大部分对多重线性代数具有重大意义的代数，如张量代数、对称代数、给定向量空间上的外代数等等。分次代数可推广到滤子代数。- 除代数，其中存在乘法逆元。实数域上有限维交替除代数的分类已完成。有实数（1维）、复数（2维）、四元数（4维）、八元数（8维）。四元数和八元数不交换；八元数不结合。- 二次代数要求，其中r、s属于底域（ground field），e是代数的单位。例子如有限维交替代数、实2阶方阵代数。在同构的意义上，没有零的除子的交替、二次实代数只有实数、复数、四元数和八元数。- 凯莱–迪克森代数（其中K是R），始于：
** C（交换结合代数）；
** 四元数H（结合代数）；
** 八元数（交替代数）；
** 十六元数及凯莱-迪克森代数的无限序列（幂结合代数）。- 超复数代数都是有限维含幺R-代数，于是包含凯莱-迪克森代数等等。- 泊松代数见于几何量子化。其中有2个乘法，以不同方式将其变为结合代数与李代数。
*遗传代数是非结合代数，在数学遗传中使用。
*三元系

**性质**
环论与结合代数中的性质，对非结合代数来说不总成立，例如有（双边）乘法逆元的元素也可能是零除子：十六元数所有非零元都有双边逆，而其中有些是零除子。

**自由非结合代数**
域K上集合X上的自由非结合代数定义为基包含所有非结合单项式的代数，X的元素的有限形式积写出圆括号，例如单项式u、v之积只是若取空积为单项式，则代数含幺。2008
Kurosh证明，自由非结合代数的子代数都是自由的。1947

**结合代数**
域K上的代数A若是K-向量空间，可考虑A的K-线性向量空间内自同态的结合代数。可将的两子代数关联到A上的代数结构：微分代数与（结合）包络代数。

**微分代数**
A上的导子是映射D，具有性质

A上的导子形成了子空间。两导子的交换子仍是导子，所以李括号给出，具有李代数结构。1995

**包络代数**
代数A的元素a都附有线性映射L、R：2005

A的结合包络代数或乘法代数是由左右线性映射生成的结合代数。19952003A的中心体（centoid）是自同态代数中的包络代数的中心化子。若代数的中心体包含单位元的K-标量乘，则称代数是中心的。1998
非结合代数满足的部分可能等式可用线性映射方便地表示：2004- 交换性：L(a)等于相应的R(a)；- 结合性：L与任意R交换；- 柔性：L(a)都与相应的R(a)交换；- 约尔丹：L(a)与交换；- 交替：，右式亦如此。
二次表示Q定义为1999
,
等价地

泛包络代数条目描述了包络代数的规范构造，及它们的PBW型定理。对于李代数，这样的包络代数具有泛性质，但对其他非结合代数通常不成立。最知名的例子可能是阿尔伯特代数，是一种特殊的约尔丹代数，不能用约尔丹代数的包络代数的规范结构来包络。

**脚注**

**注释**

**参考文献**
  cite book | last=Albert | first=A. Adrian | author-link=Abraham Adrian Albert | year=2003 | orig-year=1939 | title=Structure of algebras | publisher=American Mathematical Society | series=American Mathematical Society Colloquium Publ. | volume=24 | edition=Corrected reprint of the revised 1961 | location=New York | isbn=0-8218-1024-3 | url=https://books.google.com/books?isbn=0821810243 | zbl=0023.19901 -  cite journal | last=Albert | first=A. Adrian | author-link=Abraham Adrian Albert | year=1948a | title=Power-associative rings | jstor=1990399 | zbl=0033.15402 | mr=0027750 | journal=Transactions of the American Mathematical Society | issn=0002-9947 | volume=64 | pages=552–593 | doi=10.2307/1990399 | doi-access=free -  cite journal | last=Albert | first=A. Adrian | author-link=Abraham Adrian Albert | year=1948b | title=On right alternative algebras | jstor=1969457 | journal=Annals of Mathematics | volume=50 | pages=318–328 | doi=10.2307/1969457 -  cite book | last1=Bremner | first1=Murray | last2=Murakami | first2=Lúcia | last3=Shestakov | first3=Ivan | year=2013 | orig-year=2006 | chapter=Chapter 86: Nonassociative Algebras | editor-last=Hogben | editor-first=Leslie | title=Handbook of Linear Algebra | edition=2nd | publisher=CRC Press | isbn=978-1-498-78560-0 | url=https://books.google.com/books?isbn=9781498785600 | chapter-url=https://www.math.uci.edu/~brusso/BremnerEtAl35pp.pdf | chapter-format=PDF -  cite book | editor-last=Herstein | editor-first=I. N. | editor-link=Israel Nathan Herstein | year=2011 | orig-year=1965 | title=Some Aspects of Ring Theory: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 23-31, 1965 | volume=37 | series=C.I.M.E. Summer Schools | edition=reprint | publisher=Springer-Verlag | isbn=3-6421-1036-3 | url=https://books.google.com/books?isbn=3642110363 -  cite book | last=Jacobson | first=Nathan | author-link=Nathan Jacobson | year=1968 | title=Structure and representations of Jordan algebras | publisher=American Mathematical Society | location=Providence, R.I. | series=American Mathematical Society Colloquium Publications, Vol. XXXIX | mr=0251099 | isbn=978-0-821-84640-7 | url=https://books.google.com/books?isbn=9780821846407 -  cite book | last1=Knus | first1=Max-Albert | last2=Merkurjev | first2=Alexander | author2-link=Alexander Merkurjev | last3=Rost | first3=Markus | author3-link=Markus Rost | last4=Tignol | first4=Jean-Pierre | year=1998 | title=The book of involutions | others=With a preface by J. Tits | zbl=0955.16001 | series=Colloquium Publications | publisher=American Mathematical Society | volume=44 | location=Providence, RI | isbn=0-8218-0904-0 | url=https://books.google.com/books?isbn=0821809040 -  cite book | last=Koecher | first=Max | year=1999 | title=The Minnesota notes on Jordan algebras and their applications | editor1-first=Aloys | editor1-last=Krieg | editor2-first=Sebastian | editor2-last=Walcher | zbl=1072.17513 | series=Lecture Notes in Mathematics | volume=1710 | location=Berlin | publisher=Springer-Verlag | isbn=3-540-66360-6 | url=https://books.google.com/books?isbn=3540663606 -  cite journal | last=Kokoris | first=Louis A. | year=1955 | title=Power-associative rings of characteristic two | publisher=American Mathematical Society | journal=Proceedings of the American Mathematical Society | volume=6 | issue=5 | pages=705–710 | doi=10.2307/2032920 | doi-access=free -  zbl=0041.16803 -  cite book | last1=McCrimmon | first1=Kevin | year=2004 | title=A taste of Jordan algebras | publisher=Springer-Verlag | location=Berlin, New York | series=Universitext | isbn=978-0-387-95447-9 | url=https://books.google.com/books?isbn=9780387954479 | doi=10.1007/b97489 | id= Errata | mr=2014924 | zbl=1044.17001 -  cite journal | last=Mikheev | first=I.M. | year=1976 | title=Right nilpotency in right alternative rings | journal=Siberian Mathematical Journal | volume=17 | issue=1 | pages=178–180 | doi=10.1007/BF00969304 -  cite book | last=Okubo | first=Susumu | year=2005 | orig-year=1995 | title=Introduction to Octonion and Other Non-Associative Algebras in Physics | publisher=Cambridge University Press | isbn=0-521-01792-0 | url=https://books.google.com/books?isbn=0521017920 | doi=10.1017/CBO9780511524479 | zbl=0841.17001 | series=Montroll Memorial Lecture Series in Mathematical Physics | volume=2 -  url=https://books.google.com/books?isbn=0792343905 -  cite book | last=Rowen | first=Louis Halle | year=2008 | title=Graduate Algebra: Noncommutative View | series=Graduate studies in mathematics | publisher=American Mathematical Society | isbn=0-8218-8408-5 | url=https://books.google.com/books?isbn=0821884085 -  zbl=0145.25601 -  dead-url=no