Abstract algebraWhat-does-it-mean.org์ด์ค๊ณต๊ฐํ์์๋, ์ด์ค ๋ฒกํฐ ๊ณต๊ฐ์ ์ค์กด์ ์ถ์์ ์ธ ๋ฐฉ๋ฒ์ผ๋ก ํ๋ฒกํฐ (1รn) ์ ๋ ์ ๊ทธ๋ฆผ (nร1) ์ฌ์ด ๊ด๊ณ๋ฅผ ๋ฐ์ํ๋ค. ๊ฑด์ถ์ ๋ํ ๋ฌดํํ์ฐจ์ ๊ณต๊ฐ์ ์ํด ์ผ์ด๋ ์ ์๊ณ ์ธก์ (์ํ), ๋ฐฐ๊ธ ๋ฐ ํ๋ฒ ๋ฅดํธ ๊ณต๊ฐ์ ๋ณด๊ธฐ์ ์ค์ํ ๋ฐฉ๋ฒ์ ์ด๋ํ๋ค. ์๋ ๊ณต๊ฐ์ ์ฌ์ฉ์ ๋ฐฉ๋ฒ์ ๋ฐ๋ผ์๋ ์ด๋ ๊ฒ ํจ์ ํด์ํ์ ํน์ฑ์ด๋ค. ๊ทธ๊ฒ์ ๋ํ ํธ๋ฆฌ์์์ ๊ณ ์ ํ๋ค ๋ณํ์ํจ๋ค...
์ ๋ฅ๊ธฐ์ ์ผ๋ก ํ์ฌ๋ฅผ ๋ฐ์ ํ๋ ์ ๊ธฐ ์ค์์น๋ฅผ ์ํด (์ ๊ธฐ) ์ํ์์ ์ ๋ฅ๊ฐ ๋จ (์ํ) ์ 2๊ฐ ์ฑ๋ถ g์ h์ ์ ๋ฅ G ์์๋ก g์ ์ํด ํ์๋ ์ฑ๋ถ g1 h1 gh, h.๋ค๋ ๊ฒ์ ๋ณด์ญ์์ค. ๊ทธ๊ฒ์ ๋จ์ง g์ h๊ฐ, i.e, ๋ง์ฝ์ ๊ฐํํด์ผ๋ง๊ณผ ๋จ์ง gh hg ๋จ ์ ์๊ณผ ๋๋ฑํ ๋ง์ฝ์. ๋ชจ๋ ์ ๋ฅ์ ์ํด ์์ฑ๋ ์์ง๋จ์ ํ์ํ ๋จ ๋๋ ์ ๋ฅ ์์ง๋จ G์ ๋ถ๋ฆฐ๋ค: ์ฐ๋ฆฌ๋ ์ผ๋ฐ์ ์ผ๋ก ์ ๋ฅ์ ์ธํธ๊ฐ ๋จ ์์ ์ ๋ฐ์ ๋ซํ์ง ์๊ธฐ ๋๋ฌธ์ ์์ง๋จ์ ์ ๋ฅ์ ์ธํธ์ ์ํด ์์ฑ๋ ๊ณ ๋ คํ๋ค... ์ด๋ฑ ์์นญ๋คํญ์ํ์์๋, ์ด๋ฑ ์์นญ์ ์ธ ๋คํญ์์ ์์นญ์ ์ธ ๋คํญ์์ ์ํ ๊ธฐ์ด ๋น๋ฉ ๋ธ๋ก์ด๋ค. ๊ฐ๋ณ A๋ฅผ >, X-1, X-2, (> A+X-1) ( >A+X-2) (A+X-3) ์ฐ๋ฆฌ๊ฐ ์๋ X-3 ๊ณ ๋ คํ์ญ์์ค A^3+ (X-1 + X-2 + X-3) A^2+ (X-1 X-2 + X-2 X-3 + X-1 X-3) A+X-1 X-2 X-3.> A์ ํ์ >๊ณ์๋ X-1 + X-2 + X-3, X-1 X-2 + X-2 X-3 + X-1 X-3, X-1 X-2 X-3> 3๊ฐ์ ๊ฐ๋ณ์ ์๋ ์ด๋ฑ ์์นญ์ ์ธ ๋คํญ์์ด๋ค. ๋ช๋ช ๊ฐ๋ณ์ด ๊ต๋ฅ๋ ๋ ์ด ๋คํญ์์ด ์ค์ ๋ก ์์นญ์ , ๊ฒ๊ณผ ๊ฐ์ด, ๋คํญ์ ์ฒด์ฌ ๋์ผ๋ค๋ ๊ฒ์ ์ฃผ์ํ์ญ์์ค...
์์นญ๋คํญ์ํ์์๋, ์์นญ์ ์ธ ๋คํญ์์ ๋ง์ฝ์ ์ด๋ค์ด์ ๊ฐ๋ณ ๊ต๋ฅํด ์ป์ผ๋ฉด >, ๋์ผ์ด ๋คํญ์์ ์ํ์ฌ ๋จธ๋ฌธใด๋ค๋ ๊ฒ์ n ๊ฐ๋ณ P> (X-1, X-2,โฆ, X-n) ์ ์๋ ๋คํญ์ํ ๊ฐ์์ด๋ค... ๋์๋คํญ์ํ์์๋, ๋ถ๊ฐ์ ์ธ ๋คํญ์์ ๊ณ ์ํ ๋์ํ ์๋ก ์ ์๋ ์ค์ํ ํ์ ์ด๋ค... ์ ์ ํต์ ์๋์ํ์์๋, ์ค์ฌ์ฐ๋ ์ ์ ํต์ ์ ๋์ (: VOA๋) ๋ฑ๊ฐ ๋ง๋น ์ด๋ก ์ ์๋ ์ค์ํ ๋ถ๋ถ ๋ฐ ๋ฌผ๋ฆฌํ์ ์๋ ๊ทธ๋ฐ ํ๊ณผ๋ชฉ์ ํ๋ ๋์์ ํน์ ์ข ๋ฅ์ด๊ณ , ๋ํ ๊ธฐ๊ดด๋ง์ธกํ ๋ฌ๋น๊ณผ ๊ฐ์ ์์ ํ ์ํ ๋ฌธ๋งฅ์ ์ ์ฉํ ์ฆ๋ช ํ๋ค. ์ ์ ํต์ ์ ๋์๋ 1986๋ ์ ๋ฆฌ์ฒ๋ Borcherds์ ์ํด ์นด์ด๋ ๋์ ์ด๋ฆ์ ๊ฑธ๊ณ ์ด๋ก ๋ฌผ๋ฆฌํ์ ์๋ ๊ณต๊ธฐ์์ ์์ด๋์ด์ ์ํ์์ ์ฒ์์ผ๋ก ์๊ฐ๋์๋ค, ์ค์ํ ๋ณด๊ธฐ ๊ทธ๋ ํฌํจํ๋ค Virasoro VOAs (i.e, Virasoro..
Pseudogroupํ์์๋, pseudogroup๋ ๋จ (์ํ) ๊ฐ๋ ์, ๊ทธ๋ฌ๋ Sophus ์ฌ๊ธฐ์ ๊ธฐํํ ์ ๊ทผ์์ ์ฆ๊ฐํ ๊ฒ, ๋ณด๋ค๋ ์คํ๋ ค ์ถ์์ ์ธ ๋์์์ ์ฐ์ฅ์ด๋ค (quasigroup์ ๊ฐ์ ์๋ฅผ ๋ค๋ฉด). pseudogroups์ ์ด๋ก ์ 1920๋ ์ ์ฃผ์์ รlie Cartan์ ์ํด ๊ฐ๋ฐ๋์๋ค. ๋์ํ ์์ด๋์ด๊ฐ, ์คํ๋ ค ๊ทธ๊ฒ ์ ์ํ๋ค ์ฃผ์ด์ง ์ ํด๋ฆฌ๋ ๊ณต๊ฐ E.์ ์ด๋ ค์๋ ์ธํธ U์ ์ ์๋ homeomorphisms์ ์ธํธ์ ๋ง๊ฐ ์กฐ๊ฑด์ ์ธํธ๋ฅผ ์๋๋ค. ๊ทธ๋ค์ groupoid ์กฐ๊ฑด์ ์ ๊ฒ์์, homeomorphisms.. ์ ์ผํ ์ธ์ ๋ถํด๋๋ฉ์ธํ์์๋, ์ ์ผํ ์ธ์๋ถํด ์ ์ญ (UFD) ๋, ๋๋ต, ๊ฐ ์ฑ๋ถ์ด ์์์์ ์ ํ์ผ๋ก ์ ์ผํ๊ฒ ์จ์ง ์ ์๋ ์ ์๋ฅผ ์ํ ์ฐ๋ฒ์ ๊ธฐ๋ณธ์ ์ธ ๋ฒ์น์ ๋น์ทํ ๊ฐํํ ์ด๋ค. ํ์์ ์ผ๋ก, ์ ์ผํ ์ธ์๋ถํด ์ ์ญ์ ๋ฐ์ง์ ๊ฐ ๋น์ ๋ก ๋น๋ถ๋๊ฐ R์ ๊ธฐ์ฝ์์ ์ ํ์ผ๋ก R์ x ์จ์ง ์ ์๋ ์ ์ญ R์ด๊ธฐ ์ํ์ฌ ์ ์๋๋ค: x p1 p2 pn์ ์ด ๋ํ๋ ๋ค์ ์ค๋ ๊ฐ์์ ์ ์ผํ๋ค: โฆ, n. x q1 q2 qm ๊ทธ ํ์ m n๋๊ณผ ๊ฑฐ๊ธฐ bijective F {1,โฆ, n} {1 ์กด์ฌํ๋ค ๋ง์ฝ์.. ํ์ ํ์๋ฆฌ์ฆํ์์๋, ํ์์ ์ธ ์ง์ ๊ธ์๋ ์ปจ๋ฒ์ ์ค์ ์์ฐ์ ์ธ ๊ด๋ ์ด ์๋ ์กฐ์ ์๋์ ์๋ ์ง์ ๊ธ์์ ์๋ฆฌ ๋ถ์ ๊ธฐ๊ณ์ฅ์น์ ๋ค๋์ ์ฑํํ๊ฒ ๊ฐ๋ฅํ๊ฒ ํ๋ ์ฅ์น์ด๋ค. ๊ทธ๋ค์ ๋ํ ์กฐ๋ฐํ๊ฒ ์์๋ฅผ ๊ธฐ์ ํ๊ณ ๋๋ถ๋ฆ์ ์ํ์ฌ ์ ์๋ ์์๋ฅผ ์ํ ๋ซํ๋ ๊ณต์์ ์ฐพ์๋ด๊ฒ ์ ์ฉํ๋ค, ์ด๊ฒ์ ์์ฑ ํจ์์ ๋ฐฉ๋ฒ์ผ๋ก ์๋ ค์ง๊ณ ์๋์์ ์ค๋ช ๋ ๊ฒ์ด๋ค. ์ฐ๋ฆฌ๋ ๊ฐํํ (๋์) ์์ R. ์์ํ๋ค. ์ฐ๋ฆฌ๋ ์์ >n=0>์ ๋ฌดํํ.. ์ ์๋งคํธ๋ฆญ์ค ํ ๋์์์๋, ๊ท๋ชจ n์ ๋จ์ ํ๋ ฌ์ ์ฃผ์ ๋๊ฐ์ ๋ฐ 0์ ๊ทธ๋ค์ ๋ค๋ฅธ ๊ณณ์ n์ ์ํ์ฌ n ์ ์ฌ๊ฐ ํ๋ ฌ์ด๋ค. ๊ทธ๊ฒ์ I์ ์ํด ์์ผ๋ก์ ์ํด ๋ง์ฝ์ ๊ท๋ชจ๊ฐ ๋น๋ฌผ์ง์ ์ด๊ณ ๋๋ ๋ฌธ๋งฅ์ ์ํด ํ์ฐฎ๊ฒ ๊ฒฐ์ ๋ ์ ์์ผ๋ฉด ๋๋ ๊ฐ๋จํ๊ฒ ํ์๋๋ค. >I-1๋ {bmatrix} 1๊ฐ์ ๋ {bmatrix}, I-2 ์์ํ๋ค {bmatrix} 1๊ฐ & 0๊ฐ์ 0๊ฐ & 1๊ฐ์ ๋ {bmatrix}, I-3 ์์ํ๋ค {bmatrix} 1๊ฐ & 0๊ฐ & 0๊ฐ์ 0๊ฐ & 1๊ฐ & 0๊ฐ์ 0๊ฐ & 0๊ฐ & 1๊ฐ์ ๋ {bmatrix}, cdots, ์์ผ๋ก.. |
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 |