Defining relations of the orthogonal group over an ordered Euclidean field (Q1821200)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Defining relations of the orthogonal group over an ordered Euclidean field |
scientific article; zbMATH DE number 3998083
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Defining relations of the orthogonal group over an ordered Euclidean field |
scientific article; zbMATH DE number 3998083 |
Statements
Defining relations of the orthogonal group over an ordered Euclidean field (English)
0 references
1986
0 references
The author obtains some very explicit defining relations for the orthogonal group O(n,K) over an ordered Euclidean field K, that is an ordered field whose positive elements admit square roots. Also a canonical form for the elements of O(n,K) is described.
0 references
relations
0 references
orthogonal group
0 references
ordered Euclidean field
0 references
