Geodesic
On the stabilizer of a column in a matrix group over a polynomial ring
Prikladnaâ diskretnaâ matematika, no. 2 (2020), pp. 34-42.

Voir la notice de l'article provenant de la source Math-Net.Ru

An original non-standard approach to describing the structure of a column stabilizer in a group of $n \times n$ matrices over a polynomial ring or a Laurent polynomial ring of $n$ variables is presented. The stabilizer is described as an extension of a subgroup of a rather simple structure using the $(n-1) \times (n-1)$ matrix group of congruence type over the corresponding ring of $n-1$ variables. In this paper, we consider cases where $n \leq 3.$ For $n = 2$, the stabilizer is defined as a one-parameter subgroup, and the proof is carried out by direct calculation. The case $n = 3$ is nontrivial; the approach mentioned above is applied to it. Corollaries are given to the results obtained. In particular, we prove that for the stabilizer in the question, it is not generated by its a finite subset together with the so-called tame stabilizer of the given column. We are going to study the cases when $n \geq 4$ in a forthcoming paper. Note that a number of key subgroups of groups of automorphisms of groups are defined as column stabilizers in matrix groups. For example, this describes the subgroup IAut($M_r$) of automorphisms that are identical modulo a commutant of a free metabelian group $M_r$ of rank $r$. This approach demonstrates the parallelism of theories of groups of automorphisms of groups and matrix groups that exists for a number of well-known groups. This allows us to use the results on matrix groups to describe automorphism groups. In this work, the classical theorems of Suslin, Cohn, as well as Bachmuth and Mochizuki are used.
Keywords: matrix group over a ring, elementary matrices, stabilizer of a column, ring of polynomials, ring of Laurent polynomials, free metabelian group
Mots-clés : residue, automorphism group. 
@article{PDM_2020_2_a3,
     author = {V. A. Roman'kov},
     title = {On the stabilizer of a column in a matrix group over a polynomial ring},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {34--42},
     publisher = {mathdoc},
     number = {2},
     year = {2020},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PDM_2020_2_a3/}
}
TY  - JOUR
AU  - V. A. Roman'kov
TI  - On the stabilizer of a column in a matrix group over a polynomial ring
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2020
SP  - 34
EP  - 42
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2020_2_a3/
LA  - en
ID  - PDM_2020_2_a3
ER  - 
%0 Journal Article
%A V. A. Roman'kov
%T On the stabilizer of a column in a matrix group over a polynomial ring
%J Prikladnaâ diskretnaâ matematika
%D 2020
%P 34-42
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2020_2_a3/
%G en
%F PDM_2020_2_a3
V. A. Roman'kov. On the stabilizer of a column in a matrix group over a polynomial ring. Prikladnaâ diskretnaâ matematika, no. 2 (2020), pp. 34-42. http://geodesic.mathdoc.fr/item/PDM_2020_2_a3/

[1] Birman J. S., “An inverse function theorem for free groups”, Proc. Amer. Math. Soc., 41:2 (1973), 634–638 | DOI | MR | Zbl

[2] Roman'kov V. A., Essays in Algebra and Cryptology. Solvable Groups, Omsk State University Publishing House, Omsk, 2017, 267 pp.

[3] Timoshenko E. I., Endomorphisms and universal theories of solvable groups, Novosibirsk State Technical University, Novosibirsk, 2011, 327 pp. (in Russian)

[4] Bachmuth S., “Automorphisms of free metabelian groups”, Trans. Amer. Math. Soc., 118 (1965), 93–104 | DOI | MR | Zbl

[5] Umirbaev U. U., “Primitive elements of free groups”, Russian Math. Surveys, 49:1 (1994), 184–185 | DOI | MR | Zbl

[6] Roman'kov V. A., “Criteria for the primitivity of a system of elements of a free metabelian group”, Ukrainian Mathematical Journal, 43:7 (1991), 930–935 | MR | Zbl

[7] Roman'kov V. A., “Primitive elements of free groups of rank 3”, Mathematics of the USSR — Sbornik, 73:2 (1992), 445–454 | DOI | MR | Zbl

[8] Timoshenko E. I., “Algorithmic solvability of the problem of inclusion in a basis of a free metabelian group”, Math. Notes, 51:3 (1992), 304–307 | DOI | MR | Zbl

[9] Suslin A. A., “On the structure of the special linear group over polynomial rings”, Math. USSR-Izv., 11:2 (1977), 221–238 | DOI | MR | Zbl

[10] Cohn P. M., “On the structure of the GL$_2$ of a ring”, Publications Mathématiques DE L'I.H.É.S., 30 (1966), 365–413 | MR | Zbl

[11] Bachmuth S., Mochizuki H. Y., “$E_2\not= SL_2$ for most Laurent polynomial rings”, Amer. J. Math., 104:6 (1982), 1181–1189 | DOI | MR | Zbl

[12] Shpilrain V., “Fixed points of endomorphisms of a free metabelian group”, Math. Proc. Camb. Phil. Soc., 123:7 (1998), 75–83 | DOI | MR | Zbl

[13] Roman'kov V. A., “Groups of matrices of residues”, Problems Connecting Abstract and Applied Algebra, ed. V. N. Remeslennikov, Vichislitelnij Centr Sibirskogo Otdelenija Akademii Nauk SSSR, Novosibirsk, 1985, 35–52 (in Russian) | MR

[14] Roman'kov V. A., “Groups of automorphisms of free metabelian groups”, Problems Connecting Abstract and Applied Algebra, ed. V. N. Remeslennikov, Vichislitelnij Centr Sibirskogo Otdelenija Akademii Nauk SSSR, Novosibirsk, 1985, 53–80 (in Russian)

[15] Roman'kov V. A., “Automorphisms of groups”, Acta Applicandae Mathematicae: An International Survey Journal on Applying Mathematics and Mathematical Applications, 29:3 (1992), 241–280 | DOI | Zbl

[16] Roman'kov V. A., “Primitive elements and automorphisms of the free metabelian groups of rank 3”, Siberian Electronic Mathematical Reports, 17 (2020), 61–76 | Zbl