On the structure of a~relatively free Grassmann algebra

A. V. Grishin ; L. M. Tsybulya

Fundamentalʹnaâ i prikladnaâ matematika, Tome 15 (2009) no. 8, pp. 3-93.

Résumé

We investigate the multiplicative and $T$-space structure of the relatively free algebra $F^{(3)}$ with a unity corresponding to the identity $\bigl[[x_1,x_2],x_3\bigr]=0$ over an infinite field of characteristic $p>0$. The highest emphasis is placed on unitary closed $T$-spaces over a field of characteristic $p>2$. We construct a diagram containing all basic $T$-spaces of the algebra $F^{(3)}$, which form infinite chains of the inclusions. One of the main results is the decomposition of quotient $T$-spaces connected with $F^{(3)}$ into a direct sum of simple components. Also, the studied $T$-spaces are commutative subalgebras of $F^{(3)}$; thus, the structure of $F^{(3)}$ and its subalgebras can be described as modules over these commutative algebras. Separately, we consider the specifics of the case $p=2$. In Appendix, we study nonunitary closed $T$-spaces and the case of a field of zero characteristic.

Bibliographie

[1] Aladova E. V., Grishin A. V., Kireeva E. A., “$T$-prostranstva. Istoriya voprosa, prilozheniya i poslednie rezultaty”, Chebyshëvskii sb., 5:4(12) (2004), 39–57 | MR | Zbl

[2] Bakhturin Yu. A., Olshanskii A. Yu., “Tozhdestva”, Itogi nauki i tekhn. Ser. Sovr. mat. Fundam. napr., 18, VINITI, M., 1988, 117–240 | MR

[3] Belov A. Ya., “O neshpekhtovykh mnogoobraziyakh”, Fundament. prikl. mat., 5:1 (1999), 47–66 | MR | Zbl

[4] Belov A. Ya., Algebry s polinomialnymi tozhdestvami: predstavleniya i kombinatornye metody, Dis. $\dots$ dokt. fiz.-mat. nauk, M., 2002

[5] Belov A. Ya., “O koltsakh, asimptoticheski blizkikh k assotsiativnym”, Mat. tr., 10:1 (2007), 29–96 | MR | Zbl

[6] Belov A. Ya., “Ryady Gilberta dlya $T$-prostranstv”, Uspekhi mat. nauk (to appear)

[7] Grishin A. V., “O konechnoi baziruemosti sistem obobschënnykh mnogochlenov”, Izv. AN SSSR. Ser. mat., 54:5 (1990), 899–927 | MR | Zbl

[8] Grishin A. V., “O konechnoi baziruemosti abstraktnykh $T$-prostranstv”, Fundament. prikl. mat., 1:3 (1995), 669–700 | MR | Zbl

[9] Grishin A. V., “Primery ne konechnoi baziruemosti $T$-prostranstv i $T$idealov v kharakteristike 2”, Fundament. prikl. mat., 5:1 (1999), 101–118 | MR | Zbl

[10] Grishin A. V., “Strukturnye i algoritmicheskie voprosy v $T$-prostranstvakh nad polem kharakteristiki $p>0$”, Uspekhi mat. nauk, 60:3 (2005), 175–176 | DOI | MR

[11] Grishin A. V., “O nezavisimykh sistemakh v otnositelno svobodnykh unitarnykh algebrakh”, Fundament. prikl. mat., 14:8 (2008), 69–71

[12] Grishin A. V., “O $T$-prostranstvakh i svyazannykh s nimi ponyatiyakh i rezultatakh”, Fundament. prikl. mat., 14:5 (2008), 77–84 | MR

[13] Grishin A. V., “On center of a relatively free Grassmann algebra”, Mezhdunar. konf. “Sovremennye problemy matematiki, mekhaniki i ikh prilozheniya”, posvyaschënnaya 70-letiyu rektora MGU akademika V. A. Sadovnichego, Materialy konferentsii, M., 2009, 406–407

[14] Grishin A. V., “O stroenii tsentra otnositelno svobodnoi algebry Grassmana”, Uspekhi mat. nauk, 65:4 (2010), 191–192 | DOI | MR | Zbl

[15] Grishin A. V., Surmina L. M., “O strukture nekotorykh $T$-prostranstv v otnositelno svobodnoi algebre Grassmana”, Aktualnye problemy matematiki, informatiki i obrazovaniya, MPGU, M., 2007, 73–82

[16] Grishin A. V., Surmina L. M., “O $T$-algebre $n$-slov”, Mezhdunar. konf. po algebre i teorii chisel, posvyaschënnaya 80-letiyu V. E. Voskresenskogo, Tezisy dokladov, Univers grupp, Samara, 2007, 15–16

[17] Grishin A. V., Surmina L. M., “O $T$-prostranstvakh $n$-slov nad polem kharakteristiki $p>0$”, Uspekhi mat. nauk, 62:4(376) (2007), 145–146 | DOI | MR | Zbl

[18] Grishin A. V., Urbakhanov S. V., “O korazmernostyakh v prostranstvakh 2-slov nad polem kharakteristiki 2 i svoistvakh ekstremalnosti”, Chebyshëvskii sb., 3:2(4) (2002), 34–42 | MR | Zbl

[19] Grishin A. V., Tsybulya L. M., “O $(p,n)$-probleme”, Vestn. Samarsk. gos. un-ta, 57:7 (2007), 35–55

[20] Grishin A. V., Tsybulya L. M., “Dve teoremy o stroenii otnositelno svobodnoi algebry Grassmana”, Uspekhi mat. nauk, 63:4 (2008), 181–182 | DOI | MR | Zbl

[21] Grishin A. V., Tsybulya L. M., “O $T$-prostranstvennom i multiplikativnom stroenii otnositelno svobodnoi algebry Grassmana”, Mat. sb., 200:9 (2009), 41–80 | DOI | MR | Zbl

[22] Zhevlakov K. A., Slinko A. M., Shestakov I. P., Shirshov A. I., Koltsa, blizkie k assotsiativnym, Nauka, M., 1978 | MR | Zbl

[23] Kemer A. R., “Mnogoobraziya i $\mathbb Z_2$-graduirovannye algebry”, Izv. AN SSSR. Ser. mat., 48:5 (1984), 1042–1059 | MR | Zbl

[24] Kemer A. R., “Konechnaya baziruemost tozhdestv assotsiativnykh algebr”, Algebra i logika, 26 (1987), 597–641 | MR | Zbl

[25] Kemer A. R., “Tozhdestva konechno porozhdënnykh algebr nad beskonechnym polem”, Izv. AN SSSR. Ser. mat., 54:4 (1990), 726–753 | MR | Zbl

[26] Kireeva E. A., “O konechnoi porozhdënnosti vpolne invariantnykh podmodulei v algebrakh mnogochlenov”, Trudy IV Mezhdunar. konf. “Sovremennye problemy teorii chisel i eë prilozheniya”, Chebyshëvskii sb., 2 (2001), 54–60 | MR | Zbl

[27] Kireeva E. A., “Predelnye $T$-prostranstva”, Fundament. prikl. mat., 13:1 (2007), 135–159 | MR | Zbl

[28] Kireeva E. A., Krasilnikov A. N., “O nekotorykh ekstremalnykh mnogoobraziyakh assotsiativnykh algebr”, Mat. zametki, 78:4 (2005), 542–558 | DOI | MR | Zbl

[29] Kourovskaya tetrad: nereshënnye voprosy teorii grupp, Vyp. 14, Izd-vo In-ta matem. SO AN SSSR, Novosibirsk, 1967

[30] Latyshev V. N., “O slozhnosti nematrichnykh mnogoobrazii assotsiativnykh algebr”, Algebra i logika, 16:2 (1977), 149–183 | MR | Zbl

[31] Razmyslov Yu. P., “O konechnoi baziruemosti tozhdestv matrichnoi algebry vtorogo poryadka nad polem kharakteristiki nul”, Algebra i logika, 12:1 (1973), 83–113 | MR | Zbl

[32] Surmina L. M., “O nekotorykh $T$-prostranstvakh $n$-slov”, Mezhdunar. konf. po algebre i teorii chisel, posvyaschënnaya 80-letiyu V. E. Voskresenskogo, Tezisy dokladov, Univers grupp, Samara, 2007, 47–48

[33] Tsybulya L. M., “Teorema o nezavisimosti”, Sovremennye problemy differentsialnoi geometrii i obschei algebry, Mezhdunar. nauch. konf., posvyaschënnaya 100-letiyu prof. V. V. Vagnera. Tezisy dokladov, Izd-vo Sarat. un-ta, Saratov, 2008, 138–140

[34] Tsybulya L. M., “Teoremy o vyravnivanii i monomialnosti v otnositelno svobodnoi algebre Grassmana”, Fundament. prikl. mat., 14:5 (2008), 197–218 | MR

[35] Tsybulya L. M., $T^*$-prostranstvo $n$-slov v otnositelno svobodnoi algebre Grassmana bez edinitsy, Dep. v VINITI 18.12.2008, No 975-B2008

[36] Chiripov P. Zh., Siderov P. N., “O bazisakh tozhdestv nekotorykh mnogoobrazii assotsiativnykh algebr”, Pliska, 2 (1981), 103–115 | MR | Zbl

[37] Schigolev V. V., “Primery beskonechno baziruemykh $T$-idealov”, Fundament. prikl. mat., 5:1 (1999), 307–312 | MR | Zbl

[38] Schigolev V. V., “Primery beskonechno baziruemykh $T$-prostranstv”, Mat. sb., 191:3 (2000), 143–160 | DOI | MR | Zbl

[39] Schigolev V. V., “Konechnaya baziruemost $T$-prostranstv nad polyami nulevoi kharakteristiki”, Izv. RAN. Ser. mat., 65:5 (2001), 191–224 | DOI | MR | Zbl

[40] Grishin A. V., “On the finite basis property of $T$-spaces over a field of finite characteristic”, Proc. of Moscow-Tainan Algebraic Workshop, 1994, 225–227 | MR

[41] Grishin A. V., “On non-Spechtianness of the variety of associative rings that satisfy the identity $x^{32}=0$”, Electron. Res. Announc. Amer. Math. Soc., 2000, no. 6, 50–51 | DOI | MR | Zbl

[42] Grishin A. V., “The variety of associative rings which satisfy the identity $x^{32}=0$ is not Specht”, 12th Int. Conf. FPSAC' 00, Proceedings (Moscow, 2000), 686–691 | MR | Zbl

[43] Grishin A. V., Shchigolev V. V., “On $T$-spaces and their applications”, J. Math. Sci., 134:1 (2006), 1799–1878 | DOI | MR | Zbl

[44] Grishin A. V., Tsybulya L. M., “Decomposition of the commutator quotient $T$-spaces into the direct sum of simple components”, Mezhdunar. algebraicheskaya konf., posvyaschënnaya 100-letiyu so dnya rozhdeniya A. G. Kurosha, Tezisy dokladov, Izd-vo Mosk. un-ta, M., 2008, 302–303

[45] Gupta C. K., Krasilnikov A. N., “A non-finitely based system of polinomial identities which contains the identity $x^6=0$”, Quart. J. Math., 53 (2002), 173–183 | DOI | MR | Zbl

[46] Okhitin S. V., “Central polynomials of an algebra of second-order matrices”, Moscow Univ. Math. Bull., 43:4 (1988), 49–51 | MR | Zbl

[47] Specht W., “Gesetze in Ringen”, Math. Z., 52 (1950), 557–589 | DOI | MR | Zbl

[48] Tsybulya L. M., “Reduction to monomial substitutions”, Mezhdunar. algebraicheskaya konf., posvyaschënnaya 100-letiyu so dnya rozhdeniya A. G. Kurosha, Tezisy dokladov, Izd-vo Mosk. un-ta, M., 2008, 367–368