
A Note on the Grothendieck Group of an Additive Category
๋งค๋ ฅ์ ์ธ ํ๊ธ ์ ๋ชฉ: ๊ฐ์ฐ ๋ฒ์ฃผ์ ๊ทธ๋กํ ๋ํฌ ๊ทธ๋ฃน์ ๋ํ์ฑ ์ด๋ก ์ ์ฒด ๋ฒ์ญ ๋ฐ ์ ๋ฆฌ: ๋ณธ ๋ ผ๋ฌธ์ ๊ฐ์ฐ ๋ฒ์ฃผ์ ์คํ๋ฆฟ ๊ทธ๋กํ ๋ํฌ ๊ทธ๋ฃน๊ณผ ํด๋น ๋ฒ์ฃผ์ ์ ํ ๋ณต์ก์ฒด์ ํธ๋ชจํ ํผ ๋ฒ์ฃผ์์์ ์ผ๊ฐํ๋ ๊ทธ๋กํ ๋ํฌ ๊ทธ๋ฃน์ด ๋ํ์ธ์ง์ ๋ํ ์ง๋ฌธ์ ๋ค๋ฃฌ๋ค. ํนํ, ๊ฐ์ฐ ๋ฒ์ฃผ A์ ๊ทธ์ ์ ํ ๋ณต์ก์ฒด์ ํธ๋ชจํ ํผ ๋ฒ์ฃผ Kb(A)๋ฅผ ๊ณ ๋ คํ ๋, A์ ์คํ๋ฆฟ ๊ทธ๋กํ ๋ํฌ ๊ทธ๋ฃน Kโ(A)๊ฐ Kb(A)์ ์ผ๊ฐํ๋ ๊ทธ๋กํ ๋ํฌ ๊ทธ๋ฃน Kโณ(Kb(A))์ ๋ํ์ธ ๊ฒ์ ์ฆ๋ช ํ๋ค. ์ด๋ ํธ๋ชจํ ํผ ๋ฒ์ฃผ์์์ ์์ธ๋ฌ ํน์ฑ์ด ์๋ ๊ตฌ์กฐ๋ฅผ ๋ณต์ํ๋ ๋ฐ ์ค์ํ ์ญํ ์ ํ๋ค๋ ์ ์์
