체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x

Similar documents
3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로

완비거리공간 완비거리공간 Definition 0.1. (X, d) 는거리공간일때 X의점렬 < a n > 이모든 ɛ > 0에대해 n o N such that n, m > n o = d(a n, a m ) < ɛ 을만족하면이점렬을코시열 (Cauchy sequence) 이라

함수공간 함수공간, 점열린위상 Definition 0.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function space) 이라한다. F(X, Y ) 는다음과같이적당한적집합과

제1장 군 제1절 소개와 예 제2절 이항연산 2.1 보기. 다음은 정수방정식 a + x = b를 푸는 과정이다. (1) 준식에 a를 더하여 ( a) + (a + x) = ( a) + b. (2) 결합법칙을 사용하면 (( a) + a) + x = ( a) + b. (3)

31. 을전개한식에서 의계수는? 를전개한식이 일 때, 의값은? 을전개했을때, 의계수와상수항의합을구하면? 을전개했을때, 의 계수는? 를전개했을때, 상수항을 구하여라. 37

Microsoft PowerPoint - 26.pptx

TOPOLOGY-WEEK 6 & 7 KI-HEON YUN 1. Quotient space( 상공간 ) X 가위상공간이고 Y 가집합이며 f : X Y 가전사함수일때, X 의위상을사용하여 Y 에위상을정의할수있는방법은? Definition 1.1. X 가위상공간, f : X

FGB-P 학번수학과권혁준 2008 년 5 월 19 일 Lemma 1 p 를 C([0, 1]) 에속하는음수가되지않는함수라하자. 이때 y C 2 (0, 1) C([0, 1]) 가미분방정식 y (t) + p(t)y(t) = 0, t (0, 1), y(0)

Microsoft PowerPoint Relations.pptx

1 1,.,


제 3강 역함수의 미분과 로피탈의 정리

-주의- 본 교재는 최 상위권을 위한 고난이도 모의고사로 임산부 및 노약자의 건강에 해로울 수 있습니다.

제 12강 함수수열의 평등수렴

완벽한개념정립 _ 행렬의참, 거짓 수학전문가 NAMU 선생 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에

PowerPoint Presentation

1 1 장. 함수와극한 1.1 함수를표현하는네가지방법 1.2 수학적모형 : 필수함수의목록 1.3 기존함수로부터새로운함수구하기 1.4 접선문제와속도문제 1.5 함수의극한 1.6 극한법칙을이용한극한계산 1.7 극한의엄밀한정의 1.8 연속

1 경영학을 위한 수학 Final Exam 2015/12/12(토) 13:00-15:00 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오. 1. (각 6점) 다음 적분을 구하시오 Z 1 4 Z 1 (x + 1) dx (a) 1 (x 1)4 dx 1 Solut

Python과 함께 배우는 신호 해석 제 5 강. 복소수 연산 및 Python을 이용한 복소수 연산 (제 2 장. 복소수 기초)

제 5강 리만적분

정수론 - (Number Theory)

2018 년수학임용고시기출풀이 ( 대수학, 해석학, 복소해석, 위상수학, 정수론, 선형대수, 미적분학 ) - 하이어에듀 - 구준모강사 1

PowerPoint Presentation

PowerPoint Presentation

Vector Differential: 벡터 미분 Yonghee Lee October 17, 벡터미분의 표기 스칼라미분 벡터미분(Vector diffrential) 또는 행렬미분(Matrix differential)은 벡터와 행렬의 미분식에 대 한 표


¹ÌÀûºÐ-±³°úA(001~007)

<3235B0AD20BCF6BFADC0C720B1D8C7D120C2FC20B0C5C1FE20322E687770>

[Real Analysis]4.1


59

2


제 2 교시 2019 학년도 3 월고 1 전국연합학력평가문제지수학영역 1 5 지선다형 1. 의값은? [2점] 일차방정식 의해는? [2 점 ] 두수, 의최대공약수는? [2 점 ] 일차함수 의그래프에서


미분기하학 II-16 복소평면의선형분수변환과쌍곡평면의등장사상 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 Ø 'x! xxñ 2007 년 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 (Ø 'x!) 미분기하 II 2007 년 1 / 26

<B4EBC7D0BCF6C7D02DBBEFB0A2C7D4BCF62E687770>

Microsoft PowerPoint - hw8.ppt [호환 모드]

2005 7

006. Winners 일의자리의숫자가 3인 100보다작은소수의개수를구하여라 Winners 의약수를모두쓰시오 Winners 다음설명중옳은것은? ㄱ. 가장작은소수는 이다. ㄴ. 과 은서로소이다. ㄷ. 은모든자연수의약수이다. ㄹ. 두자연수가서로소이면공

0 cm (++x)=0 x= R QR Q =R =Q = cm =Q =-=(cm) =R =x cm (x+) = +(x+) x= x= (cm) =+=0 (cm) =+=8 (cm) + =0+_8= (cm) cm + = + = _= (cm) 7+x= x= +y= y=8,, Q

KJME-2003-h.hwp

Computer Architecture

기본자료형만으로이루어진인자를받아서함수를결과값으로반환하는고차함수 기본자료형과함수를인자와결과값에모두이용하는고차함수 다음절에서는여러가지예를통해서고차함수가어떤경우에유용한지를설명한다. 2 고차함수의 예??장에서대상체만바뀌고중간과정은동일한계산이반복될때함수를이용하면전체연산식을간 단

a b c d e f^xh= 2x 2 + ax a f^1+ hh -f^1h lim 6 h 0 h = " A B C D E A J an K O B K b 1O C K 1 1 c 1 0O D K O 0 d K O E Le 1

ÃÖ»óÀ§5³ª-Á¤´ä(01~23)

쉽게배우는알고리즘 6장. 해시테이블 테이블 Hash Table

<C1DF29BCF6C7D020315FB1B3BBE7BFEB20C1F6B5B5BCAD2E706466>

<C5F0B0E82D313132C8A328C0DBBEF7BFEB292E687770>

Check 0-9, 9,, - 6, 6, 6, =0.04, (-0.) = , =64 8 8, -8 (-6) =6 (-6) 6, -6 7, , -0. 8, -8 6, '7 ' '

*논총기획(1~160)

2 KAIST 1988,,KAIST MathLetter, 3,,, 3,, 3, 3,

작용소의 행렬표현과 그 응용

Chapter 연습문제답안. y *sin-*cos*^ep-*/sqrt. y [ ; sinpi/ ; sin*pi ; ] 혹은 [ sinpi/ sin*pi ]. a ais[- ] b et.,., sin. c.. a A는주어진행렬 M의 번째열만을표시하는새로운행렬을나타낸다.

Microsoft PowerPoint - chap-05.pptx

= Fisher, I. (1930), ``The Theory of Interest,'' Macmillan ,

심화 I. II. 개정

2019 학년도중등교사임용경쟁시험해설 김동희 2018 년 11 월 27 일

untitled

436 8., {(x, y) R 2 : y = x, < x 1} (, 1] φ(t) = (t, t), (, 2] ψ(t) = (t/2, t/2), [1, ) σ(t) = (1/t, 1/t).. ψ φ, σ φ. (φ, I) φ(i) φ : I φ(i). 8.2 I =


Microsoft PowerPoint - 27.pptx

선형대수

Fraleigh

chap06.hwp

포도.PDF

초4-1쌩큐기본(정답)본지

14고등확통지도서2권(159~179)

생존분석의 추정과 비교 : 보충자료 이용희 December 12, 2018 Contents 1 생존함수와 위험함수 생존함수와 위험함수 예제: 지수분포

<근대이전> ⑴ 문명의 형성과 고조선의 성립 역사 학습의 목적, 선사 문화의 발전에서 국가 형성까지를 다룬다. 역사가 현재 우리의 삶과 긴밀하게 연결되었음을 인식하고, 역사적 상상력을 바탕으 로 선사 시대의 삶을 유추해 본다. 세계 여러 지역에서 국가가 형성되고 문 명

미시경제학을위한기초수학 조남운 March 20, 함수 1.1 함수란무엇인가 여러분이미시경제학을배우면서미분을배우는이유는계산을통해함수의최대값이나최소값을구해야하기때문이다. 최대값이나최소값을구하기위해서는함수의미분을알

Press Arbitration Commission 62

Microsoft PowerPoint - Divider2.ppt

4장. 순차자료구조

정수론의 기반 수학적 귀납법의 원리 Nottion 1.1 N = {1,, 3,...} = 자연수 전체의 집합 Z = {...,, 1, 0, 1,,...} = 정수 전체의 집합 Q = { b, b Z, b 6= 0} = 유리수 전체의 집합 R = {limn n

Microsoft PowerPoint - LA_ch6_1 [호환 모드]

= Fisher, I. (1930), ``The Theory of Interest,'' Macmillan ,

Unknown

<C0CEC5CDB3DDC1DFB5B6BDC7C5C2C1B6BBE75FC0CEBCE2C5EBC7D5BABB5F E687770>

1 1 x + # 0 x - 6 x 0 # x # 2r sin2x- sin x = 4cos x r 3 r 2r 5 r 3r

i n i n i n 1

untitled

Microsoft PowerPoint Predicates and Quantifiers.ppt

머리말 KAIST 수학문제연구회는한국수학올림피아드가처음탄생할무렵인 988년부터지금까지다양한영재교육프로그램을운영하거나적극적으로기여해왔습니다. 한국수학올림피아드통신강좌와계절학교등의교육프로그램, 대전 충남지역중학생영재수학교실, KAIST Cyber영재교육등이그예들입니다. 이

public key private key Encryption Algorithm Decryption Algorithm 1

낙랑군

슬라이드 1

집합 집합 오른쪽 l 3. (1) 집합 X 의각원소에대응하는집합 Y 의원소가단하나만인대응을 라할때, 이대응 를 X 에서 Y 로의라고하고이것을기호로 X Y 와같이나타낸다. (2) 정의역과공역정의역 : X Y 에서집합 X, 공역 : X Y 에서집합 Y (3) 의개수 X Y

<3130C0E5>

고 학년도 9월고수학 1 전국연합학력평가영역문제지 1 1 제 2 교시 수학영역 5 지선다형 3. 두다항식, 에대하여 는? [ 점 ] 1. 의값은? ( 단, ) [ 점 ] 다항식 이 로인수분해될때, 의값은? ( 단,,

Microsoft PowerPoint - 05-chap03-ArrayAndPointer.ppt

예제 1.1 ( 관계연산자 ) >> A=1:9, B=9-A A = B = >> tf = A>4 % 4 보다큰 A 의원소들을찾을경우 tf = >> tf = (A==B) % A

Microsoft PowerPoint - 제05장.ppt [호환 모드]

(01-16)유형아작중1-2_스피드.ps



목차 포인터의개요 배열과포인터 포인터의구조 실무응용예제 C 2

8장 조합논리 회로의 응용

2002년 2학기 자료구조

Transcription:

체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x m, b m 0 F, m > 0 에대해 f(x) = g(x)q(x) + r(x) 을만족하는 q(x), r(x) F [x] 가유일하게존재한 다.( 단, deg r(x) deg g(x) = m) Proof. 집합 P = {f(x) g(x)s(x) s(x) F [x]} 을생각하자. r(x) 를 P 에서차수가 가장작은다항식들중의하나라하자. 그리고 r(x) = c 0 + c 1 x + + c t x t, c t 0 F 라두자. 그러면 f(x) = g(x)q(x) + r(x), q(x) F [x] 이다. 만일 t m 이면 f(x) g(x)q(x) (c t b 1 m )x t m g(x) = r(x) (c t b 1 m )x t m g(x) 는차수가 t 1 보다작거난같은 P 에속하는다항식이되어모순이생긴다. 따라 서 t < m 이어야한다. 이제유일성을증명하자. f(x) = g(x)q 1 (x) + r 1 (x), f(x) = g(x)q 2 (x)+r 2 (x), q i (x), r i (x) F [x], deg r i (x) < m 이라하자. 그러면 g(x)(q 1 (x) q 2 (x)) = r 1 (x) r 2 (x) 이고양변의차수를비교해보면 q 1 (x) q 2 (x) = 0 F 임을알 수있다. 그러므로 r 1 (x) = r 2 (x) 이다. Corollary 0.2. ( 인수정리 (Factor Theorem)) F 는체이고 f(x) F [x] 일때 a F 가 f(x) 의해 (zero) 가될필요충분조건은 x a가 f(x) 를나누는것 (x a가 f(x) 의인수가되는것 ) 이다. Proof. 나눗셈알고리듬에의해 f(x) = (x a)q(x) + r(x) 을만족하는 q(x), r(x) F [x] 가존재한다. 그리고 deg r(x) < 1 이므로 deg r(x) = 0 이고따라서 r(x) = c, c F 이다. 이제양변에대입준동형사상 φ a 를작용하면 0 F = f(a) = 0 F q(a) + c 에서 c = r(x) = 0 F 이다. 역으로 f(x) = (x a)g(x), g(x) F [x] 이면양변에대입준동형사상 φ a 를작용해서 f(a) = 0 F g(a) = 0 F 임을알수있다. Corollary 0.3. F 는체이고 f(x) F [x] 에대해 deg f(x) = n 일때 f(x) 의해 (zero) 의개수는기껏해야 n 이다.

Proof. a 1 F 이 f(x) 의해라고하자. 그러면인수정리에의해 f(x) = (x a 1 )g 1 (x), g 1 (x) F [x] 이고 deg g 1 (x) = n 1 이다. 만일 g 1 (x) 가해 a 2 F 를가지면다시인수정리에의해 f(x) = (x a 1 )(x a 2 )g 2 (x), g 2 (x) F [x] 이고 deg g 2 (x) = n 2 이다. 이과정을계속하면 f(x) = (x a 1 )(x a 2) (x a t )g t (x), g t (x) F [x] 이고 g t (x) 는 F 안에서해를가지지않는다항식이된다. 이때 t n이므로결국 f(x) 의해의개수는 n 보다작거나같게된다. Corollary 0.4. F 는체이고 < G, > 는 < F, > 의부분군일때 G 는순환군이 된다. Proof. F 는가환환이므로 G 는유한가환군이된다. 따라서유한가환군정리에 의해 G = Z d1 Z dt 을만족하는소수의거듭제곱수 d i 가존재한다. 이제 m := lcm(d 1,, d t ) 이라두 자. a i Z di 에대해 a d i i = 1 Zdi 이므로 a m i = 1 Zdi 이다. 따라서 α G이면 α m = 1 F 이다. 그러므로 G의모든원소는 x m 1 F F [x] 의해가된다. 그런데 x m 1 F 의해의개수는기껏해야 m이므로 G의원소개수 d 1 d t 는 m 보다작거나같다. 결국 m = d 1 d t 임을알수있다. 그러면 d 1,, d t 들은서로소이다. 그러므로 이되어 G 는순환군임을알수있다. G = Z d1 Z dt = Zd1 d t = Z m < 연습 > 1. 다항식 f(x) = x 4 + 3x 3 + 2x + 4 Z 5 [x] 을인수분해하여라. ( 풀이 ) f(0), f(1), f(2), f(3), f(4) 가 Z 5 에서 0 인지확인하면된다. Definition 0.5. F 는체이고 f(x) F [x] 는상수가아니라고하자. 다항식 f(x) 가 차수가 deg f(x) 보다작은두다항식 g(x), h(x) F [x] 의곱 g(x)h(x) 로표현되지 않으면 f(x) 는 F 상에서기약 (irreducible) 이라고한다.

Example 0.6. x 2 2 Q[x] 는 Q 상에서기약이다. 그러나 R 상에서는기약이아니다. 왜냐하면 x 2 2 = (x 2)(x + 2) 이다. Example 0.7. f(x) = x 3 +3x+2 Z 5 [x] 는 Z 5 상에서기약이다. 그이유는다음과같다. 만일 f(x) 가기약이아니면 f(x) 는일차식과이차식의곱으로표현되어야한다. f(x) 의인수가되는일차식을 x a Z 5 [x] 이라하면 f(a) = 0이된다. 그러나 f(0), f(1), f(2), f(3), f(4) 는 Z 5 안에서 0이아니므로모순이된다. Theorem 0.8. F 는체이고 f(x) F [x] 에대해 deg f(x) = 2 또는 3일때 f(x) 가기약이되지않을필요충분조건은 f(x) 가 F 안에서해를가지는것이다. Proof. f(x) 가기약이아니면 deg f(x) 보다작은차수를가지는다항식 g(x), h(x) F [x] 에대해 f(x) = g(x)h(x) 이된다. 양변의차수를비교해보면 deg g(x) = 1이거나 deg h(x) = 1이어야한다. 만일 deg g(x) = 1이면 g(x) = x a이고따라서 g(a) = 0 F 에서 f(a) = 0 F 임을알수있다. deg h(x) = 1인경우도같은논리를적용할수있다. 결국 f(x) 는 F 안에서해를가진다. 역으로 f(x) 가 F 안에서해 a를가지면 f(x) = (x a)p(x), p(x) F [x] 이다. 따라서 f(x) 는기약이아니다. Theorem 0.9. f(x) Z[x] 일때 f(x) 가 Z 상에서기약이되는필요충분조건은 f(x) 가 Q 상에서기약인것이다. Proof. Z Q이므로 f(x) 가 Q 상에서기약이면 f(x) 는 Z 상에서도기약이다. 만일 f(x) 가 Q 상에서기약이아니면 deg f(x) 보다작은차수를가지는두다항식 g(x), h(x) Q[x] 에대해 f(x) = g(x)h(x) 이다. 이때 g(x), h(x) 에적당한정수 a, b를곱해서 ag(x) = g 1 (x), bh(x) = h 1 (x) Z[x] 가되게할수있다. 그리고 ab = c라고하면 cf(x) = g 1 (x)h 1 (x) 가된다. 이제다항식 f(x), g 1 (x), h 1 (x) Z[x] 에대해계수들의최대공약수를묶어내는원리를통해 f(x) = c 1 f 1 (x), g 1 (x) = d 1 g 2 (x), h 1 (x) = d 2 h 2 (x) 이고 f 1 (x), g 2 (x), h 2 (x) 의계수들은서로소가되게할수있다. 결국 cc 1 f 1 (x) = d 1 d 1 g 2 (x)h 2 (x) 에서 cc 1 (d 1 d 2 ) 이고 (d 1 d 2 ) cc 1 이므로 f 1 (x) = ±g 2 (x)h 2 (x) 이다. 그러므로 f(x) = c 1 f 1 (x) = ±c 1 g 2 (x)h 2 (x) 에서 f(x) 는 Z 상에서기약이되지않는다.

위정리에서 f(x) Z[x] 가 Z[x] 안에서차수가 r, s 인다항식들의곱으로표현되는 것과 Q[x] 안에서차수가 r, s 인다항식들의곱으로표현되는것이필요충분조건이 됨을알수있다. Corollary 0.10. f(x) = x n + a n 1 x n 1 + + a 1 x + a 0 Z[x], a 0 0 이고 f(x) 가 Q 상에서해를가지면 f(x) 는 Z 상에서해 m 을가지며이때 m a 0 이다. Proof. f(x) 가 Q 안에서해를가지면 Q[x] 에서일차식의인수를가진다. 그러면 f(x) 는 Z[x] 안에서일차식의인수를가진다. 따라서 f(x) = (x m)(x n 1 + + a 0 m ), m Z 이다. f(x) Z[x] 이므로 a 0 m Z 이다. 그러므로 m a 0 이다. Example 0.11. f(x) = x 4 2x 2 + 8x + 1는 Q 상에서기약임을설명해보자. 위정리를적용하면 f(x) 가 Z 상에서기약임을보이면된다. 만일 f(x) 가 Z 상에서일차식의인수를가진다면 f(a) = 0이되는정수 a가존재하고 a 1이된다. 따라서 a = ±1이다. 그러나 f(1) = 8, f( 1) = 8이되어이것은모순을낳는다. 그러므로 f(x) 는일차식의인수를가지지않는다. 이제 Z[x] 안에 f(x) = (x 2 + ax + b)(x 2 + cx + d 이된다고하자. 그러면양변의계수를비교하여 bd = 1, ad + bc = 8, ac + b + d = 2, a + c = 0 을얻는다. 그러나 b = d에서 b(a + c) = 8이되어이것도모순이생긴다. 결국 f(x) 는 Z 상에서기약이다. Theorem 0.12. (Eisenstein 다항식 ) 정수 p는소수이고 f(x) = a n x n + +a 1 x+ a 0 Z[x] 는 p a n, p a i, 0 i < n, p 2 a 0 을만족한다. 그러면 f(x) 는 Q 상에서기약이다. Proof. f(x) 가 Z 상에서기약임을보이자. f(x) 가 Z[x] 안에서 f(x) = (b r x r + + b 0 )(c s x s + + c 0 ), b r = 0, c s 0, r, s < n

이라고하자. a 0 = b 0 c 0 이므로 p b 0 이고 p c 0 가동시에될수는없다. 이제 p b 0 이고 p c 0 이라고하자. 그리고 a n = b r c s 이므로 p b r 이고 p c s 이다. m 을 p a k 이 성립하는가장작은 k 라고두자. 그러면 a m = b 0 c m + b 1 c m 1 + + b m i c i, 0 i < m 을만족하는 i 가존재한다. p b 0 이고 p c j, 0 j < m 이므로 p a m 이다. 따라서 m = n 이고나아가 s = n 이되어 s < n 에모순이된다. Corollary 0.13. p 가소수일때다항식 은 Q 상에서기약이다. Φ p (x) = xp 1 x 1 = xp 1 + x p 2 + + x + 1 Proof. g(x) := Φ p (x + 1) 이라고두자. 그러면 p 1 ( ) p g(x) = x p k 1 k k=0 이다. Eisenstein 다항식성질에의해 ( 소수 p 를적용 ) g(x) 는 Q 상에서기약임을알 수있다. 이제차수가 p 1 보다작은다항식 r9x), h(x) Q[x] 에대해 Φ p (x) = r(x)h(x) 라고하자. 그러면 g(x) = Φ p (x + 1) = r(x + 1)h(x + 1) 이되어모순이 생긴다. < 연습 > 1. 다항식 x 4 22x 2 + 1은 Q 상에서기약임을보여라. 2. 다음다항식들이 Q 상에서기약인지를판별하여라. (1) 8x 3 6x 2 9x + 24 (2) 2x 10 25x 3 + 10x 2 30 3. x 3 + 17x + 36은 Q 상에서기약임을보여라. ( 풀이 ) 3. f(x) = x 3 + 17x + 36이라두자. f(x) 의계수들을 5로나눈다항식을생각하자. 즉, f(x) x 3 + 2x + 1 (mod 5) 이다. 그러면다항식 g(x) = x 3 + 2x + 1은 Z 5 상에서 g(0), g(1), g(2), g(3), g(4) 가 0 이아니므로일차식을인수로가질수없다. 따라서 g(x) 는 Z 5 상에서기약이된다. 그러므로 f(x) 는 Q 상에서기약이다.

Theorem 0.14. F 는체이고 p(x) F [x] 는기약이라하자. p(x) 가두다항식 r(x), s(x) F [x] 의곱, r(x)s(x) 을나누면 p(x) 는 r(x) 를나누거나또는 s(x) 를나눈다. Proof. 증명은아이디얼이론을이용하여나중에한다. Corollary 0.15. F 는체이고 p(x) F [x] 는기약이라하자. p(x) (r 1 (x)r 2 (x) r n (x)), r i (x) F [x], 1 i n 이면 p(x) r k (x) 가되는 k 가존재한다. Theorem 0.16. F 는체이고 f(x) F [x] 는상수가아니라고하자. 그러면 f(x) 는 F [x] 안에서기약다항식들의곱으로표현되고이표현방법은순서를무시하고상수곱차이를무시할때유일하게결정된다. Proof. 이정리는증명을이해하기보다정리의내용이더중요하므로증명을생략한다. 정리의의미 : 우리는자연수를소인수분해하는것을알고있다. 이를이용하면정수에서도소인수인수분해를할수있다. 그리고곱의순서와 ± 의차이를무시하면이소인수분해는유일하게결정된다. 이와유사한성질이체의원소를계수로하는다항식환에서도성립한다는것이이정리가말해주는내용이다. 비가환체의보기여기서는역사적으로처음등장한비가환체 quaternions에대해소개한다. Q = R R R R이라고하자. 그러면 Q는덧셈연산 (a 1, a 2, a 3, a 4 ) + (b 1, b 2, b 3, b 4 ) := (a 1 + b 1, a 2 + b 2, a 3 + b 3, a 4 + b 4 ) 에대해가환군이된다. 이제 Q 상에서곱셈을정의해보자. 먼저 1 := (1, 0, 0, 0), i := (0, 1, 0, 0), j := (0, 0, 1, 0), k := (0, 0, 0, 1) 이라두자. 그러면 (a 1, a 2, a 3, a 4 ) = a 1 1 + a 2 i + a 3 j + a 4 k 이다. Q 상에서곱셈을정의하기위해우선다음을정의한다. a1 = 1a = a, a Q,

i 2 = j 2 = k 2 = 1, ij = k, jk = i, ki = j, ji = k, kj = i, ik = j. 그리고 Q 의두원소의곱은분배법칙이성립하도록다음같이정의한다. (a 1 1 + a 2 i + a 3 j + a 4 k)(b 1 1 + b 2 i + b 3 j + b 4 k) = (a 1 b 1 a 2 b 2 a 3 b 3 a 4 b 4 )1 + (a 1 b 2 + a 2 b 1 + a 3 b 4 a 4 b 3 )i (a 1 b 3 a 2 b 4 + a 3 b 1 + a 4 b 2 )j + (a 1 b 4 + a 2 b 3 a 3 b 2 + a 4 b 1 )k. Theorem 0.17. Q 는위에서정의된두연산에대해비가환체이다. Proof. 비가환체가가되기위한당연히성립하는성질들은제외하고여기서는가 장중요한성질인 0 Q 아닌원소들이단원이된다는것만증명해보자. v = a 1 1+a 2 i+a 3 j+a 4 k 0 Q 이라고하자. 그리고 v := a 2 1 + a 2 2 + a 2 3 + a 2 4 이라고 하자. 이때 v 1 := 1 v (a 11 a 2 i a 3 j a 4 k) 이라두면 vv 1 = v 1 v = 1 이됨을알수있다.