代数的K理論
A を可換環とすると、射影加群のテンソル積は再び射影的であり、従って、 K0(A) はテンソル積を積とすることにより単位元としてクラス [A] を持つ可換環となる。外積は同様に λ-環(英語版)(λ-ring)の構造を引き起こす。 A のピカール群は単数群 K0(A) の部分群として埋め込まれる。