The orthogonal group over a local ring is \(4\)-reflectional (Q1326548)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The orthogonal group over a local ring is \(4\)-reflectional |
scientific article |
Statements
The orthogonal group over a local ring is \(4\)-reflectional (English)
0 references
21 November 1994
0 references
Let \(R\) be a commutative local ring such that 2 is a unit in \(R\). The author shows that every element in the orthogonal group of a free \(R\)- module of finite rank is a product of two involutions in that group. For a cyclic isometry the involutions are constructed directly. This, combined with the bireflectionality of an orthogonal group for a vector space, produces the desired result.
0 references
product of involutions
0 references
commutative local ring
0 references
orthogonal group
0 references
free \(R\)-module of finite rank
0 references
cyclic isometry
0 references
bireflectionality
0 references
