으뜸 아이디얼: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 잔글 →삼종 아이디얼 |
||
15번째 줄:
환 <math>R</math>의 [[왼쪽 가군]] <math>_RM</math>이 주어졌을 때, <math>\operatorname{ter}_RM\subseteq R</math>을 다음과 같이 정의하자.<ref name="Riley"/>{{rp|185, §3}}<ref name="Croisot"/>{{rp|22-02, Définition 1.1}}
:<math>\operatorname{ter}_RM=\{r\in R\colon\forall m\in M\setminus\{0\}\exists s\in R\colon rRsm=\{0\},\;sm\ne0\}</math>
환 <math>M</math>의 [[왼쪽 가군]] <math>_RM</math>에 대하여, 만약 다음 조건이 성립한다면, <math>M</math>이 '''여삼종 가군'''(餘三種加群, {{llang|en|cotertiary module}})이라고 한다.<ref name="Riley"/>{{rp|185, §3}}<ref name="Croisot"/>{{rp|22-02, Définition 2.
* 임의의 <math>r\in R</math> 및 <math>m\in M\setminus\{0\}</math>에 대하여, 만약 <math>rRm=\{0\}</math>이라면, <math>r\in\operatorname{ter}_RM</math>이다.
환 <math>M</math>의 가군 <math>M</math>의 부분 가군 <math>N</math>에 대하여, 만약 몫가군 <math>M/N</math>이 여삼종 가군이라면, <math>N</math>을 '''삼종 부분 가군'''({{llang|en|tertiary submodule}})이라고 한다.
| |||