로그인하고 있지 않습니다. 편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!== Field Extension== ''L/K''가 '''field extension'''이라는 것은 ''L''이 ''K''를 subfield로 가질 때를 말한다. Subfield라고 말하면 될 것이지 굳이 field extension이라는 다른 말을 만든 이유는 subfield란 말은 ''L''을 통해서 ''K''를 만든다는 느낌이 강하지만, field extension은 거꾸로 ''K''를 통해 ''L''을 만든단 느낌이 강하기 때문이다. ''L/K''가 field extension이라면 ''L''은 ''K''-vector space 취급할 수 있다. 그렇다면 ''L''이 finite-dimensional ''K''-vector space일 때 ''L/K''를 finite field extension이라고 하자. 그리고 그 dimension을 '''degree'''란 다른 이름으로 부르자. 그렇다면 field extension을 생각하는 이유는 무엇일까. 그러니까 ''K''를 통해 ''L''을 만드는 이유는 도대체 무엇일까? 그 이유는 ''K''를 통해서 ''L''을 알아내는 것이, ''L''을 통해서 ''K''를 알아내는 것보다 훨씬 더 쉽기 때문이다. 예를 들어서 :<math> \Bbb{Q}(\sqrt{2})=\{a+b\sqrt{2}:a,b\in \Bbb{Q}\}</math> 를 생각해 보자. 그렇다면 이것은 field다. 하지만 이것을 직접 알아내는 것은 힘드니까 <math> \Bbb{Q}(\sqrt{2})/\Bbb{Q}</math>를 생각한다. field extension을 생각하는 것이다. 그 밑의 구조와 위의 구조가 어떻게 해서 함께 움직이는지 알 수 있다면 <math> \Bbb{Q}(\sqrt{2})</math>의 정보도 같이 알아낼 수 있을 것이다. Field theory에서 polynomial은 매우 중요한 역할을 한다. Field extension을 그냥 쳐다보면 뭔지 모르겠지만, polynomial은 이런 field extension이 정확히 어떻게 움직여야 하는지 알려준다. ''L/K''가 field extension이라고 하자. 모든 ''a\in L''에 대해서 적당한 polynomial with coefficient in ''K''인 <math> p(x) </math>가 있어서 <math> p(a)=0 </math>일 때 ''L/K''를 algebraic extension이라고 하자. 대부분의 field theory는 이런 algebraic extension 안에서 일어나는 일들을 서술한다. 간단한 예를 들자면 <math> \Bbb{C}/\Bbb{R}</math>는 algebraic extension이다. 덤으로 <math>L/\Bbb{R}</math>을 algebraic extension으로 만드는 ''L''은 <math> \Bbb{R}</math>하고 <math> \Bbb{C}</math>. 이 둘밖에 없다. 이것은 그 유명한 [[대수학의 기본정리]]의 내용이다. 수천년 동안 이어졌던 자연수, 정수, 유리수, 실수, 복소수로 이어지는 다항식의 근 찾기 시도는 복소수에서 끝난다. (덤으로 실수계수 고차다항식은 항상 2차이하의 실수계수 다항식으로 인수분해가능하다는 사실도 포함되어 있음을 알 수 있다.) 모든 finite field extension은 algebraic extension이다. 어떤 finite-dimensional vector space의 subspace는 finite dimension을 가지니까. ''K''가 field일 때 ''K''가 algebraically closed field라는 것은 ''L/K''가 algebraic extension일 때 ''L=K''일 때를 말한다. 대표적인 예로 <math> \Bbb{C}</math>가 있다. 그리고 ''K''가 아무런 조건 없는 field일 때 ''K''의 algebraic closure라는 것은 ''K''를 subfield로 가지면서 algebraically closed field인 가장 작은 field를 말한다. 모든 field는 algebraic closure를 가지며, 이것은 up to isomorphism으로 유일하다. ''K''가 field고 ''p''가 ''K''에서 coefficient를 가지는 polynomial이라고 하자. 그렇다면 적당한 ''K''를 subfield로 가지는 field ''L''이 있어서 ''L/K''를 finite extension으로 만들고 ''p''의 zero는 ''L''안에 반드시 존재한다. 그러니까 ''a\in L''이 있어서 ''p(a)=0''을 만족한다. 요약: 리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 3.0 라이선스로 배포됩니다(자세한 내용에 대해서는 리브레 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 글이 직접 작성되었거나 호환되는 라이선스인지 확인해주세요. 리그베다 위키, 나무위키, 오리위키, 구스위키, 디시위키 및 CCL 미적용 사이트 등에서 글을 가져오실 때는 본인이 문서의 유일한 기여자여야 하고, 만약 본인이 문서의 유일한 기여자라는 증거가 없다면 그 문서는 불시에 삭제될 수 있습니다. 취소 편집 도움말 (새 창에서 열림) | () [] [[]] {{}} {{{}}} · <!-- --> · [[분류:]] · [[파일:]] · [[미디어:]] · #넘겨주기 [[]] · {{ㅊ|}} · <onlyinclude></onlyinclude> · <includeonly></includeonly> · <noinclude></noinclude> · <br /> · <ref></ref> · {{각주}} · {|class="wikitable" · |- · rowspan=""| · colspan=""| · |} {{lang|}} · {{llang||}} · {{인용문|}} · {{인용문2|}} · {{유튜브|}} · {{다음팟|}} · {{니코|}} · {{토막글}} {{삭제|}} · {{특정판삭제|}}(이유를 적지 않을 경우 기각될 가능성이 높습니다. 반드시 이유를 적어주세요.) {{#expr:}} · {{#if:}} · {{#ifeq:}} · {{#iferror:}} · {{#ifexist:}} · {{#switch:}} · {{#time:}} · {{#timel:}} · {{#titleparts:}} __NOTOC__ · __FORCETOC__ · __TOC__ · {{PAGENAME}} · {{SITENAME}} · {{localurl:}} · {{fullurl:}} · {{ns:}} –(대시) ‘’(작은따옴표) “”(큰따옴표) ·(가운뎃점) …(말줄임표) ‽(물음느낌표) 〈〉(홑화살괄호) 《》(겹화살괄호) ± − × ÷ ≈ ≠ ∓ ≤ ≥ ∞ ¬ ¹ ² ³ ⁿ ¼ ½ ¾ § € £ ₩ ¥ ¢ † ‡ • ← → ↔ ‰ °C µ(마이크로) Å °(도) ′(분) ″(초) Α α Β β Γ γ Δ δ Ε ε Ζ ζ Η η Θ θ Ι ι Κ κ Λ λ Μ μ(뮤) Ν ν Ξ ξ Ο ο Π π Ρ ρ Σ σ ς Τ τ Υ υ Φ φ Χ χ Ψ ψ Ω ω · Ά ά Έ έ Ή ή Ί ί Ό ό Ύ ύ Ώ ώ · Ϊ ϊ Ϋ ϋ · ΐ ΰ Æ æ Đ(D with stroke) đ Ð(eth) ð ı Ł ł Ø ø Œ œ ß Þ þ · Á á Ć ć É é Í í Ĺ ĺ Ḿ ḿ Ń ń Ó ó Ŕ ŕ Ś ś Ú ú Ý ý Ź ź · À à È è Ì ì Ǹ ǹ Ò ò Ù ù · İ Ż ż ·  â Ĉ ĉ Ê ê Ĝ ĝ Ĥ ĥ Î î Ĵ ĵ Ô ô Ŝ ŝ Û û · Ä ä Ë ë Ï ï Ö ö Ü ü Ÿ ÿ · ǘ ǜ ǚ ǖ · caron/háček: Ǎ ǎ Č č Ď ď Ě ě Ǐ ǐ Ľ ľ Ň ň Ǒ ǒ Ř ř Š š Ť ť Ǔ ǔ Ž ž · breve: Ă ă Ğ ğ Ŏ ŏ Ŭ ŭ · Ā ā Ē ē Ī ī Ō ō Ū ū · à ã Ñ ñ Õ õ · Å å Ů ů · Ą ą Ę ę · Ç ç Ş ş Ţ ţ · Ő ő Ű ű · Ș ș Ț ț