食パンの耳「作用素環論入門」

黒ごまのかき氷 @hymathlogic

Zの部分集合としてなのでこの表記も仕方ないですが

V-alg-d（ZZ） @alg_d

例( M_{2^∞}: CAR-alg.) K_0^+(M_{2^k}) = Z_{≧0}　 K_0^+(M_{2^k}) = Z Γ(M_{2^k}) = [ O, I ]　Iは2^k次単位行列

V-alg-d（ZZ） @alg_d

I = 2^k と書いて (K_0(M_{2^k}), K_0^+(M_{2^k}), Γ(M_{2^k})) ≅ (Z, Z_{≧0}, [0, 2^k]) ≅ (2^{-k}Z, 2^{-k}Z_{≧0}, [0, 1])

V-alg-d（ZZ） @alg_d

∴ K_0(M_{2^∞}) = lim K_0(M_{2^k}) = Z[1/2]

まれいん @Maleic1618

ドゥーd=(^o^)=b #kansaimath #kansaimathfront

V-alg-d（ZZ） @alg_d

@Maleic1618 院死おつかれさまです ! ! !

関西すうがく徒のつどい @kansaimath

@alg_d @Maleic1618 ドゥーd=(^o^)=bドゥーd=(^o^)=bドゥーd=(^o^)=b

V-alg-d（ZZ） @alg_d

パン耳「(定義を書いた直後)あっこれこの後使わないですすみません」

やさぐれささくれパイセン先輩 @ysgr_sasakure

@alg_d かわいい！

V-alg-d（ZZ） @alg_d

パン耳先輩がRiesz群なるものを定義した http://t.co/IPjDE5wude

V-alg-d（ZZ） @alg_d

【命題】 A: AF-alg (K_0(A), K_0^+(A)): Riesz群

V-alg-d（ZZ） @alg_d

パン耳「対応するAF環はありますか? ありますっ」(かわいい感じで)

やさぐれささくれパイセン先輩 @ysgr_sasakure

@alg_d うおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおお

V-alg-d（ZZ） @alg_d

【定理】 G: 可算 (G, G^+): dimension group Γ(G): scale ⇒∃!A: AF-alg， (K_0(A), K_0^+(A), Γ(A)) ≅ (G, G^+, Γ(G))

V-alg-d（ZZ） @alg_d

パン耳「つまり、なんかむっちゃ分かるわけですね ! ! !」(テンション↑↑)

やさぐれささくれパイセン先輩 @ysgr_sasakure

@alg_d 超かわいい

やさぐれささくれパイセン先輩 @ysgr_sasakure

@alg_d 元気を出すんだパン耳先輩！と、ささくれが仙台から励ましておりますという旨をタイミングが合えば伝えてください

V-alg-d（ZZ） @alg_d

@ysgr_sasakure 今伝えました

やさぐれささくれパイセン先輩 @ysgr_sasakure

@alg_d ありがとうございます

食パンの耳 @bread_crust

家に帰ったら机の上に発表原稿が置かれていたから「ただいま」って言っておいた