자기준동형사상

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

수학에서, 자기준동형사상(自己準同型寫像, 영어: endomorphism 엔도모피즘[*])은 그 정의역공역이 같은 사상이다.

자기동형사상동형사상인 자기준동형사상이지만, 모든 자기준동형사상이 자기동형사상은 아니다. 예를 들어, 벡터공간 V의 자기준동형사상은 임의의 선형변환 V\to V이고, 그 자기동형사상은 그 가운데 여핵이 모두 0차원인 경우(전단사인 경우)다.

자기동형사상들은 을 이루는 반면, 보통 자기준동형사상들은 을 이룬다. 이를 자기준동형환(自己準同型環, 영어: endomorphism ring)이라고 하고, \operatorname{End}(X)라고 쓴다. 예를 들어, k에 대한 n차원 벡터 공간 k^n의 자기준동형환은 n\times n 정사각행렬들의 환 \operatorname{Mat}(n,k)이다.