본문으로 건너뛰기

장 5 환의 여러 종류

환이나 아이디얼이 만족할 수 있는 몇 가지 좋은 성질을 살펴보며 환에 대한 탐구를 이어 가겠습니다. 이 성질들은 나중에 유용하게 쓰입니다. 이전과 마찬가지로 동기 부여를 위해 정수론을 곳곳에 함께 다룹니다. 무엇을 기대하면 되는지 알 수 있도록, 완성된 표가 어떤 모습일지 처음부터 알려 드리겠습니다.

환 (명사) 아이디얼 (형용사) 관계
PID 주 R이 PID입니다 ⇔ R이 정역이고,
    모든 I가 주 아이디얼입니다
뇌터 환 유한 생성 R이 뇌터 환입니다 ⇔ 모든 I가 유한 생성입니다
체 극대 R/I가 체입니다 ⇔ I가 극대 아이디얼입니다
정역 소 R/I가 정역입니다 ⇔ I가 소 아이디얼입니다

5.1 체

대표적인 예: ℚ는 체이지만 ℤ는 체가 아닙니다.

이 정의는 지난 장에서 이미 보았습니다. 체 K는 모든 0이 아닌 원소가 단원인 자명하지 않은 환입니다.

특히 체에는 아이디얼이 두 개뿐입니다. 하나는 극대 아이디얼인 (0)이고, 다른 하나는 체 K 전체입니다.

5.2 정역

대표적인 예: ℤ는 정역입니다.

실제로는 온전한 체를 얻을 만큼 운이 좋은 경우가 많지 않습니다. 그래도 영곱 성질, 즉 ab=0이면 a=0 또는 b=0이라는 결론은 여전히 얻을 수 있으면 좋을 것입니다. 우리의 환이 체라면 이는 참입니다. b≠0이면 b−1를 곱하여 a=0을 얻을 수 있기 때문입니다. 그런데 ℤ나 ℤ[x]처럼 우리가 다루는 다른 많은 환도 나눗셈이 없는데도 이 성질을 가집니다.

하지만 모든 환이 그런 것은 아닙니다. ℤ/15ℤ에서는,

3⋅5≡0(mod15).

a,b≠0인데 ab=0이면 a와 b를 환 R의 영인자라고 합니다. 그래서 이런 환에 이름을 붙입니다.

정의 5.2.1.

영인자가 없는 비자명환을 정역이라고 합니다.111일부 저자, 특히 Artin은 이를 “domain”으로 줄여 부릅니다.

질문 5.2.2.

체는 정역임을 보이십시오.

연습문제 5.2.3 (정역에서의 소거).

정역에서 ac=bc이고 c≠0이라고 합시다. a=b임을 보이십시오. (곱할 c−1가 없으므로 정의를 사용해야 합니다.)

예제 5.2.4 (정역의 예).

모든 체는 정역이므로 앞의 예가 모두 해당됩니다. 이 밖에도 다음과 같은 예가 있습니다.

  1. (a)

    ℤ는 정역이지만 체는 아닙니다.

  2. (b)

    xP(x)=1인 다항식 P(x)가 없으므로 ℝ[x]는 체가 아닙니다. 그러나 P(x)Q(x)=0이면 P 또는 Q 중 하나가 0이므로 ℝ[x]는 정역입니다.

  3. (c)

    ℤ[x] 역시 정역의 한 예입니다. 사실 임의의 정역 R에 대해 R[x]는 정역입니다(왜 그럴까요?).

  4. (d)

    ℤ/nℤ은 n이 소수일 때, 그리고 그때에만 체(따라서 정역)입니다. n이 소수가 아니면 환이기는 하지만 정역은 아닙니다.

자명환 0은 정역으로 간주하지 않습니다.

여기서 한 걸음 더 나아가 다음과 같이 정의합니다.

정의 5.2.5.

모든 아이디얼이 주 아이디얼인 정역을 주 아이디얼 정역(PID)이라고 합니다.

아이디얼 (a,b)는 gcd 연산을 환에서 흉내 낸 것임을 떠올리십시오. 따라서 이 정의가 본질적으로 말하는 바는 다음과 같습니다. 원소들의 모임 {ai}를 아무렇게나 택하더라도, 모든 ai로 생성된 아이디얼은 실제로는 단 하나의 원소 a로 생성됩니다.

다시 말해,

PID에서는 임의의 원소들의 모임에 대해 gcd를 취할 수 있습니다.

환 ℤ/6ℤ는 주 아이디얼 환이지만 정역은 아닌 환의 예입니다. 앞서 넌지시 언급했듯이, 우리는 “주 아이디얼 환”이라는 개념을 실질적으로 사용할 일이 거의 없습니다. 보통은 이를 PID로 강화하여 사용하고자 할 것입니다.

5.3 소 아이디얼

대표적인 예: (5)는 ℤ의 소 아이디얼입니다.

우리는 모든 정수가 (부호를 제외하면) 소수들의 곱으로 유일하게 인수분해된다는 것을 알고 있습니다. 예를 들어 15=3⋅5이고 −10=−2⋅5입니다. 그 증명에 이른바 Bézout의 보조정리가 쓰인다는 것을 기억하실지도 모르겠습니다. 이 보조정리는 본질적으로 (a,b)=(gcd(a,b))임을 말해 줍니다. 다시 말해, 우리는 ℤ가 PID라는 사실을 신중하게 활용한 것입니다.

알고 보면, 대부분의 환은 PID가 아니기 때문에 일반적인 환에서는 원소를 인수분해할 때만큼 상황이 좋지 않습니다. 문제가 생기는 고전적인 예는 다음과 같습니다.

6=2⋅3=(1−−5)(1+−5)

이는 ℤ[−5]에서의 예입니다. 그럼에도 불구하고, 우리는 이 문제를 비켜 가서 아이디얼의 인수분해에 대해 이야기할 수 있습니다. 어떤 식으로든 10=2⋅5라는 예는 (10)=(2)⋅(5)가 되어야 하며, 이는 “10의 모든 배수는 2의 배수와 5의 배수의 곱이다”라는 뜻입니다. 그러려면 두 아이디얼을 곱하는 방법을 설명해야 하는데, 이는 유일 인수분해에 관한 장에서 다룹니다.

적어도 소수가 무엇인지는 알아봅시다. ℤ에서 p≠1이 소수라는 것은 p∣xy일 때마다 p∣x이거나 p∣y라는 것입니다. 우리는 이 정의를 아이디얼의 세계로 옮겨 옵니다.

정의 5.3.1.

진 아이디얼 I⊊R가 xy∈I일 때마다 x∈I이거나 y∈I이면, I를 소 아이디얼이라고 합니다.

I가 진 아이디얼이어야 한다는 조건은 우리가 1을 소수로 간주하지 않는다는 사실과 유사합니다.

예제 5.3.2 (소 아이디얼의 예와 반례).
  1. (a)

    ℤ의 아이디얼 (7)은 소 아이디얼입니다.

  2. (b)

    2⋅4=8이므로 ℤ의 아이디얼 (8)은 소 아이디얼이 아닙니다.

  3. (c)

    ℤ[x]의 아이디얼 (x)는 소 아이디얼입니다.

  4. (d)

    x⋅x=x2이므로 ℤ[x]의 아이디얼 (x2)은 소 아이디얼이 아닙니다.

  5. (e)

    ℤ[x]의 아이디얼 (3,x)는 소 아이디얼입니다. 사실 이는 아래의 정리 5.3.5를 이용하면 가장 쉽게 알 수 있습니다.

  6. (f)

    ℤ[i]의 아이디얼 (5)=5ℤ+5iℤ는 소 아이디얼이 아닙니다. 원소 3+i와 3−i의 곱은 10∈(5)이지만, 두 원소 모두 그 자체로는 (5)에 속하지 않기 때문입니다.

비고 5.3.3.

아이디얼은 “부호 문제”를 없애 준다는 좋은 성질을 가지고 있습니다. 예를 들어 ℤ에서 −3을 소수로 보아야 하겠습니까? 아이디얼로 표현하면 이러한 번거로움이 사라집니다. (−3)=(3)이기 때문입니다. 더 일반적으로, 환 R에서 아이디얼로 이야기하면 단위에 의한 곱셈을 무시할 수 있습니다. (−1은 ℤ의 단위라는 점에 유의하십시오.)

연습문제 5.3.4.

영 아이디얼 (0)이 소 아이디얼인 환 R을 무엇이라고 부릅니까?

또한 다음이 성립합니다.

정리 5.3.5 (소 아이디얼 ⇔ 몫이 정역).

아이디얼 I가 소 아이디얼일 필요충분조건은 R/I가 정역인 것입니다.

연습문제 5.3.6 (필수).

이 정리가 참임을 스스로 납득하십시오. 정의를 따라가기만 하면 됩니다. (한 가지 시작 방법은 R=ℤ와 I=(15)를 생각해 보는 것입니다.)

유감스럽게도 “소” 아이디얼이라는 개념을 도입해도 유일 인수분해는 여전히 성립하지 않는다는 것을 이제 알려 드려야겠습니다(다만 앞서 말했듯이 두 아이디얼을 곱하는 방법은 아직 설명하지 않았습니다). 그러나 대수적 정수론에서 등장할 몇 가지 추가 가정이 있으면 유일 인수분해가 성립하게 됩니다(관련 키워드: 데데킨트 정역).

5.4 극대 아이디얼

대표적인 예: 몫을 취해 보면 아이디얼 (x,5)는 ℤ[x]에서 극대입니다.

아이디얼의 또 다른 종류를 소개합니다.

정의 5.4.1.

환 R의 진 아이디얼 I가 다른 어떤 진 아이디얼에도 포함되지 않으면, I를 극대라고 합니다.

예제 5.4.2 (극대 아이디얼의 예).
  1. (a)

    ℤ의 아이디얼 I=(7)은 극대입니다. 아이디얼 J가 7과 I에 속하지 않는 원소 n을 포함한다면 J는 gcd(7,n)=1을 포함해야 하고, 따라서 J=ℤ이기 때문입니다.

  2. (b)

    아이디얼 (x)는 ℤ[x]에서 극대가 아닙니다. (x)는 (다른 것들도 있지만) (x,5)에 포함되기 때문입니다.

  3. (c)

    반면 (x,5)는 실제로 ℤ[x]에서 극대입니다. 이는 아래의 정리 5.4.4를 이용하면 가장 쉽게 확인할 수 있습니다.

  4. (d)

    또한 (x)는 ℂ[x]에서 극대입니다. 이 역시 아래의 정리 5.4.4를 이용하면 알 수 있습니다.

연습문제 5.4.3.

영 아이디얼 (0)이 극대인 환 R을 무엇이라고 부릅니까?

소 아이디얼에 대한 정리와 유사한 정리가 있습니다.

정리 5.4.4 (I 극대 ⇔ R/I 체).

아이디얼 I가 극대일 필요충분조건은 R/I가 체인 것입니다.

증명.

환이 체일 필요충분조건은 (0)이 유일한 극대 아이디얼인 것입니다. 따라서 이는 문제 4D에 의해 따라 나옵니다. ∎

따름정리 5.4.5 (극대 아이디얼은 소 아이디얼입니다).

I가 환 R의 극대 아이디얼이면 I는 소 아이디얼입니다.

증명.

I가 극대이면 R/I는 체이고, 따라서 정역이므로 I는 소 아이디얼입니다. ∎

실제로는 생성된 아이디얼로 몫을 취하는 것이 꽤 편리하기 때문에, 이는 아이디얼이 극대인지 확인하는 매우 효율적인 방법입니다.

예제 5.4.6 (ℤ[x]에서 몫 취하기).
  1. (a)

    이로부터 (x,5)가 ℤ[x]의 극대 아이디얼임을 곧바로 알 수 있습니다. ℤ[x]에서 x와 5로 몫을 취하면 체인 𝔽5를 얻기 때문입니다.

  2. (b)

    반면 x만으로 몫을 취하면 ℤ를 얻는데, 이는 정역이지만 체는 아닙니다. 이것이 (x)가 소 아이디얼이지만 극대는 아닌 이유입니다.

앞서 보았듯이 모든 극대 아이디얼은 소 아이디얼입니다. 그런데 이제 ℤ에는 0이 아닌 모든 소 아이디얼이 극대이기도 하다는 특별한 성질이 있다는 점에 주목하십시오. 이 조건과 몇 가지 사소한 조건을 더하면, 아이디얼의 소인수분해가 실제로 성립하는 이른바 데데킨트 정역을 얻습니다. 이에 대해서는 나중에 더 다룹니다.

5.5 분수체

대표적인 예: Frac(ℤ)=ℚ.

이왕 여기까지 온 김에, 임의의 정역을 체로 바꾸어 주는 유용한 구성을 소개하겠습니다.

정의 5.5.1.

정역 R이 주어졌을 때, R의 분수체(field of fractions) 또는 분수체(fraction field) Frac(R)를 다음과 같이 정의합니다. Frac(R)는 a,b∈R이고 b≠0인 원소 a/b들로 이루어집니다. bc=ad일 때, 그리고 그때에만 a/b∼c/d로 둡니다. 덧셈과 곱셈은 다음과 같이 정의됩니다

ab+cd =ad+bcbd
ab⋅cd =acbd.

사실 ℚ에 대해 알고 있는 모든 것이 기본적으로 유추를 통해 그대로 적용됩니다. 원한다면 이것이 실제로 체임을 증명할 수도 있지만, ℚ가 잘 정의된다는 사실을 우리가 얼마나 당연하게 받아들이는지를 생각하면 저라면 그것에 대해 걱정하지 않겠습니다…

정의 5.5.2.

k를 체라고 합시다. k(x)=Frac(k[x])로 정의하고(“k of x”라고 읽습니다), 이를 유리함수체라고 부릅니다.

예제 5.5.3 (분수체의 예).
  1. (a)

    정의에 의해 Frac(ℤ)=ℚ입니다.

  2. (b)

    체 ℝ(x)는 x에 대한 유리함수들로 이루어집니다:

    ℝ(x)={f(x)g(x)∣f,g∈ℝ[x]}.

    예를 들어 2xx2−3이 전형적인 원소일 것입니다.

예제 5.5.4 (가우스 유리수).

표기 남용으로 ℤ[i]를 정의했던 것처럼, ℚ(i)=Frac(ℤ[i])라고도 쓸 수 있습니다. 공식적으로 이는 다음으로 이루어져야 합니다.

ℚ(i)={f(i)g(i)∣g(i)≠0}

여기서 f와 g는 유리수 계수를 갖는 다항식입니다. 하지만 i2=−1이므로 이는 결국 다음과 같이 됩니다.

ℚ(i)={a+bic+di∣a,b,c,d∈ℚ,(c,d)≠(0,0)}.

그리고 1c+di=c−dic2+d2이므로 결국 다음을 얻습니다.

ℚ(i)={a+bi∣a,b∈ℚ}.

5.6 유일 인수분해 정역(UFD)

대표적인 예: ℤ와 일반적인 다항식환.

여기 정수론에 관심이 있는 분들에게 중요할 곁가지 정의가 하나 있습니다. 양의 정수에 대해서는 산술의 기본정리가 성립하는데, 이는 모든 정수가 소수들의 곱으로 유일하게 나타내어진다는 것입니다.

6=(−2)(−3) 같은 표현 등을 허용한다면 ℤ나 ℤ[i]에서도 유사한 명제를 세울 수 있습니다. 요령은 모든 것을 단원 차이를 무시하고 고려한다는 것입니다. 따라서 6=(−2)(−3)=2⋅3은 같은 것으로 간주됩니다.

일반적인 정의는 다음과 같습니다.

정의 5.6.1.

정역 R의 0이 아닌 비단원이 두 비단원의 곱으로 쓰일 수 없으면 이를 기약이라고 합니다.

정역 R의 0이 아니고 단위도 아닌 모든 원소를 기약 원소들의 곱으로 나타낼 수 있고, 그 표현이 단위의 곱셈을 제외하면 유일할 때, R을 유일 인수분해 정역이라고 합니다.

질문 5.6.2.

ℤ가 UFD임을 확인하십시오.

예제 5.6.3 (UFD의 예).
  1. (a)

    체는 UFD의 “퇴화된” 예입니다. 모든 0이 아닌 원소가 단위이므로 확인할 것이 없습니다.

  2. (b)

    ℤ는 UFD입니다. 기약 원소는 p와 −p이며, 예를 들어 5나 −17이 있습니다.

  3. (c)

    ℚ[x]는 UFD입니다. 유리수 계수 다항식은 상수배 차이를 제외하고 유일하게 인수분해될 수 있습니다(ℚ[x]의 단원은 바로 유리수들이기 때문입니다).

  4. (d)

    ℤ[x]는 UFD입니다.

  5. (e)

    가우스 정수 ℤ[i] 역시 UFD임이 밝혀집니다(이는 대수적 정수론에 관한 장들에서 증명할 것입니다).

  6. (f)

    ℤ[−5]는 UFD가 아닌 고전적인 예입니다. 다음과 같이 쓸 수 있지만

    6=2⋅3=(1−−5)(1+−5)

    2, 3, 1±−5는 각각 기약원입니다. (이를 바로잡는 올바른 방법은 대신 소 아이디얼을 고려하는 것임이 밝혀지며, 이것이 부 XIV의 큰 동기 중 하나입니다.)

  7. (g)

    증명하지 않을 정리: R이 UFD이면 R[x]도 UFD입니다(따라서 귀납법에 의해 R[x,y], R[x,y,z], …도 UFD입니다).

다음 정리가 성립합니다.

정리 5.6.4.

R이 PID라고 합시다. 그러면 R은 UFD입니다.

위의 반례를 살펴보면 다음과 같습니다.

6=2⋅3=(1−−5)(1+−5)

여기서 ℤ[−5]가 UFD가 되지 못한다는 사실은 어떤 인수도 더 이상의 기약 인수로 분해할 수 없다는 사실에 반영되어 있습니다. 실제로 아이디얼

(2,1+−5)

은 주 아이디얼이 아닙니다 — 2와 1+−5의 gcd가 되는 원소는 존재하지 않습니다.

비슷한 방식으로, 기약 인수로의 분해가 존재한다고 가정하면 PID가 UFD임을 증명할 수 있습니다.

5.7 보충: 유클리드 정역

이 장은 이후에 사용되지 않지만, 역사적으로 흥미로운 내용입니다.

PID는 임의의 원소족의 gcd를 취할 수 있는 환임을 상기하십시오.

ℤ의 두 원소의 gcd를 계산하는 가장 널리 알려진 알고리즘이 유클리드 알고리즘이라는 것은 모두 알고 있습니다.

  • •

    두 정수 a와 b에서 시작합니다.

  • •

    a와 b 중 하나가 0이면 증명이 끝납니다. gcd는 0이 아닌 원소입니다.

  • •

    그렇지 않으면 |a|≥|b|라고 가정하고, a를 b로 나누어 |r|<|b|를 만족하는 나머지 r을 얻은 뒤, a를 r로 바꾸고 알고리즘을 계속합니다.

이 알고리즘은 매우 효율적입니다 — 이 알고리즘이 a와 b의 크기에 대해 로그 수준의 단계만 거친다는 것을 증명할 수 있습니다 — 예를 들어 a와 b가 10100 정도의 크기라면, 최악의 경우에도 500단계면 충분합니다.

자연스럽게 다음과 같은 질문이 제기됩니다.

어떤 환에서 같은 알고리즘을 수행할 수 있습니까?

실제로 여러 환에서 이것이 가능함을 보게 될 것입니다! 예를 들어 가우스 정수환 ℤ[i], 아이젠슈타인 정수환 ℤ[ω] 등이 있습니다.

위의 알고리즘 설명을 살펴보면, 무엇이 알고리즘을 작동하게 합니까? 바로 두 수의 크기를 비교하는 데 쓰이는 절댓값 |⋅|이며, 이 절댓값은 두 가지 조건을 만족합니다.

  • •

    이 함수는 음이 아닌 정수 값을 출력합니다. 그러므로 알고리즘은 결국 종료됩니다.

  • •

    b≠0인 임의의 두 환 원소 a와 b에 대해, r=a−qb의 절댓값이 b보다 작아지도록 하는 q가 존재합니다.

따라서 자연스럽게, 비슷한 정숫값 함수를 갖는 환이라면 어떤 환에서든 이 알고리즘을 수행할 수 있습니다. 위의 두 조건을 만족하는 함수 N:R→ℤ≥0를 유클리드 노름이라 하고, 노름을 갖는 정역 R을 유클리드 정역이라고 합니다. 여기서 노름의 값은 음이 아닌 정수입니다.

예제 5.7.1 (가우스 정수환은 유클리드 정역입니다).

ℤ[i]에서 다음의 통상적인 노름은

|a+bi|=a2+b2

유클리드 노름입니다.

실제로, b≠0인 임의의 원소 a와 b에 대하여 a를 b로 나눈 나머지 r을 계산할 수 있습니다. q를 ab에 가장 가까운 가우스 정수라 하고(즉, |ab−q|가 최소가 되도록 하고) r=a−bq라 하면, |r|<|b|임을 증명할 수 있습니다.

증명은 |ab−q|<1임을 보임으로써 이루어집니다 — 복소평면에 매장된 ℤ[i]의 점들이 이루는 격자를 살펴보면, 임의의 값 ab∈ℂ를 가장 가까운 정수로 반올림할 때 움직이는 거리는 최대 22<1입니다.

예제 5.7.2 (아이젠슈타인 정수환은 유클리드 정역입니다).

마찬가지로 ω=1+3i2라 하면(즉, ω3=−1), ℤ[ω]는 다음의 통상적인 노름에 대해 유클리드 정역입니다

|a+bi|=a2+b2

또는 동치로

|a+bω|=a2+ab+b2.
예제 5.7.3 (환 ℤ[11]은 유클리드 정역입니다).

앞에서와 같습니다. 이번에는 자연스러운 노름222이 노름이 자연스러운 노름인 이유에 대한 설명은 절 54.1를 참조하십시오.이 다음과 같습니다:

Nℚ(11)/ℚ(a+b11)=(a+b11)(a−b11)=a2−11b2.

유클리드 노름이 필요하므로 노름을 다음과 같이 택하겠습니다: N(a+b11)=|a2−11b2|.

b≠0인 ℤ[11]의 두 원소 a와 b가 주어졌을 때, 앞에서와 같이 r=a−qb로 두어 N(r)<N(b)를 만족하는 r을 계산해 보겠습니다.

이번에는 ℤ[11]을 점들의 격자로 그릴 수 없습니다 — ℝ에서 조밀하기 때문입니다 — 따라서 각 점 a+b11을 좌표 (a+b11,a−b11)에 그리겠습니다.

노름이 <1인 점들의 집합을 아래에 그리겠습니다.

(허수 이차체, 즉 정수 d에 대한 ℚ(−d)에서와 같은) 공 대신, 노름이 1인 점들의 집합은 쌍곡선을 이룹니다.

그러므로 가장 가까운 점으로 반올림하는 것이 항상 최선의 방법은 아닙니다 — 그럼에도 (ℤ[i]의 경우와 비슷하게 모든 경우를 확인하는 방법으로) 모든 값 ab∈ℚ(11)에 대하여 N(ab−q)<1을 만족하는 q∈ℤ[11]가 존재함을 증명할 수 있습니다. 따라서 N은 유클리드 노름입니다.

그렇기는 하지만, 유클리드 정역의 자연스러운 노름이 유클리드 노름이 아닐 때도 있습니다. ℤ[1+692]가 그 첫 번째 예입니다.

예제 5.7.4 (ℚ[x]는 유클리드 정역입니다).

마찬가지로 ℚ[x]에서는 노름을 다항식의 차수로 둘 수 있습니다 — 나머지가 있는 다항식 나눗셈 알고리즘이 gcd 계산을 해결해 줍니다.

PID라는 주제로 돌아갑시다. 유클리드 정역에서는 임의의 두 원소의 gcd를 계산할 수 있습니다. 그렇다면 원소들의 무한족에 대해서는 어떻겠습니까?

알고 보니 상황이 매우 좋습니다:

명제 5.7.5.

유클리드 정역은 PID입니다.

사실, 원소들의 무한족의 gcd를 계산하는 명시적인 알고리즘을 제시할 필요는 없습니다 — 물론 그러한 알고리즘은 유한한 시간 안에 끝날 수 없습니다! — gcd가 존재한다는 것만 보이면 되므로, 편법을 써서 빠져나갈 수 있습니다.

유클리드 알고리즘에서는 원소들 중 하나가 0이 될 때까지 원소들의 노름이 계속 감소한다는 점에 주목하십시오. 따라서 원소들의 임의의 족이 주어지면, 이 원소들로 생성되는 아이디얼을 택하고 — 분명히 gcd는 그 아이디얼 안에 있습니다 — 노름이 가장 작은 0이 아닌 원소를 택합니다. 이것이 바로 gcd입니다.

이러한 직관을 염두에 두고 증명을 형식화하겠습니다:

증명.

I를 임의의 아이디얼이라고 합시다. I가 주 아이디얼임을 보여야 합니다.

a를 I에서 노름이 가장 작은 0이 아닌 원소라고 합시다 — ℤ≥0이 정렬 집합이므로 이러한 원소가 존재합니다.

질문 5.7.6.

다른 모든 원소 b∈I에 대하여 a∣b임을 보이십시오.

따라서 I=(a)이므로 증명이 끝났습니다. ∎

예제 5.7.7 (환 ℤ[1+−192]는 유클리드 정역이 아닙니다).

R=ℤ[1+−192]라고 합시다.

위의 예를 염두에 두면, 이 환에 대해 무엇을 말할 수 있겠습니까?

사실 이 환은 주 아이디얼 정역이지만(여기서는 증명하지 않겠습니다), 실제로 이 환에는 유클리드 노름이 존재하지 않습니다.

위의 주장을 증명하겠습니다. 전체적인 계획은 다음과 같습니다:

  • •

    유클리드 노름이 존재하면 우리가 보편 곁약수라고 부르는 것이 존재함을 보이십시오.

  • •

    R에 보편 곁약수가 없음을 보이십시오.

  • •

    따라서 R은 유클리드 노름을 가질 수 없습니다.

먼저 위에서 본 ℤ[i]와 ℤ[ω]의 예를 살펴보십시오. 단원이 노름이 가장 작은 원소임을 알 수 있습니다.

지금까지는 쓸모 있는 것이 없습니다 — 모든 환에는 단원 1이 있습니다. 다음으로 노름이 그다음으로 작은 원소들을 살펴보겠습니다:

  • •

    ℤ[i]에서 원소 1+i는 노름이 2이며, 0도 단원도 아닌 원소 중 노름이 가장 작은 원소입니다. (다른 원소들은 ±1±i입니다.)

  • •

    ℤ[ω]에서 단원은 노름이 1인 {±1,±ω,±(ω−1)}입니다. 노름이 그다음으로 작은 원소는 노름이 3인 1+ω입니다.

이제 증명을 진행하기 위해 곁약수를 정의해야 합니다. 어떤 q가 존재하여 a=bq이면 b를 a의 약수라고 했던 것을 떠올리십시오. 어떤 q가 존재하여 나머지 a−bq가 0이거나 단원이면, b를 a의 곁약수(“거의 약수”라고 읽습니다)라고 합니다.

예제 5.7.8.

ℤ[i]에서 b=3+i를 생각해 봅시다. b∣a를 만족하는 수 a의 집합이 아래에 빨간색으로 그려져 있습니다.

이러한 a 값들에 단원을 더하면 b가 a의 곁약수가 되는 수 a의 집합을 얻으며, 이로써 “거의 약수”라는 개념을 그림으로 나타낼 수 있습니다.

b가 a의 곁약수가 되는 점 a들이 아래에 빨간색과 파란색으로 표시되어 있습니다.

마지막으로, 모든 원소 a∈R에 대하여 b가 a의 곁약수일 때 수 b를 보편 곁약수라고 정의합니다.

예제 5.7.9.

위와 비슷한 그림을 그려 보면, ℤ[i]에서 2+i와 1+i가 곁약수임을 알 수 있습니다.

이제 위에서 살펴본 두 개념 사이의 연관성을 알아봅시다.

보조정리 5.7.10.

유클리드 정역에서 단원이 아닌 0이 아닌 원소 중 노름이 가장 작은 원소 b는 보편 곁약수입니다.

증명.

임의의 수와 b에 대해 유클리드 알고리즘을 한 단계만 실행하십시오. 나머지는 0이거나 단원이어야 합니다. ∎

그리고 마지막으로,

명제 5.7.11.

R에는 보편 곁약수가 없습니다.

증명.

모든 수는 a2+b−192 꼴이며, 여기서 a와 b는 홀짝성이 같습니다. a24+19b24로 정의되는 복소수의 절댓값은 곱셈적이며, −1,0,1을 제외한 ℤ[1+−192]의 모든 수에 대해 1보다 큽니다. −1,0,1의 절댓값은 각각 1,0,1입니다. 이 환에는 절댓값이 0보다 크고 1보다 작은 수가 없으므로, 절댓값이 1보다 큰 이 환의 모든 수는 환 안에서 곱셈에 대한 역원을 갖지 않습니다. 따라서 단원은 1과 −1뿐입니다.

환의 모든 원소에 x를 곱하면, 복소평면에서 원소 쌍 사이의 거리는 |x|배가 됩니다. 처음에 원소 쌍 사이의 거리는 적어도 1이었습니다.

  • •

    x가 실수이고 |x|≥2이면 xR에는 a+−192 꼴의 원소가 없으므로, x는 보편 곁약수가 아닙니다.

  • •

    x가 실수가 아니고 |x|≥2이면, xR의 원소는 곱하기 전의 원소가 실수가 아니었을 때에만 실수가 될 수 있습니다. 따라서 실수축 위에 있는 xR의 원소는 절댓값이 적어도 2|1+−192|=25≥4입니다. 그러므로 x는 2의 곁약수가 아니고, 따라서 x는 보편 곁약수가 아닙니다.

R에는 보편 곁약수가 없으므로 R은 유클리드 정역이 아닙니다. ∎

5.8 생각해 볼 만한 조금 더 어려운 문제

올림피아드 문제는 아니지만, 이번에도 그 정신은 올림피아드에서 볼 법한 문제와 매우 가깝습니다.

문제 5A.

다음 환을 생각해 봅시다.

ℚ[2]={a+b2∣a,b∈ℚ}.

이것은 체입니까?

힌트. 그렇습니다.

문제 5B (체에서 나가는 준동형사상은 단사입니다).

K를 체, R을 자명하지 않은 환이라고 합시다. 임의의 준동형사상 ψ:K→R가 단사임을 증명하십시오.333여기서는 ψ(1K)=1R을 요구하므로 ψ가 영사상일 수 없다는 점에 유의하십시오. 문헌에 따라 다른 서술을 볼 수도 있습니다.

힌트. 핵은 K의 아이디얼입니다!

문제 5C (소 아이디얼의 역상).

ϕ:R→S가 환 준동형사상이고 I⊆S가 소 아이디얼이라고 합시다. ϕpre(I) 역시 소 아이디얼임을 증명하십시오.

힌트. 정의를 따라가기만 하면 됩니다.

풀이. ab∈ϕpre(I), 즉 ϕ(ab)=ϕ(a)ϕ(b)∈I라고 합시다. I가 소 아이디얼이므로 ϕ(a)∈I이거나 ϕ(b)∈I입니다. 전자의 경우 원하는 대로 a∈ϕpre(I)를 얻고, 후자의 경우 b∈ϕpre(I)를 얻습니다.

문제 5D.
††margin: [Uncaptioned image]

R을 원소가 유한 개인 정역이라고 합시다. R이 체임을 증명하십시오.

힌트. 페르마의 소정리 유형의 논증을 사용하십시오. 정역에서는 소거법칙이 성립합니다.

풀이. x≠0인 x∈R을 생각합시다. 거듭제곱 x, x2, …를 살펴봅시다. 비둘기집 원리에 의해 결국 그중 두 개가 일치합니다. 따라서 m<n에 대해 xm=xn이라고 가정합시다. 이는 다음과 동치입니다.

0=x⋅x⋅⋯⋅x⋅(xn−m−1).

x≠0이므로 xn−m−1=0, 즉 xn−m=1을 얻습니다. 따라서 xn−m−1은 x의 역원입니다.

이는 모든 0이 아닌 원소가 역원을 가진다는 뜻이므로, R은 체입니다.

문제 5E (크룰 정리).

R을 환이라 하고 J를 진 아이디얼이라 합시다.

  1. (a)

    R이 뇌터 환이면 J가 어떤 극대 아이디얼 I에 포함됨을 증명하십시오.

  2. (b)

    초른 보조정리(장 88)를 사용하여 R이 뇌터 환이 아닌 경우에도 이 결과가 성립함을 증명하십시오.

힌트. 원소를 계속 추가하여 오름 사슬을 얻으십시오.

풀이. (b)에서는 진 아이디얼들의 부분순서집합을 살펴보십시오. 초른 보조정리를 적용하십시오(이번에도 합집합 기법으로 조건을 확인하되, 그 합집합이 진 아이디얼인지 반드시 확인하십시오!). (a)에서는 무한 오름 사슬이 없다는 조건이 주어지므로 초른 보조정리를 사용할 필요가 없습니다.

문제 5F (Speck[x]).

ℂ[x]와 ℝ[x]의 소 아이디얼을 기술하십시오.

힌트. 두 환이 모두 PID라는 사실을 이용하십시오.

풀이. 아이디얼 (0)은 물론 두 환 모두에서 소 아이디얼입니다. 또한 두 환은 모두 PID입니다.

ℂ[x]의 경우, 각 z∈ℂ마다 소 아이디얼 (x−z)를 얻습니다.

ℝ[x]의 경우, 각 a∈ℝ마다 소 아이디얼 (x−a)를 얻고, 서로 켤레인 두 비실근을 갖는 각 이차식마다 소 아이디얼 (x2−ax+b)를 얻습니다.

문제 5G.

ℤ[2017]의 소 아이디얼 중 극대 아이디얼이 아닌 것은 몇 개입니까?

힌트. 0이 아닌 임의의 소 아이디얼 I에 대하여 몫 ℤ[2017]/I가 유한 개의 원소를 가짐을 보이십시오. 그러면 이 몫은 정역이므로 체이기도 하며, 따라서 I는 극대 아이디얼입니다.

풀이. 단 하나, 극대 아이디얼이 아닌 아이디얼 (0)뿐입니다. 그 밖의 모든 소 아이디얼은 극대 아이디얼이라고 주장합니다.

실제로 I를 임의의 아이디얼(소 아이디얼일 필요는 없음)이라고 하고, a+b2017을 그 0이 아닌 원소라고 합시다. 그러면 I는 (a2−2017b2)도 포함합니다. 즉 I로 나눈 나머지를 생각할 때, 정수 n≔|a2−2017b2|≠0으로 나눈 나머지를 생각해도 됩니다.

따라서 R의 모든 원소는 I를 법으로 하여 x,y∈{0,1,…,n−1}인 x+y2017 꼴의 원소와 합동입니다. 다시 말해, 몫 R/I는 기껏해야 유한 개의 원소를 가집니다.

I가 소 아이디얼이면 R/I도 정역이 됩니다. 원소가 유한 개인 정역은 반드시 체입니다. 따라서 R/I가 체이므로 I는 극대 아이디얼이라고 결론지을 수 있습니다.

문제 5H.

q를 기약분수로 나타냈을 때 분모가 5의 배수가 아닌 유리수 q 전체의 집합을 R이라 합시다. 그러면 R은 (통상적인 덧셈과 곱셈에 대하여) 환입니다. R의 아이디얼을 모두 분류하십시오. 이 아이디얼 중 어느 것이 소 아이디얼 / 극대 아이디얼입니까?

풀이. 아이디얼은 (0), (1)=R, 그리고 각 n≥1에 대한 (5n)=5nR입니다. 아이디얼 (0)은 소 아이디얼이고 아이디얼 (5)는 극대 아이디얼입니다(몫 R/(5)≅𝔽5가 체이기 때문입니다).

문제 5I.

문제 4H에서 환 R이 내림 사슬 조건을 만족할 때, 즉 아이디얼의 무한 하강 사슬 I1⊋I2⊋I3⊋…이 존재하지 않을 때 R을 아르틴 환이라고 했던 것을 떠올리십시오.

  1. (a)

    R이 아르틴 환이면서 정역이면 체임을 보이십시오.

  2. (b)

    더 일반적으로, 아르틴 환의 모든 소 아이디얼은 극대 아이디얼임을 보이십시오.