아벨 군: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
185번째 줄:
:<math>\operatorname{Ab}\to\operatorname{Rng}</math>
가 존재한다. 이는 아벨 군 <math>(G,+,0)</math>를 모든 곱이 0인 [[유사환]] <math>(G,+,\cdot,0)</math>, <math>g\cdot h=0\forall g,h\in G</math>으로 대응시킨다.
 
[[폰트랴긴 쌍대성]]에 의하여, 아벨 군의 범주의 [[반대 범주]]는 [[콤팩트 공간|콤팩트]] [[하우스도르프 공간|하우스도르프]] 아벨 [[위상군]]과 [[연속 함수|연속]] [[군 준동형]]의 범주와 [[범주의 동치|동치]]이다.
:<math>\operatorname{Ab}^{\operatorname{op}}\simeq\operatorname{HausCompAb}</math>
또한, 아벨 유한군의 범주의 반대 범주는 스스로와 동치이다.
:<math>\operatorname{FinAb}^{\operatorname{op}}\simeq\operatorname{FinAb}</math>
 
=== 모형 이론적 성질 ===