Lately, the following problem attracted a lot of attention in various contexts: find the shortest factorization G = UU - UU - …U ± of a Chevalley group G = G(Φ, R) in terms of the unipotent radical U = U(Φ, R) of the standard Borel subgroup B = B(Φ, R) and the unipotent radical U - = U -(Φ, R) of the opposite Borel subgroup B - = B -(Φ, R). So far, the record over a finite field was established in a 2010 paper by Babai, Nikolov, and Pyber, where they prove that a group of Lie type admits the unitriangular factorization G = UU - UU - U of length 5. Their proof invokes deep analytic and combinatorial tools. In the present paper, we notice that from the work of Bass and Tavgen one immediately gets a much more general results, asserting that over any ring of stable rank 1 one has the unitriangular factorization G = UU - UU - of length 4. Moreover, we give a detailed survey of traingular factorizations, prove some related results, discuss prospects of generalization to other classes of rings, and state several unsolved problems. Another main result of the present paper asserts that, in the assumption of the Generalized Riemann’s Hypothesis, Chevalley groups over the ring \( \mathbb{Z}\left[ {\frac{1}{p}} \right] \) admit the unitriangular factorization G = UU - UU - UU - of length 6. Otherwise, the best length estimate for Hasse domains with infinte multiplicative groups that follows from the work of Cooke and Weinberger, gives 9 factors. Bibliography: 67 titles.
Similar content being viewed by others
References
H. Bass, J. Milnor, and J.-P. Serre, “Solution of the congruence subgroup problem for SL n (n ≥ 3) and Sp2n (n ≥ 3), ” Publ. Math. Inst. Hautes Etudes Sci., 33, 59-137 (1967).
N. A. Vavilov, “Parabolic subgroups of Chevalley groups over a commutative ring,” J. Soviet Math., 116, 1848-1860 (1984).
N. A. Vavilov and S. S. Sinchuk, “Dennis-Vaserstein type decomposition, ” Zap. Nauchn. Semin. POMI, 375, 48-60 (2010).
N. A. Vavilov and S. S. Sinchuk, “Parabolic factorizations of the split classical groups,” Algebra Analiz, 23, 48-60 (2011).
A. Yu. Luzgarev and A. K. Stavrova, “Elementary subgroup of an isotropic reductive group is perfect,” Algebra Analiz, 23 (2011) (to appear).
V. A. Petrov and A. K. Stavrova, "Elementary subgroups of isotropic reductive groups," St.Petersburg Math. J., 20, No. 3, 160-188 (2008).
J.-P. Serre, "Le problème des groupes de congruence pour SL2,” Ann. Math., 92, 489-527 (1970).
R. Steinberg, Lectures on Chevalley Groups, Yale University (1967).
O. I. Tavgen, “Finite width of arithmetic subgroups of Chevalley groups of rank ≥ 2,” Soviet Math. Dokl., 41, No. 1, 136-140 (1990).
O. I. Tavgen, “Bounded generation of Chevalley groups over rings of S-integer algebraic numbers,” Izu. Akad. Nauk USSR, 54, No. 1, 97-122 (1990).
E. Abe, “Chevalley groups over local rings,” Tôhoku Math. J., 21. No. 3, 474-494 (1969).
E. Abe and K. Suzuki, “On normal subgroups of Chevalley groups over commutative rings,” Tôhoku Math. J., 28, No. 1,185-198 (1976).
L. Babai, N. Nikolov, and L. Pyber, “Product growth and mixing in finite groups,” in: The 19th Annual ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM (2008), pp. 248-257.
H. Bass, “K-theory and stable algebra,” Publ. Math. Inst. Hautes Études Sci., No. 22, 5-60 (1964).
D. Carter and G. Keller, “Bounded elementary generation of SL n (\( \mathcal{O} \)),” Amer. J. Math., 105, 673-687 (1983).
D. Carter and G. Keller, “Elementary expressions for unimodular matrices,” Commun. Algebra, 12, 379-389 (1984).
D. Carter, G. E. Keller, and E. Paige, “Bounded expressions in SL(2, \( \mathcal{O} \)),” Preprint Univ. Virginia (1983).
R. VV. Carter, Simple Groups of Lie Type, Wiley, London et al. (1972).
Chen Baoquan and A. Kaufman, “3D volume rotation using shear transformations.” Graph. Models, 62, 308-322 (2000).
Chen Huanyin and Chen Miaosen, “On products of three triangular matrices over associative rings,” Linear Algebra Appl., 387, 297-311 (2004).
V. Chernousov, E. Ellers, and N. Gordeev, “Gauss decomposition with prescribed semisimple part: short proof,” J. Algebra, 229, 314-332 (2000).
P. M. Cohn, “On the structure of the GL2 of a ring,” Publ. Math. Inst. Hautes Études Sci., No. 30. 5-53 (1967).
G. Cooke and P. J. Weinberger, “On the construction of division chains in algebraic number rings, with applications to SL2,” Commun. Algebra, 3, 481-524 (1975).
R. K. Dennis and L. N. Vaserstein, “On a question of M. Newman on the number of commutators,” J. Algebra, 118, 150-161 (1988).
E. Ellers and N. Gordeev, “On the conjectures of J. Thompson and O. Ore,” Trans. Amer. Math. Soc., 350, 3657-3671 (1998).
I. V. Erovenko and A. S. Rapinchuk, “Bounded generation of some S-arithmetic orthogonal groups,” C. R. Acad. Sci., 333, No. 5, 395-398 (2001).
F. J. Grunewald, J. Mennicke, and L. N. Vaserstein, “On the groups SL2(\( \mathbb{Z} \)[x]) and SL2(K[x, y]),” Israel J. Math., 86, Nos. 1-3, 157-193 (1994).
R. M. Guralnick and G. Malle, “Products of conjugacy classes and fixed point spaces," arXiv: 1005 . 3756.
Hao Pengwei, “Customizable triangular factorizations of matrices,” Linear Algebra Appl., 382, 135-154 (2004).
W. van der Kallen, “SL3(\( \mathbb{C} \)[x]) does not have bounded word length,” Lect. Notes Math., 966, 357-361 (1982).
T. J. Laffey, “Expressing unipotent matrices over rings as products of involutions,” Preprint Univ. Dublin (2010).
T. J. Laffey, Lectures on Integer Matrices, Beijing (2010).
Lei Yang, Hao Pengwei, and Wu Dapeng, “Stabilization and optimization of PLUS factorization and its application to image coding,” J. Visual Comm. Image Repr., 22, No. 1 (2011).
M. Larsen and A. Shalev, “Word maps and Waring type problems,” J. Amer. Math. Soc., 22, 437-466 (2009).
H. W. Lenstra (jr.), P. Moree, and P. Stevenhagen, “Character sums for primitive root densities” (2011) (to appear).
M. Liebeck and A. Shalev, “Classical groups, probabilistic methods, and the (2, 3)-generation problem,” Ann. Math., 144, No. 1, 77-125 (1996).
M. Liebeck and A. Shalev, “Diameters of finite simple groups: sharp bounds and applications,” Ann. Math., 154, 383-406 (2001).
M. Liebeek, N. Nikolov, and A. Shalev, “Groups of Lie type as products of SL2 subgroups,” J. Algebra, 326, 201-207 (2011).
M. Liebeck, E. A. O’Brien, A. Shalev, and Pham Huu Tiep, “The Ore conjecture,” J. Europ. Math. Soc., 12, 939-1008 (2010).
M. Liebeck, E. A. O’Brien, A. Shalev, and Pham Huu Tiep, “Products of squares in finite simple groups,” Proc. Amer. Math. Soc. (2011).
M. Liebeck and L. Pyber, “Finite linear groups and bounded generation,” Duke Math. J., 107, 159-171 (2001).
B. Liehl, “Beschränkte Wortlänge in SL2.” Math. Z., 186, 509-524 (1984).
H. Matsumoto, “Sur les sous-groupes arithmétiques des groupes semi-simples déployés,” Ann. Sci. École Norm. Sup. (4), 2, 1-62 (1969).
P. Moree, “On primes in arithmetic progression having a prescribed primitive root,” J. Number Theory, 78, 85-98 (1999).
P. Moree, “On primes in arithmetic progression having a prescribed primitive root. II,” Funet. Approx. Comment. Math., 39, 133-144 (2008).
D. W. Morris, “Bounded generation of SL(n,A) (after D. Carter, G. Keller, and E. Paige),” New York J. Math., 13, 383-421 (2007).
K. R. Nagarajan, M. P. Devaasahayam, and T. Soundararajan, "Products of three triangular matrices over commutative rings,” Linear Algebra Appl., 348, 1-6 (2002).
N. Nikolov, “A product decomposition for the classical quasisimple groups,” J. Group Theory, 10, 43-53 (2007).
N. Nikolov and L. Pyber, “Product decomposition of quasirandom groups and a Jordan type theorein,” arX:i.v:math/0703343 (2007).
A. Paeth, “A fast algorithm for general raster rotation,” in: Graphics Gems, Acad. Press (1990), pp. 179-195.
A. S. Rapinchuk and I. A. Rapinchuk, “Centrality of the congruence kernel for elementary subgroups of Chevalley groups of rank > 1 over Noetherian rings,” 1-12 (2010); arXiv:1007.2261v1 [math.GR].
A. Shalev, “Cornrnutators, words, conjugaey classes, and character methods,” Turk. J. Math., 31, 131-148 (2007).
A. Shalev, “Word maps, conjugacy classes, and a noncommutative Waring-type theorem,” Ann. Math., 170, No. 3, 1383-1416 (2009).
R. W. Sharpe, “On the structure of the Steinberg group St(Λ),” J. Algebra, 68, 453-467 (1981).
She Yiyuan and Hao Pengwei, “On the necessity and sufficiency of PLUS factorizations,” Linear Algebra Applic., 400, 193-202 (2005).
S. Sinchuk and N. Vavilov, “Parabolic factorizations of exceptional Chevalley groups” (to appear).
A. Sivatski and A. Stepanov, “On the word length of commutators in GL n (R),” K-theory, 17 (1999).
M. R. Stein, “Surjective stability in dimension 0 f`or K2 and related functors,” Trans. Amer. Math. Soc., 178,176-191 (1973).
A. Stepanov and N. Vavilov, “On the length of commutators in Chevalley groups,” Israel Math. J., ??, 1-20 (2011).
G. Strang, “Every unit matrix is a LULU,” Linear Algebra Applic., 265, 165-172 (1997).
O. I. Tavgen, “Bounded generation of norrnal and twisted Chevalley groups over the rings of S-integers,” Contemp. Math., 131, No. 1, 409-421 (1992).
T. Toffoli, “Almost every unit matrix is a ULU,” Linear Algebra Applic., 259, 31-38 (1997).
T. Toffoli and J. Quick, “Three dimensional rotations by three shears,” Graphic. M orlels Image Process., 59, 89-96 (1997).
L. N. Vaserstein, “Bass’ first stable range eondition,” J. Pure Appl. Algebra, 34, Nos. 2-3, 319-330 (1984).
L. N. Vaserstein and E. Wheland, “Commutators and companion matrices over rings of stable rank 1,” Linear Algebra Appl., 142, 263-277 (1990).
N. Vavilov, “Structure of Chevalley groups over commutative rings.” in: The Proceedings of the Conference on Nonassociative Algebras and Related Topics (Hiroshima-1990), World Sci. Publ., London et al. (1991), pp. 219-335.
N. Vavilov and E. Plotkin, “Chevalley groups over commutative rings. I. Elementary calculations,” Acta Appl. Math., 45, 73-115 (1996).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 388, 2011, pp. 17-47.
Rights and permissions
About this article
Cite this article
Vavilov, N.A., Smolensky, A.V. & Sury, B. Unitriangular factorizations of chevalley groups. J Math Sci 183, 584–599 (2012). https://doi.org/10.1007/s10958-012-0826-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-012-0826-z