Codimension 2
From Mathematics
(→Elementary algebraic K-Theory: K_2) |
(→Elementary algebraic K-Theory: K_2) |
||
Line 129: | Line 129: | ||
* Mention that and how <math>K_2(R)</math> is a module over <math>K_0(R)</math>. | * Mention that and how <math>K_2(R)</math> is a module over <math>K_0(R)</math>. | ||
* Introduce the symbol <math>\{a, b\} \in K_2(R)</math> for element <math>a, b \in R</math> of a commutative ring <math>R</math>. | * Introduce the symbol <math>\{a, b\} \in K_2(R)</math> for element <math>a, b \in R</math> of a commutative ring <math>R</math>. | ||
+ | * Theorem 8.8<ref name="Mil71"/> interprets the symbol as bilinar skew-symmetric map | ||
+ | |||
+ | <math>K_1(R) \times K_1(R) \rightarrow K_2(R)</math> | ||
+ | |||
* Introduction of Milnor K-groups <math>K_n^M</math> and proof of the statement | * Introduction of Milnor K-groups <math>K_n^M</math> and proof of the statement | ||