Home » Abstract algebra » Index

Related Categories: Algebraic number theory | Lie groups


Abstract algebra


What-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, ์•ˆ์œผ๋กœ..

First | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | Last