\(GL^{\pm{}}_ n(R)\) is 5-reflectional (Q1187131): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Frieder Knüppel / rank
Normal rank
 
Property / author
 
Property / author: Frieder Knüppel / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Products of involutions / rank
 
Normal rank
Property / cites work
 
Property / cites work: SL(V) is 4-reflectional / rank
 
Normal rank
Property / cites work
 
Property / cites work: A factorization theorem for matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Commutators and companion matrices over rings of stable rank 1 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 16:27, 15 May 2024

scientific article
Language Label Description Also known as
English
\(GL^{\pm{}}_ n(R)\) is 5-reflectional
scientific article

    Statements

    \(GL^{\pm{}}_ n(R)\) is 5-reflectional (English)
    0 references
    28 June 1992
    0 references
    Let \(R\) be a commutative ring with one in its stable range. The author shows that any square matrix \(\pi\) of determinant \(\pm 1\) over \(R\) is a product of five involutions (he knows of no example where more than four are needed). Indeed, let \(R\) be a local ring whose residue field has at least \(n+2\) elements. Then four involutions suffice when \(\pi\) is not scalar modulo the maximal ideal. Any such \(\pi\) of determinant one is a commutator in \(Sl(n,R)\). The proof involves a version of the factorization theorem of \textit{A. R. Sourour} [Linear Multilinear Algebra 19, 141-147 (1986; Zbl 0591.15008)] that is interesting in its own right.
    0 references
    general linear group
    0 references
    stable range
    0 references
    product of five involutions
    0 references
    local ring
    0 references
    commutator
    0 references
    factorization theorem
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references