Abstract algebraWhat-does-it-mean.org๋ณดํธ๋์ณดํธ์ ์ธ ๋์๋ ๋ชจ๋ ๋์ํ ๊ตฌ์กฐ๋ฌผ์ ์ผ๋ฐ ์์ด๋์ด๋ฅผ ๊ณต๋ถํ๋ ์ํ์ ์ผ์ ์ด๋ค...
๋ฐ๋์ฑ๋ถํ์์๋, ์ญ์์์ ์์ด๋์ด๋ ์ถ๊ฐ์ ๊ดํ์ฌ ๋ถ์ ์ ๊ฐ๋ ์ ๋ ๋ค, (๋ถ๊ฐ์ ์ธ ๋ฐ๋๋ฅผ ๋ณด์ญ์์ค), ๊ณฑ์ ์ ๊ดํ์ฌ ์ํธ ์ผ๋ฐํํ๊ณ . ์ง๊ด์ ๋ค๋ฅธ ์ฃผ์ด์ง ์ฑ๋ถ์ ์กฐํฉ์ ํจ๋ ฅ์ ์์ํ๋ก ๋๋ฆด ์ ์๋ ์ฑ๋ถ์ ์ด๋ค. S๋ฅผ ์ดํญ ์ฐ์ฐ์ ์ธํธ์ธ ์ํค์ญ์์ค. ๋ง์ฝ์ >e๊ฐ> ํญ๋ฑ ์์์์ด๋ฉด (>S>์ >b e> ๊ทธ ํ์ >a๋> ๋ง์ฝ์ ์ฑ๋ถ >x๊ฐ> ์ข ๋ฐ๋๊ธฐ๋ ํ๊ณ ์ด๋ฉด >y> ๊ทธ ๋ >x>์ ์ ๋นํ ๋ฐ๋๊ฐ ์๋ฉด ๋ฐ๋์ด๋ผ๊ณ .. Nearringฐ๊น๋ฐ์ง ๋๋ nearring๋ ๋จ (์ํ) ์์ natually ๋ฐ์ํ๋ 2๊ฐ์ ์ดํญ ์ฐ์ฐ์ ์ถ์์ ์ธ ๋์ ๋์ํ ๊ตฌ์กฐ๋ฌผ์ด๋ค. ์ํค๋ >(G, +)> nonabelian ์ผ์ง๋ ๋ชจ๋ฅธ๋ค, ๋จ์๊ณ M >(g) {f ์ค์ f๋ฅผ ์ํค์ญ์์ค:G o G๋> } G์์ ๋ง์ฝ์ f, >M> (g) >์ ์๋> g ๊ทธ ํ์ ์ง๋๋ก ๋ํ๋ด๋ f+g >์ถ๊ฐ๊ฐ M> (g) >์ ์ ์๋ ์ ์๋ G์> ๋ชจ๋ mappings์ >๋์๋ค:G o G๋> (f+g) >(x) (x) G์ ์๋ ๋ชจ๋ x๋ฅผ ์ํ> f (x)+g >์ ์ํด ๊ทธ..
๋ช ๋ถ ์ ๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ ๋์ํ์ กฐ์ง Boole ๋ํ:์กฐ์ง Boole ๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ ๋์ ๋ํ:๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ ๋์ ๋ถ์ธ ํจ์ ๋ํ:๋ถ์ธ ํจ์ ๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ ์ด์ฒด ๋ํ ๋ํ:๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ ์ด์ฒด ๋ํ ๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ ์ฃผ์ํ ์ด์์ ์ธ ๋ฒ์น ๋ํ:๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ ์ฃผ์ํ ์ด์์ ์ธ ๋ฒ์น ๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ satisfiability ๋ฌธ์ ๋ํ:๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ satisfiability ๋ฌธ์ ํ์คํ (๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ ๋์) ๋ํ:ํ์คํ (๋ถ์ธ ๋ ผ๋ฆฌ ์ฐ์ฐ ๋์) ์ด์ดํจ ๋ฒ์น ๋ํ:์ด์ดํจ ๋ฒ์น ์ฐ๊ฒฐ๋ฌผ์.. ์์ดด ์ฝํ์ ์์ด์ ๊ดํ์ฌ, ์ํ ๊ฐ๋ ์ด๋ค. ์์ ์ ์ด ๊ฐ๋ ์ ์์ฉ์ ์ํด ์์ด (์์ ) ๋ฅผ ๋ณด์ญ์์ค. ์ํ์์๋, ์์ด์ ๊ฐ๋ ์ ์ํ์ด ์์ ์ ์๋ ๊ฐ์ฒด๊ฐ ๊ฐ์ข ๋ค๋ฅธ ์์ ๋๋ก ๋ฐฐ์ด๋ ๋ค๋ ๊ฒ์ ์์ด๋์ด๋ฅผ ํํํ๋ค. ์๋ฅผ ๋ค๋ฉด, 2๊ฐ ์กฐ์น๋ฅผ ์ทจํ๊ธฐ์์ ์์ผ๋ก ์ฌ๋์ ๋ณด๋ณ์ด ์ฒซ๋ฒ์งธ์ธ ๊ฑธ์์ ์ข์ฐ์ ๋๋ right-left ์ทจํ ์ ์๋ค. ๋ ๋ณต์กํ ์์ฉ์ ๋ณ๊ฒฝ ๋ฅ๊ธ๊ฒ ๋๊ธฐ์์ ์๊ธด๋ค. 6๊ฐ์ ๋ฒจ์ ์งํฉ์ด, ๋ค๋ฅธ ์ฃผ์, ๊ฐ๊ฐ ํ.. ๋จ์ด๋กจ ์ด๋ก ์ ๋จ (์ํ) ์ ์ฐ๊ตฌ ๊ฒฐ๊ณผ์ ์ผ๋ คํ ์ํ์ ๋ถ์ง ์ด๋ค. ๋จ ์ด๋ก ์ ํตํ์ฌ ์ฌ์ฉ๋ ๊ธฐ๊ฐ์ ์ ์๋ฅผ ์ํ ๋จ ์ด๋ก ์ ์ฉ์ด์ง์ ์ฐธ๊ณ ํ์ญ์์ค. ๋จ ์ด๋ก ํ์ ์ ๋ช ๋ถ๋ฅผ ๋ํ ๋ณด์ญ์์ค...
Antihomomorphismํ์์๋, antihomomorphism๋ ๊ณฑ์ ์ ๋ช ๋ น์ ๋ฐ์ ํ๋ ๊ณฑ์ ์ ์ธํธ์ ๊ธฐ๋ฅ (์ํ) ์ ๋ชจํ ์ ์ํ๋ค์ด๋ค. antiautomorphism๋ ๊ฐ์ฒด์์ ์์ฒด์ ์ผ๋ก์ bijection์ธ antihomomorphism์ด๋ค. ๋จ ์ด๋ก ์์๋, antihomomorphism๋ ๊ณฑ์ ์ ๋ช ๋ น์ ๋ฐ์ ํ๋ 2๋ช ๋จ ์ฌ์ด ์ง๋์ด๋ค. ์ด๋ ๊ฒ ๋ง์ฝ์ F X Y๊ฐ ๋จ antihomomorphism์ด๋ฉด, F ((y) F (x) ๋ชจ๋ x๋ฅผ ์ํ xy) F, X.์ ์๋ y. x์์ x1๋ฅผ ์ก์ ํ๋ ์ง๋๋ ๋จ antiautomorphism์ ๋ณด๊ธฐ์ด๋ค. ๋ฐ์ง ์ด๋ก ์์๋, antihomomorphism์.. ํ์ (์ํ)์ ์ ์, ํต์ ์, ๊ทธ๋ฆฌ๊ณ /๋ํ ๊ฐ๋ณ์ ๊ฒฐํฉํ๋ค. ํ์ ์ ๊ฐ์น์ ํ๊ฐ์ด๊ณจ์ง๋, ๊ทธ ๊ฐ์น๋ฅผ ๋ํ๋ด๊ณ ๋งํ ์ ์๋ค. ํ์ ์ ํ๊ฐ๋ ํ์ ์ ๋ฌธ๋งฅ์ ํ์ฑํ๋ ๊ฐ์น์ ์ํ ํต์ ์ ๊ทธ๋ฆฌ๊ณ ์์คํ ์ ์ ์ ์ ์์งํ๊ณ ์๋ค. ํ์ ์๋, ๋ฌธ๋งฅ์๊ฒ์ ์ทจํด ํ์ ์์ ์ ์๋์ง ์๋ ์์ ๋ก์ด ๊ฐ๋ณ์ด ์์์ง๋ ๋ชจ๋ฅด์ง๋ง... ๋์ํ์ง์ธํ์ํ ์ง์ธํ์ ์ถ์์ ์ธ ๋์์์ ๊ณต๊ตฌ๊ฐ ์์ ๊ณต๊ฐ์ ๊ณต๋ถํ๋ ์ฌ์ฉ๋๋ ์ํ์ ๋ถ์ง์ด๋ค... ์คํํธ๋ผ ์๋ฐ์งถ์์ ์ธ ๋์ ๋ฐ ๋์ํ ๊ธฐํํ์์๋, Spec (r)์ ์ํด ํ์๋ R.์ ๋ชจ๋ ์ฃผ์ํ ์ด์์ ์ธํธ์ด๊ธฐ ์ํ์ฌ ๊ฐํํ (๋์) ์ ์คํํธ๋ผ์ R, ์ ์๋๋ค. ๊ทธ๊ฒ์ ์์ ๊ณต๊ฐ, Zariski ์ง์ธํ ๊ทธ๋ฆฌ๊ณ ํ์ง์ ๊ณ ๋ฆฌ ๋ชจ์ ๊ณต๊ฐ์ผ๋ก ๊ทธ๊ฒ์ ๋๋ ๊ตฌ์กฐ๋ฌผ ๋จ์ ์ผ๋ฐ์ ์ผ๋ก ์ฆ๊ฐ๋๋ค... |
This article is also available in: Arabic, Chinese (Simple), Chinese (Traditional), Dutch, English, French, German, Italian, Japanese, Korean, Portuguese (Brasil), Portuguese (Euro), Russian, Spanish, Swedish. Related Links: - Pay Per Install Affiliate Program |