자유 가군: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
37번째 줄:
 
임의의 [[환 (수학)|환]] <math>R</math>에 대하여, '''열 유한 행렬환'''({{llang|en|ring of column-finite matrices}}) <math>\operatorname{CFM}(\mathbb N;R)</math>가 다음과 같은 꼴의 "행렬"로 구성된 [[환 (수학)|환]]이라고 하자.
* <math>\operatorname{CFM}(\mathbb N;R)</math>의 원소 <math>(r_{i,j})_{i,j=0,1,2,\dots}</math> (<math>(r_{i,j}\in R</math>)</math>는 <math>R</math> 계수의 <math>\mathbb N\times\mathbb N</math> "[[행렬]]"이다.
* <math>\operatorname{CFM}(\mathbb N;R)</math>의 원소의 각 열에서, 0이 아닌 성분의 수는 유한하다.
둘째 조건 때문에 두 행렬의 곱은 무한한 합을 필요로 하지 않아 잘 정의된다. 이 경우, 다음과 같은 [[왼쪽 가군]] 동형 사상이 존재하므로, 불변 기저 수 성질이 성립하지 않는다.