×

Commutators and companion matrices over rings of stable rank 1. (English) Zbl 0713.15003

Let A be a ring of stable rank 1, i.e. if a,b\(\in A\) and \(Aa+Ab=A\), then there is some \(c\in A\) such that \(A(a+cb)=A\). As the main result the authors show that every matrix in \(SL_ n(A)\) is a product of two commutators, provided \(n\geq 3\) and A is commutative. The paper also contains a historical survey on commutators.
In preparation the authors show that any matrix in \(GL_ n(A)\) is similar to a product of a lower and an upper triangular matrix and also to a product of two matrices, each similar to a companion matrix.
Reviewer: E.Ellers

MSC:

15A23 Factorization of matrices
15B33 Matrices over special rings (quaternions, finite fields, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bass, H., \(K\)-theory and stable algebra, Publ. Math. IHES, 22, 5-60 (1964) · Zbl 0248.18025
[2] Bourbaki, N., Elements de Mathematique, (Livre 2. Algèbre (1947), Hermann: Hermann Paris) · Zbl 0165.56403
[3] Brenner, J. L., Covering theorems for FINASIGS X. The group PSL(n,q) has a class \(C\) such that \(CC = G\), Ars Combin., 16, 57-67 (1983) · Zbl 0568.20021
[4] Brown, A.; Pearcy, C., Multiplicative commutators of operators, Canad. J. Math., 18, 737-749 (1966) · Zbl 0191.41904
[5] Carter, D. W.; Keller, G., Bounded elementary generation of \(SL_n(0)\), Amer. J. Math., 105, 673-687 (1983) · Zbl 0525.20029
[6] Cohn, P. M., Determinants on free fields, Contemp. Math., 13, 99-108 (1982) · Zbl 0505.16001
[7] Dennis, R. K.; Vaserstein, L. N., On a question of M. Newman on the number of commutators, J. Algebra, 118, 150-161 (1988) · Zbl 0649.20048
[8] Dennis, R. K.; Vaserstein, L. N., Commutators in linear groups, K-Theory, 2, 761-767 (1989) · Zbl 0676.20024
[10] Djoković, D. Ẑ., On commutators in real semisimple Lie groups, Osaka J. Math., 23, 223-238 (1986)
[11] Djoković, D. Ẑ., Pairs of involutions in the general linear group, J. Algebra, 100, 214-223 (1986) · Zbl 0593.20009
[12] Djoković, D. Ẑ.; Malzan, J., Products of reflections in the general linear group over a division ring, Linear Algebra Appl., 28, 53-62 (1979) · Zbl 0419.20037
[13] Draxl, P., Eine Liftung der Dieudonné-Determinante und Anwendungen die multiplikative Gruppe eines Schiefkörpers betreffend, (Lecture Notes in Math., 778 (1980), Springer), 101-116
[14] Ellers, E. W., Product of axial affinities and products of central collineations, (The Geometric Vein (1982), Springer: Springer New York), 465-470
[15] Ellers, E. W.; Ishibashi, H., Factorization of transformations over a local ring, Linear Algebra Appl., 85, 17-27 (1987) · Zbl 0609.15008
[16] Ellers, E. W.; Lausch, H., Length theorems for the general linear group of a module over a local ring, J. Austral. Math. Soc. Ser. A, 46, 122-131 (1989) · Zbl 0702.20031
[17] Epstein, D. B.A., Commutators of \(C^∞\)-diffeomorphisms, appendix to “A curious remark concerning the geometric transfer map”, Comment. Math. Helv., 59, 111-122 (1984), by John N. Mather · Zbl 0535.58007
[18] Fan, K., Some remarks on commutators of matrices, Arch. Math. (Basel), 5, 102-108 (1954) · Zbl 0055.24602
[19] Fong, C. K.; Sourour, A. R., The group generated by unipotent operators, Proc. Amer. Math. Soc., 97, 3, 453-458 (1986) · Zbl 0599.47062
[20] Goldstein, R. Z.; Turner, E. G., A note on commutators and squares in free products, Contemp. Math., 44, 69-72 (1985)
[21] Goodearl, K. R.; Menal, P., Stable range one for rings with many units, J. Pure Appl. Algebra, 54, 261-287 (1988) · Zbl 0653.16013
[22] Gordon, B.; Guralnick, R. M.; Miller, M. D., On cyclic commutator subgroups, Aequationes Math., 17, 241-248 (1978) · Zbl 0392.20022
[23] Gotô, M., A theorem on compact semi-simple groups, J. Math. Soc. Japan, 1, 3, 270-272 (1949) · Zbl 0041.36208
[24] Griffiths, H. B., A note on commutators in free products I, II,, Proc. Cambridge Philos. Soc., 51, 245-251 (1955) · Zbl 0068.25401
[25] Grunenfelder, L.; Paré, R.; Radjavi, H., On a commutator theorem of Robert C. Thompson, Linear and Multilinear Algebra, 16, 129-131 (1984) · Zbl 0548.15010
[26] Guralnick, R. M., On groups with decomposable commutator subgroups, Glasgow Math. J., 19, 159-162 (1978) · Zbl 0377.20033
[27] Guralnick, R. M., On cyclic commutator subgroups, Aequationes Math., 21, 33-38 (1980)
[28] Guralnick, R. M., Commutators and commutator subgroups, Adv. Math., 45, 319-330 (1982) · Zbl 0505.20022
[29] de la Harpe, P.; Skandalis, G., Produits finis de commutateurs dans les \(C^{ast;}\)-algèbres, Ann. Inst. Fourier (Grenoble), 34, 4, 169-202 (1984) · Zbl 0536.46044
[30] de la Harpe, P.; Skandalis, G., Sur la simplicité essentiele du groupe unitaire dans une \(C^{ast;}\)-algébre simple, J. Funct. Anal., 62, 3, 354-378 (1985) · Zbl 0573.46033
[31] Honda, K., On commutators in finite groups, Comment. Math. Univ. St. Paul., 2, 9-12 (1953) · Zbl 0052.02204
[32] Hsü, C.-H., Commutators in the symplectic groups, Shuxue Jinzhan, 7, 443-448 (1964)
[33] Hsü, C.-H.; Tseng, K.-C., On the commutators of 2 classes of finite simple groups, Shuxue Jinzhan, 8, 202-208 (1965)
[34] Hsü, C.-H., The commutators of the alternating group, Sci. Sinica, 14, 339-342 (1965) · Zbl 0152.00402
[35] Isaacs, I. M., Commutators and the commutator subgroup, Amer. Math. Monthly, 84, 720-722 (1977) · Zbl 0378.20029
[36] Ito, N., A theorem on the alternating group \(A_n (n\)⩾ 5), Math. Japon, 2, 59-60 (1951) · Zbl 0044.01501
[37] Jacobson, N., Basic Algebra I (1974), Freeman: Freeman San Francisco · Zbl 0284.16001
[38] Kursov, V. V., The commutator subgroup of the general linear group over division ring, Dokl. Akad. Nauk BSSR, 23, 10, 869-871 (1979) · Zbl 0415.20028
[39] Kursov, V. V., Commutators of the multiplicative group of a finite dimensional central division algebra, Dokl. Akad. Nauk BSSR, 26, 2, 101-103 (1982) · Zbl 0498.16017
[40] Liebeck, H., A test for commutators, Glasgow Math. J., 17, 31-36 (1976) · Zbl 0334.20016
[41] Macdonald, I. D., On cyclic commutator subgroups, J. London Math. Soc., 38, 419-422 (1963) · Zbl 0118.03303
[42] Mather, J. N., Commutators of diffeomorphisms, III: A group which is not perfect, Comment. Math. Helv., 60, 122-124 (1985) · Zbl 0575.58011
[43] Mather, J. N., A curious remark concerning the geometric transfer map, Comment. Math. Helv., 59, 86-110 (1984) · Zbl 0535.58006
[44] McDuff, D., On group of volume-preserving diffeomorphisms of \(R^n\), Trans. Amer. Math. Soc., 261, 1, 103-113 (1980) · Zbl 0447.58012
[45] Newman, M., Unimodular commutators, Proc. Amer. Math. Soc., 101, 4, 605-609 (1987) · Zbl 0633.15007
[46] Ore, O., Some remarks on commutators, Proc. Amer. Math. Soc., 2, 307-314 (1951) · Zbl 0043.02402
[47] Pasienger, S.; Wang, H.-C., Commutators in a semi-simple Lie groups, Proc. Amer. Math. Soc., 13, 907-913 (1962) · Zbl 0112.02506
[49] Qin, J.-M., On commutators in orthogonal groups, Acta Math. Sinica, 15, 708-719 (1965)
[50] Ree, R., Commutators in semi-simple algebraic groups, Proc. Amer. Math. Soc., 15, 457-460 (1984) · Zbl 0127.25605
[51] Rehmann, U., Kommutatoren in \(GL_n(D)\), (Lecture Notes in Math., 778 (1980), Springer), 117-123
[52] Rodney, D. M., On cyclic derived subgroups, J. London Math. Soc., 8, 2, 642-646 (1974) · Zbl 0291.20054
[53] Rodney, D. M., Commutators and Conjugacy Classes in Groups, (Ph.D. Thesis (1974), Univ. of Keele) · Zbl 0372.20028
[54] Shoda, K., Einige Satze über Matrizen, Japan J. Math., 13, 361-365 (1936) · JFM 63.0842.03
[55] Shoda, K., Über den Kommutator der Matrizen, J. Math. Soc. Japan, 3, 78-81 (1951) · Zbl 0045.15402
[56] Sourour, A. R., A factorization theorem for matrices, Linear and Multilinear Algebra, 19, 2, 141-147 (1986) · Zbl 0591.15008
[57] Taussky, O., How I became a torchbearer for matrix theory, Amer. Math. Monthly, 95, 801-812 (1988) · Zbl 0671.01024
[58] Taussky, O., Generalized commutators of matrices and permutations of factors in a product of 3 matrices, (Studies in Mathematics and Mechanics Presented to Richard von Mises (1954), Academic: Academic New York), 67-68
[59] Thompson, R. C., Commutators in the special and general linear groups, Trans. Amer. Math. Soc., 101, 1, 16-33 (1961) · Zbl 0109.26002
[60] Thompson, R. C., On matrix commutators, Portugal. Math., 21, 143-153 (1962) · Zbl 0107.02502
[61] Thompson, R. C., Commutators of matrices with coefficients from the field of two elements, Duke Math. J., 29, 367-373 (1962) · Zbl 0108.01201
[62] Thompson, R. C., Commutators of matrices with prescribed determinant, Canad. J. Math., 20, 203-221 (1968) · Zbl 0155.06602
[63] Thurston, W.; Vaserstein, L. N., On \(K_1\)-theory of the Euclidean space, Topology Appl., 23, 2, 145-148 (1986) · Zbl 0611.18007
[64] Tôyama, H., On commutators of matrices, Kōdai Math. Sem. Rep., 5-6, 1-2 (1949)
[65] Ts’eng, K.-C.; Li, C. S., On the commutators of the simple Mathieu groups, J. China Univ. Sci. Tech., 1, 1, 43-48 (1965)
[66] Vaserstein, L. N., \(K_1\)-theory and the congruence subgroup problem, Math. Notes, 5, 141-148 (1969) · Zbl 0195.32202
[67] Vaserstein, L. N., The stable range of rings and the dimension of topological spaces, Functional Anal. Appl., 5, 102-110 (1971) · Zbl 0239.16028
[68] Vaserstein, L. N., Bass’s first stable range condition, J. Pure Appl. Algebra, 34, 2-3, 319-330 (1984) · Zbl 0547.16017
[69] Vaserstein, L. N., On \(K_1\)-theory of topological spaces, Contemp. Math., 55, 729-740 (1986)
[70] Vaserstein, L. N., Reduction of a matrix depending on parameters to a diagonal form by addition operations, Proc. Amer. Math. Soc., 103, 3, 741-746 (1988) · Zbl 0657.55005
[71] Vaserstein, L. N.; Wheland, E., Factorization of invertible matrices over rings of stable rank one, Journal Australian Math. Soc., A48, 455-460 (1990) · Zbl 0705.15004
[72] Villari, G., Sui commutatori del gruppo modulare, Boll. Un. Mat. Ital., 13, 196-201 (1958) · Zbl 0083.25301
[73] Wilkinson, J. H., Convergence of the LR,QR, and related algorithms, Comput. J., 8, 77-84 (1965) · Zbl 0135.37602
[74] Wood, J. W., Bundles with totally disconnected structure group, Comment. Math. Helv., 46, 257-273 (1971) · Zbl 0217.49202
[75] Wu, P. Y., The operator factorization problems, Linear Algebra Appl., 117, 35-63 (1989) · Zbl 0673.47018
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.