環としての K0
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/02/14 09:27 UTC 版)
A を可換環とすると、射影加群のテンソル積は再び射影的であり、従って、 K0(A) はテンソル積を積とすることにより単位元としてクラス [A] を持つ可換環となる。外積は同様に λ-環(英語版)(λ-ring)の構造を引き起こす。 A のピカール群は単数群 K0(A)∗ の部分群として埋め込まれる。
※この「環としての K0」の解説は、「代数的K理論」の解説の一部です。
「環としての K0」を含む「代数的K理論」の記事については、「代数的K理論」の概要を参照ください。
- 環としての K0のページへのリンク