×

关于群表示的齐次变体的两点注记。 (俄语) Zbl 2005年5月7日

设F是基为(X={X_i|\)\(i\in{mathbb{N}}}\)的自由群,kF是它在域k,char\(k\neq2,3\)上的群环。kF在形式幂级数代数中的Magnus嵌入由(x_i\mapsto1+z_i\)(i\)给出。对于kF中的任何一个(u=u(x_1,…,x_m),都对应一个系列,它可以唯一地表示为其齐次分量的和,第n个分量是单项式的有限和。。。k中系数为(lambda{(i)})的n次z{in}。
群表示的一个变种({mathfrak X})被称为齐次的,如果从(u)是({math frak X{)的恒等式,那么它的所有齐次分量也都是({mathfrak X})的等式。由恒等式\(z_1z_2z_3z_4z_5\)和\(2z_1z_2z_1z_1z^2_2z_1\)给出的群表示的多样性\({\mathfrak S}_5\)似乎不是齐次的[作者,Sib.Mat.Zh.29,35-47(1988;Zbl 0661.20003号)]. 此外,由\(z^3)给出的群的3-唯一表示的多样性不是齐次的[本文中的Th.2]。
为了阐明本文的主要关注点,还需要一个概念。一个元素\(kF中的u)被称为类型为(n,m,k)的特殊单词,前提是:(1)\\)是包含u和\(\Delta^n(k,F)\)的kF中的动词理想。上面引用的关于({mathfrak S}5)的结果来自这样一个事实,即带有(u=2z_1z_2z_1-z_1z^2_2z_1)的(u(x_1,x2)是一个类型为(5,2,3)的特殊单词。作者证明了(Th.1):不存在以(‘<’’)为词典编纂顺序(从左起)的\(<(5,2,3)\)型特殊词。
审核人:U.Kaljulaid公司

MSC公司:

20立方厘米 普通表示和字符
20C07型 无限群的群环及其模(群理论方面)
16周60 赋值、完成、形式幂级数和相关构造(结合环和代数)
16兰特 \(T)-理想、恒等式、结合环和代数的变种
20年10月 准变种和群变种
PDF格式BibTeX公司 XML格式引用