Structure of the orthogonal group \(O_{n}(V)\) over \(L\)-rings
type: Item
instance of: scholarly article
title: Structure of the orthogonal group \(O_{n}(V)\) over \(L\)-rings
zbMATH Open document ID: 1061.11017
author: Hiroyuki Ishibashi
published in: Linear Algebra and its Applications
publication date: 2004-11-18T00:00:00Z
review text: The author studies the orthogonal groups of diagonalizable quadratic modules over families of commutative rings with unity. Such a ring \(R\) is defined to be an \(L\)-ring if an equation \(c_1^2+\ldots + c_m^2=1\) holds for \(c_1,\ldots,c_m \in R\) only when \(c_j=\pm 1\) for some index \(j\) and \(c_i=0\) for all \(i\neq j\). In particular, the ring \(\mathbb Z\) of rational integers and the polynomial ring \(\mathbb Z[x_1,\ldots,x_k]\) in \(k\) indeterminates over \(\mathbb Z\) are easily seen to be \(L\)-rings. On the other hand, it is shown, for example, that \(\{\mathbb Z[\root{2r}\of 3]:r\in \mathbb N\}\) is an infinite family of commutative rings that are not \(L\)-rings. Let \(V\) be a quadratic module of rank \(n\) with an orthonormal basis over an \(L\)-ring \(R\) which is also an integral domain. It is proved that the orthogonal group \(O_n(V)\) is a semidirect product of the symmetric group \(S_n\) and the normal subgroup of \(O_n(V)\) consisting of diagonal matrices with entries \(\pm 1\). From this it follows that \(| O_n(V)| =2^nn!\) and that any element of \(O_n(V)\) can be expressed as a product of at most three involutions. Moreover, \(O_n(V)\) is shown to be generated by a pair of elements of orders \(2\) and \(2n\), respectively, and also by a set of three involutions. Analogous results are obtained for quadratic modules which admit an orthogonal (not necessarily orthonormal) basis over a more restricted class of rings (those integral domains which admit an ordering in which \(1\) is the smallest positive element). In this case, the symmetric group \(S_n\) appearing in the semidirect product is replaced by a direct product of symmetric groups of appropriate orders.
reviewed by: Andrew G. Earnest
Mathematics Subject Classification ID: 11E57
Mathematics Subject Classification ID: 15B36
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20G30
Mathematics Subject Classification ID: 20H25
zbMATH DE Number: 2116543
zbMATH Keywords: classical groups
zbMATH Keywords: orthogonal groups
zbMATH Keywords: few-element generation
zbMATH Keywords: involutions
zbMATH Keywords: linear groups over integers
MaRDI profile type: MaRDI publication profile
full work available at URL: j.laa.2004.05.004
OpenAlex ID: W2007296842
cites work: Q3973544
cites work: Q3993275
cites work: Two-element generation of orthogonal groups over finite fields
cites work: Q3997794
cites work: Generators for Simple Groups
cites work: On the generation of finite simple groups by pairs of subgroups
DOI: 10.1016/J.LAA.2004.05.004
description: scientific article; zbMATH DE number 2116543