편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
23번째 줄: | 23번째 줄: | ||
**: 이제 <math>a</math>를 왼쪽에 곱하는 함수 <math>\lambda_a : R \to R,\; x \mapsto ax</math>를 생각하면, 이 함수는 위 소거법칙 때문에 단사함수이다. | **: 이제 <math>a</math>를 왼쪽에 곱하는 함수 <math>\lambda_a : R \to R,\; x \mapsto ax</math>를 생각하면, 이 함수는 위 소거법칙 때문에 단사함수이다. | ||
**: 그리고 위 단사함수는 곧 전단사함수가 되는데, 유한집합인 경우에는 유한집합이라 그렇고, 유한차원 ''K''벡터공간인 경우에는 위 단사함수는 ''K''단사사상인데 유한차원 벡터공간이라 그렇다. | **: 그리고 위 단사함수는 곧 전단사함수가 되는데, 유한집합인 경우에는 유한집합이라 그렇고, 유한차원 ''K''벡터공간인 경우에는 위 단사함수는 ''K''단사사상인데 유한차원 벡터공간이라 그렇다. | ||
**: | **: 이제 <math>\left( \lambda_a \right)^{-1} 1 = a^{-1}</math>인 것만 확인하면 된다. | ||
[[분류:환론]] | [[분류:환론]] | ||
{{주석}} | {{주석}} |