On Karoubi's theorem: \(W(A)=W(A[t])\) (Q801028): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Localisation de formes quadratiques. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic \(K\)-theory / rank | |||
Normal rank |
Latest revision as of 16:06, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Karoubi's theorem: \(W(A)=W(A[t])\) |
scientific article |
Statements
On Karoubi's theorem: \(W(A)=W(A[t])\) (English)
0 references
1984
0 references
Let A be an associative ring with involution in which 2 is invertible and fix \(\epsilon =\pm 1\). An \(\epsilon\)-Hermitian space (M,q) over A consists of a finitely generated projective right A-module and an A- linear isomorphism \(q: M\to^{\simeq}M^*=Hom_ A(M,A)\) such that \(q=\epsilon q^*\), where \(M^*\) is viewed as a right A-module via the involution of A. The Witt group \(W_{\epsilon}(A)\) is the quotient of the free abelian group on the set of (suitably defined) isometry classes of \(\epsilon\)-Hermitian spaces by the subgroup generated by the hyperbolic spaces. In this paper, the author gives a short and simple proof of Karoubi's theorem: the inclusion of A into the polynomial ring A[t] induces an isomorphism \(W_{\epsilon}(A)\to W_{\epsilon}(A[t])\).
0 references
algebraic K-theory
0 references
Hermitian K-theory
0 references
ring with involution
0 references
Witt group
0 references
isometry classes of \(\epsilon \) -Hermitian spaces
0 references
hyperbolic spaces
0 references