|
|
- 2018
左交换代数的“自由定理”
|
Abstract:
设X是一个有限集,LC(X)表示由$X$生成的自由左交换代数;$f\in LC(X)$, Id(f)表示LC(X)的由f所生成的理想. 对于任意的$h$, 是否存在一个算法可以判断出$h\in Id(f)$或$h\notin Id(f)$?为了研究这个问题, 文中应用Gr\"{o}bner-Shirshov 基理论的思想方法在自由左交换代数的线性基底上定义了一个良序,证明了这个良序保持运算,重写了由一个多项式所生成的自由左交换代数的理想的元素的表达式. 证明了一个定义关系的左交换代数具有可解的字问题并得到了左交换代数的“自由定理”.
：Let X be a finite set and LC(X)$ be the free left-commutative algebra induced by X. Let Id(f)$ be the ideal of LC(X) induced by f where $f\in LC(X)$. For any $h$, the problem is whether there is an algorithm to decide $h\in Id(f)$ or $h\notin Id(f)$. This problem is studied by using the approach of Grobner-Shirshov bases theory. A well ordering on a linear basis of free left commutative algebra is defined. It is proved that the ordering is compatible with the product and that the element of the ideal of free left-commutative algebra induced by one polynomial is rewritten. The word problem for left-commutative algebras with a single defining relation is solved and the ``freedom theorem" for left-commutative algebras is obtained
| [1] | L. Makar-Limanov. Algebraically closed skew fields. J. Algebra 93(1985), 117-135. |
| [2] | J.-L. Loday. Cup product for Leibniz cohomology and dual Leibniz algebras. Math. Scand. 77, Univ. Louis Pasteur, Strasbourg, 1995, 189-196. |
| [3] | N.S. Romanovskii. A theorem on freeness for groups with one defining relation in varieties of solvable and nilpotent groups of given degrees.(Russian) Mat. Sb. (N.S.) 89(131)(1972), 93-99. |
| [4] | L.A. Bokut and G.P. Kukin. Algorithmic and combinatorial algebra., Mathematics and its Applications 255. Kluwer Academic Publishers Group, Dordrecht, 1994. |
| [5] | A. Dzhumadil'daev and C. L\"{o}fwall. Trees, free right-symmetric algebras, free Novikov algebras and identities. Homology, Homotopy and Applications. 4(2)(2002), 165–190. |
| [6] | D. Kozybaev, L. Makar-Limanov and U. Umirbaev. The freiheitssatz and automorphisms of free right-symmetric algebras. Asian-European Journal of Mathematics.1(2)(2008), 243-254. |
| [7] | W. Magnus. \"{U}ber discontinuierliche Gruppen mit einer definierenden Relation (Der Freiheitssaz). J. Reine Angew. Math. 163(1930), 141-165. |
| [8] | A.I. Shirshov. Some algorithmic problems for Lie algebras. Sibirsk. Mat. Z. 3(1962), 292-296. |
