
Injectivity and flatness of semitopological modules
๋ณธ ๋ ผ๋ฌธ์ ๋ณต์กํ ์ํ์ ๊ฐ๋ ์ธ ์ฃผ์ ์ฑ(injectivity)๊ณผ ํ๋ฉด์ฑ(flatness) ์ฌ์ด์ ๊ด๊ณ๋ฅผ ํ๊ตฌํ๋ค. ์ด๋ฌํ ์ฑ์ง๋ค์ ๋์์ ๊ตฌ์กฐ, ํนํ ๋ชจ๋์์ ์ค์ํ ์ญํ ์ ํ๋๋ฐ, ์ด๋ ํจ์ ๊ณต๊ฐ์ด๋ ๋ถํฌ ๊ณต๊ฐ ๋ฑ ๋ค์ํ ์ํ์ ๊ฐ์ฒด์ ์ ์ฉ๋ ์ ์๋ค. ์ฃผ์ ์ฑ๊ณผ ํ๋ฉด์ฑ์ ๊ธฐ๋ณธ ๊ฐ๋ ์ฃผ์ ์ฑ์ ๋ชจ๋์ด ์ด๋ค ํน์ ํ ์กฐ๊ฑด ํ์์ '์ฃผ์ '๋๋ ์ฑ์ง์ ์๋ฏธํ๋ค. ์๋ฅผ ๋ค์ด, A ๋ชจ๋ E'๊ฐ ฯ(E', E)์ ๋ํ ๋ฐํ ํด๋ก์ง์ ์ด๋ผ๋ฉด, k ๋ฒกํฐ ๊ณต๊ฐ E๋ A์ ๋ํ ์ฐ์ธก ๋ชจ๋์ด ๋๋ค. ์ด ๊ฒฝ์ฐ, ์ฃผ์ ์ฑ์ ๋ชจ๋ ์ฌ์ด์ ๋งคํ์ด ์ผ๋์ผ(one to