The Mal'tsev correspondence and isomorphisms of niltriangular subrings of Chevalley algebras

I. N. Zotov ; V. M. Levchuk

Trudy Instituta matematiki i mehaniki, Trudy Instituta Matematiki i Mekhaniki UrO RAN, Tome 24 (2018) no. 4, pp. 135-145

Résumé

Models of algebraic systems of a first-order language are called elementarily equivalent (we write $\equiv$) if every sentence that is true in one of the models is also true in the other model. The model-theoretic study of linear groups and rings initiated by A.I. Mal'tsev (1960, 1961) is closely related to isomorphism theory; as a rule, the relation $\equiv$ of systems was transferred to fields (or rings encountered) of the coefficients. The Mal'tsev correspondence was analyzed for rings of niltriangular matrices and unitriangular groups (B. Rose, 1978; V. Weiler, 1980; K. Videla, 1988; O.V. Belegradek, 1999; V.M. Levchuk, E.V. Minakova, 2009). For unipotent subgroups of Chevalley groups over a field $K$, the correspondence was studied in 1990 by Videla for $char~ \, K\ne 2,3$. Earlier the authors announced a weakening of the constraint on the field $K$ in the Videla theorem. In the Chevalley algebra associated with a root system $\Phi$ and a ring $K$, the niltriangular subalgebra $N\Phi(K)$ is naturally distinguished. The main results of this paper establish the Mal'tsev correspondence (related with the description of isomorphisms) for the Lie rings $N\Phi(K)$ of classical types over arbitrary associative commutative rings with unity. A corollary is noted for (nonassociative) enveloping algebras to $N\Phi(K)$.

Détail

Keywords: Chevalley algebra, model-theoretic Mal'tsev correspondence.
Mots-clés : niltriangular subalgebra, isomorphism

Bibliographie

[1] Maltsev A.I., “Ob odnom sootvetstvii mezhdu koltsami i gruppami”, Mat. sb., 50:3 (1960), 257–266 | Zbl

[2] Maltsev A.I., “Elementarnye svoistva lineinykh grupp”, Nekotorye problemy v matematike i mekhanike, Izd-vo AN SSSR, Novosibirsk, 1961, 110–132

[3] Keisler G., Chen Ch.Ch., Teoriya modelei, Mir, M., 1977, 614 pp.

[4] Hodges W., Model theory, Cambridge Univ. Press, Cambridge, 1993, 772 pp. | MR | Zbl

[5] Remeslennikov V.N., Romankov V.A., “Teoretiko-modelnye i algoritmicheskie voprosy teorii grupp”, Itogi nauki i tekhniki. Cer.: Algebra, topologiya, geometriya, 21, 1983, 3–79 | Zbl

[6] Rose B.I., “The $\chi_1$-categoricity of strictly upper triangular matrix rings over algebraically closed fields”, J. Symbolic Logic, 43:2 (1978), 250–259 | DOI | MR | Zbl

[7] Wheeler W.H., “Model theory of strictly upper triangular matrix ring”, J. Symbolic Logic, 45:3 (1980), 455–463 | DOI | MR | Zbl

[8] Videla C.R., “On the model theory of the ring NT(n,R)”, Pure Appl. Algebra, 55:3 (1988), 289–302 | DOI | MR | Zbl

[9] Belegradek O.V., “Model theory of unitriangular groups”, Amer. Math. Soc. Transl., 195:2 (1999), 1–116 | MR | Zbl

[10] Levchuk V.M., Minakova E.V., “Elementarnaya ekvivalentnost i izomorfizmy lokalno-nilpotentnykh matrichnykh grupp i kolets”, Dokl. AN, 425:2 (2009), 165–168 | Zbl

[11] Videla C.R., “On the Mal'cev correspondence”, Proc. AMS, 109:2 (1990), 493–502 | DOI | MR | Zbl

[12] Bunina E.I., Mikhalev A.V., Pinus A.G., Elementarnaya i blizkaya k nei logicheskie ekvivalentnosti klassicheskikh i universalnykh algebr, MTsNMO, M., 2015, 360 pp.

[13] Carter R.W., Simple groups of Lie type, Wiley and Sons, N Y, 1972, 331 pp. | MR | Zbl

[14] Levchuk V.M., “Teoretiko-modelnye i strukturnye voprosy algebr i grupp Shevalle”, Itogi nauki. Yug Rossii, 6, Gruppy i grafy, YuMI VNTs RAN i RSO-A, Vladikavkaz, 2012, 71–80

[15] Kuzucuoglu F., Levchuk V.M., “Isomorphisms of certain locally Nilpotent finitary groups and associated rings”, Acta Applicandae Mathematicae, 82:2 (2004), 169–181 | DOI | MR | Zbl

[16] Levchuk V.M., Suleimanova G.S., “Extremal and maximal normal abelian subgroups of a maximal unipotent subgroup in groups of Lie type”, J. Algebra, 349:1 (2012), 98–116 | DOI | MR | Zbl

[17] Levchuk V.M., “Avtomorfizmy unipotentnykh podgrupp grupp Shevalle”, Algebra i logika, 29:3 (1990), 315–338 | MR | Zbl

[18] Levchuk V.M., “Avtomorfizmy unipotentnykh podgrupp grupp lieva tipa malykh rangov”, Algebra i logika, 29:2 (1990), 141–161 | MR | Zbl

[19] Levchuk V.M., Litavrin A.V., “Gipertsentralnye avtomorfizmy niltreugolnykh podalgebr algebr Shevalle”, Sib. elektron. mat. izv., 13 (2016), 467–477 | DOI | MR | Zbl

[20] Gibbs J.A., “Automorphisms of certain unipotent groups”, J. Algebra, 14:2 (1970), 203–208 | DOI | MR

[21] Cao Y., Jiang D., Wang D., “Automorphisms of certain nilpotent algebras over commutative rings”, International J. Algebra Computation, 17:3 (2007), 527–555 | DOI | MR | Zbl

[22] Serre J.-P., Algebres de Lie semi-simple complexes, Benjamin, N Y; Amsterdam, 1966, 130 pp. | MR

[23] Levchuk V.M., “Connections between a unitriangular group and certain rings. Part 2. Groups of automorphisms”, Siberian Mat. J., 24 (1983), 543–557 | DOI | MR | Zbl

[24] Levchuk V.M., Minakova E.V., “Avtomorfizmy i teoretiko-modelnye voprosy dlya nilpotentnykh matrichnykh grupp i kolets”, Fundament. i prikl. matematika, 14:8 (2008), 159–168

[25] Levchuk V.M., “Niltreugolnaya podalgebra algebry: obertyvayuschaya algebra, idealy i avtomorfizmy”, Dokl. AN, 478:2 (2018), 137–140 | DOI | MR | Zbl