아이디얼

최근 수정 시각 : 2023-05-20 20:18:34 | 조회수 : 28

Ideal, 이데알

RR의 원소들을 곱셈으로 흡수하는 RR의 가법적 부분군을 말하는 것으로, 쿠머가 제시한 이상수(ideal number)의 개념을 데데킨트가 일반화시킨 것이다.

목차

1. 정의
2. 예시
3. 아이디얼의 생성
4. 종류
5. 연산
5.1. 덧셈
5.2. 곱셈
6. 영상

1. 정의

RR의 부분집합 II에 대해 (I,+)(I,+)(R,+)(R, +)의 부분군일 때
xI,rR:(xrI)(rxI)\forall x \in I, \forall r \in R :(x \cdot r \in I)\wedge(r\cdot x \in I)

이면 IIRR의 아이디얼(Ideal) 혹은 양쪽아이디얼(Two-sided ideal)이라고 한다. 임의의 rRr\in R, xIx\in I에 대해 xrIx \cdot r \in I를 만족하면 우아이디얼(Right ideal), rxIr\cdot x \in I를 만족하면 좌아이디얼(Left ideal)이라고 한다. RR이 가환환이면 양측아이디얼을 갖는다.

2. 예시

  • Z[x]\mathbb{Z}[x]에서 II를 상수항이 짝수인 모든 다항식의 집합이라고 하면 II는 아이디얼이다.
  • Z\mathbb{Z}Q\mathbb{Q}의 부분환이지만 Q\mathbb{Q}의 아이디얼이 아니다.

3. 아이디얼의 생성

항등원이 있는 가환환 RRc1,c2,,cnRc_1,c_2,\cdots,c_n\in R에 대해 집합 II를 다음과 같이 정의하자.
I={r1c1+r2c2++rncnr1,r2,,rnR}I=\{r_1c_1+r_2c_2+\cdots+r_nc_n\vert r_1,r_2,\cdots,r_n\in R\}

그러면 IIRR의 아이디얼이고, c1,c2,,cnc_1,c_2,\cdots,c_n에 의해 생성되는 아이디얼이라고 한다. 만약 n=1n=1이면 II를 주아이디얼이라고 한다.

4. 종류

  • 진 아이디얼(Proper ideal) : RR이 아닌 RR의 아이디얼을 말한다. 참고로, 어떤 아이디얼이 11을 포함한다는 것은 그 아이디얼이 환 전체라는 것과 동치이다.
  • 극대 아이디얼(Maximal ideal) : II를 포함하면서 II와 같지 않은 진 아이디얼이 존재하지 않는 진 아이디얼 II를 말한다. 환을 극대 아이디얼로 나눈 몫은 가 된다.
  • 소 아이디얼(Prime ideal) : RR의 임의의 원소 aabb에 대해 ababII의 원소라면 언제나 aabb 중 적어도 하나는 II의 원소가 되는 진 아이디얼 II를 말한다. 환을 소 아이디얼로 나눈 몫은 정역이 된다.
  • 주 아이디얼(Principal ideal): 하나의 원소 aRa\in R에 의해 생성(generate)된 아이디얼을 말한다.

5. 연산

아이디얼은 집합이므로 합집합과 교집합 등의 집합 연산을 할 수 있다. 일반적으로 환 RR의 두 아이디얼 II, JJ의 교집합 IJI\cap JRR의 아이디얼이지만, 합집합 IJI\cup J은 아이디얼이 아닐 수도 있다.

그 이외에 다음의 연산들이 정의된다.

5.1. 덧셈


I+J={x+yxI,yJ}I+J=\{x+y\mid x\in I, y\in J\}

이는 IIJJ를 포함하는 가장 작은 아이디얼이다.

5.2. 곱셈


IJ={i=1nxiyixiI,yiJ}IJ=\left\{\sum_{i=1}^n x_i y_i\mid x_i\in I, y_i\in J\right\}


이는 {xyxI,yJ}\{xy\mid x\in I, y\in J\}를 포함하는 가장 작은 아이디얼이다. 일반적으로 두 아이디얼의 곱은 두 아이디얼의 교집합의 부분집합이다.

6. 영상



이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.