"가군의 길이"의 두 판 사이의 차이

310 바이트 추가됨 ,  4년 전
편집 요약 없음
:<math>\operatorname{length}M=\operatorname{length}\operatorname{Sub}(M)=\sup\{n\colon 0=M_0\subsetneq M_1\subsetneq\cdots\subsetneq M_n=M\}\in\mathbb Z^+\cup\{0,\infty\}</math>
[[오른쪽 가군]]에 대해서도 마찬가지로 길이를 정의할 수 있다.
 
보다 일반적으로, [[아벨 범주]] <math>\mathcal A</math>의 대상 <math>M\in\mathcal A</math>의 '''길이'''는 <math>M</math>의 [[부분 대상]] [[격자 (순서론)|격자]] <math>\operatorname{Sub}(M)</math>의 길이이다.
 
== 예 ==
* {{eom|title=Length of a partially ordered set}}
* {{매스월드|id=ModuleLength|title=Module length}}
* {{nlab|id=object of finite length|title=Object of finite length}}
 
[[분류:가군론]]