소멸자

파일:Disambig grey.svg 컴퓨터 프로그래밍 용어에 대해서는 소멸자 (컴퓨터 프로그래밍) 문서를 참고하십시오.

환론에서 소멸자(消滅子, 영어: annihilator)는 가군의 주어진 부분 집합을 모두 0에 대응시키는 환 원소들로 구성된 아이디얼이다.

정의

환 $R$의 왼쪽 가군 ${}_{R}M$의 부분 집합 $S\subseteq M$의 소멸자 ${\mathrm{Ann}}_{R}S$는 다음과 같은 $R$의 부분 집합이다.

${\mathrm{Ann}}_{R}S=\{r\in R:rS=\{0\}\}$

마찬가지로, 환 $R$의 오른쪽 가군 $M_R$의 부분 집합 $S\subseteq M$의 소멸자 ${\mathrm{Ann}}_{R}S$는 다음과 같은 $R$의 부분 집합이다.

${\mathrm{Ann}}_{R}S=\{r\in R:Sr=\{0\}\}$

환 $R$ 위의 왼쪽 가군 또는 오른쪽 가군 $M$에 대하여, 만약 ${\mathrm{Ann}}_{R}M=\{0\}$이라면, $M$을 충실한 가군(영어: faithful module)이라고 한다.

성질

왼쪽 가군의 부분 집합의 소멸자는 왼쪽 아이디얼을 이룬다. 마찬가지로, 오른쪽 가군의 부분 집합의 소멸자는 오른쪽 아이디얼을 이룬다. 왼쪽 또는 오른쪽 가군 $M$의 부분 가군 $N\subseteq M$이 주어졌을 때, ${\mathrm{Ann}}_{R}N$은 양쪽 아이디얼을 이룬다.

가환환 $R$의 가군 $M$의 소멸자 ${\mathrm{Ann}}_{R}M$은 환 준동형

$R\to {\mathrm{End}}_{R}M$

$r\mapsto (m\mapsto rm)$

의 핵이다.

외부 링크

• “Annihilator” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• Weisstein, Eric Wolfgang. “Annihilator” (영어). 《Wolfram MathWorld》. Wolfram Research. 
• Weisstein, Eric Wolfgang. “Faithful module” (영어). 《Wolfram MathWorld》. Wolfram Research.