환(ring)에서 체(field)까지 - 3. 부분환(subring)과 아이디얼(ideal)
부분환(subring)과 아이디얼(ideal)
따라서
참고. 부분환에 대한 두번째 정의가 주어진 부분집합
예제 3.2
- 짝수 정수들의 집합
은 의 부분환이다. 일반적으로, 임의의 정수 에 대하여 의 배수(multiple)의 집합 는 의 부분환이 됨을 알 수 있다. 하지만 홀수 정수들의 집합은 의 부분환을 이루지 않는다. - 부분집합
와 은 의 부분환들이다. - 집합
는 의 부분환이다. 이 집합은 가우스 정수환(ring of Gaussian integers)이라고 하는데, (때때로 와 같이 나타낸다) 이 집합은 정수론(Number Theory)에서 매우 중요한 역할을 한다. - 집합
는 의 부분환이다. - 집합
또한 의 부분환이다. 의 형태를 가진 모든 실행렬(real matrix)의 집합은 실행렬들로 이루어진 환의 부분환을 이룬다.
아이디얼(ideal)이란 부분환의 특수한 경우로써 아래와 같이 정의된다.
예제 3.4
- 부분환에 대한 예제 (1)과 (2)는 아이디얼이다. 하지만 (3)과 (4), (5), (6)은 아이디얼이 아니다.
임의의 환
에 대하여, 부분집합 과 은 항상 의 아이디얼이다. 또한 만약 이 체(field)라면 이 둘이 의 유일한 아이디얼이다.
증명. 우선 이 어떤 아이디얼의 원소라면, 이 아이디얼이 환 전체가 되어야만 함을 쉽게 알 수 있다. 이제 어떤 체의 원소 가 아이디얼의 원소라면, 또한 아이디얼의 원소여야 하고, 따라서 또한 그 아이디얼의 원소여야만 한다. 의 형태를 가진 실행렬들의 집합은 실행렬들의 집합으로 구성된 환에 대하여 왼쪽아이디얼을 이룬다. 또한 의 형태를 가진 모든 실행렬들의 집합은 전과 같은 실행렬 환에 대하여 오른쪽아이디얼을 이룬다. 나아가 이 실행렬 환은 과 자기 자신 외에 또 다른 양쪽아이디얼을 가지지 않는다.임의의 환의 원소를 계수로 갖고
인 다항식들의 집합은 아이디얼을 이룬다.
증명. 위의 성질을 만족하는 다항식은 모두 적당한 에 대하여 와 같이 나타낼 수 있고, 이러한 형태의 다항식의 집합이 아이디얼임은 간단히 증명할 수 있다.계수가 모두 짝수 정수인 다항식들의 집합은
의 아이디얼이다. 또한 상수계수(constant coefficient)만이 짝수 정수고 나머지 계수들은 임의의 정수인 다항식들의 집합 또한 의 아이디얼이다.
이제 주어진 환
참고.
- 실제로 위와 같이 정의된 집합이 아이디얼임을 간단히 보일 수 있다.
- 만약 주어진 환이 가환환이 아니라면, 위의 집합은 왼쪽아이디얼이 된다. 이 경우 정의를 약간 수정하는 것으로 오른쪽아이디얼과 양쪽아이디얼을 얻을 수 있다. 만약 주어진 환에 단위원이 존재하지 않는다면, 일반적으로
는 의 부분집합이 되지 않는다. - 일반적으로 어떠한 부분집합에 의해 생성된 '무언가'란 그 부분집합을 포함하는 '무언가' 중에서 가장 작은 집합을 의미한다. 따라서 이와 같은 개념을 바탕으로 어떤 부분집합에 의해 생성된 부분군이나 부분환 등에 대하여 생각해 볼 수 있다.
예제 3.6
아이디얼 는 원소 에 의해 생성된 주아이디얼이다. 따라서 .- 위의 예제 (4) (상수항이
인 의 다항식들의 집합)는 주 아이디얼 이다. - 계수가 모두 짝수인
의 다항식들의 집합은 주아이디얼 이다. 반면에 상수항만이 짝수인 의 다항식들의 집합은 와 같으므로 아이디얼이긴 하지만, 주아이디얼은 아니다. - 상수계수가
인 의 다항식들의 집합은 아이디얼 와 같고 따라서 주아이디얼이 아니다. - 임의의 단위원이 존재하는 가환환
에 대하여, 아이디얼 는 언제나 주아이디얼 이다. 또한 전체 집합 또한 주아이디얼 이다.
참고. 다음절에서
'Algebra > Abstract Algebra' 카테고리의 다른 글
환(ring)에서 체(field)까지 - 5. 환준동형사상(ring homomorphism)과 환동형사상(ring isomorphism) (0) | 2016.05.18 |
---|---|
환(ring)에서 체(field)까지 - 4. 나눗셈 정리(division algorithm)와 유클리드 호제법(Euclid algorithm) (0) | 2016.05.18 |
환(ring)에서 체(field)까지 - 2. 정역(integral domain)과 체(field) (0) | 2016.05.17 |
환(ring)에서 체(field)까지 - 1. 환(ring) (0) | 2016.05.17 |
Euclidean Jordan Algebra (3) - Linear Transformations (0) | 2015.03.29 |