({{작성중}} 괜히 붙임) |
(→개요) |
||
1번째 줄: | 1번째 줄: | ||
{{학술}} | {{학술}} | ||
== 개요 == | == 개요 == | ||
말 그대로 어떤 | 말 그대로 어떤 [[환 (수학)|환]]의 부분집합이 [[부분환]]인지 확인하는 방법이다. | ||
== 진술 == | == 진술 == |
2016년 3월 22일 (화) 16:52 판
개요
말 그대로 어떤 환의 부분집합이 부분환인지 확인하는 방법이다.
진술
[math]\displaystyle{ R }[/math]이 환이고 [math]\displaystyle{ S }[/math]가 [math]\displaystyle{ R }[/math]의 부분집합일 때,
- [math]\displaystyle{ a,b\in S }[/math]이면 [math]\displaystyle{ a+b\in S }[/math]
- [math]\displaystyle{ a,b\in S }[/math]이면 [math]\displaystyle{ ab\in S }[/math]
- [math]\displaystyle{ 0_R \in S }[/math]
- [math]\displaystyle{ a\in S }[/math]이면 [math]\displaystyle{ -a\in S }[/math]
이면 [math]\displaystyle{ S }[/math]는 [math]\displaystyle{ R }[/math]의 부분환이다.
이 진술은 다음과 같이 간략화할 수 있다.
[math]\displaystyle{ S }[/math]가 [math]\displaystyle{ R }[/math]의 공집합이 아닌 부분집합이고
- [math]\displaystyle{ a,b\in S }[/math]이면 [math]\displaystyle{ a-b\in S }[/math]
- [math]\displaystyle{ a,b\in S }[/math]이면 [math]\displaystyle{ ab\in S }[/math]
이면 [math]\displaystyle{ S }[/math]는 [math]\displaystyle{ R }[/math]의 부분환이다.