균형 잡힌 쌍가군

틀:위키데이터 속성 추적 환론에서 균형 잡힌 쌍가군(틀:Llang)은 한쪽 환의 작용에 대한 임의의 자기 사상을 항상 반대쪽 환의 작용으로 나타낼 수 있는 쌍가군이다. 이 개념은 모리타 동치 이론에 등장한다.

정의

다음 데이터가 주어졌다고 하자.

이 경우, 자연스러운 환 준동형

R \to End (M_{S})

S^{op} \to End (_{R} M)

이 존재한다.

만약 이 두 환 준동형이 둘 다 전사 함수라면 $_{R} M_{S}$ 를 균형 잡힌 쌍가군(틀:Llang)이라고 한다. 만약 이 두 환 준동형이 둘 다 전단사 함수라면 $_{R} M_{S}$ 를 충실하게 균형 잡힌 쌍가군(틀:Llang)이라고 한다.^[1]틀:Rp

다음 데이터가 주어졌다고 하자.

End (M_{ℤ})

을 정의할 수 있으며, $M$ 은 $End (M_{ℤ})$ -왼쪽 가군을 이룬다. 자연스러운 환 준동형

ϕ_{M} : R \to End (M_{ℤ})

을 생각하자. 그렇다면, $R$ -왼쪽 가군 자기 사상환은 (정의에 따라) $R$ 의 상의 중심화 부분환이다.

End (_{R} M) = C_{End (M_{ℤ})} (ϕ_{M} (R))

또한, $R$ 를 $End (_{R} M)$ 으로 치환하면 다음을 얻는다.

End (_{End (_{R} M)} M) = C_{End (M_{ℤ})} (End (_{R} M))

이에 따라, 다음 세 조건이 서로 동치이며, 이를 만족시키는 왼쪽 가군 $_{R} M$ 을 균형 잡힌 $R$ -왼쪽 가군이라고 한다.

$C_{End (M_{ℤ})} (End (_{R} M)) = ϕ_{M} (R)$ . 즉, 임의의 아벨 군 준동형 $f : M \to M$ 에 대하여, 만약 $f$ 가 모든 $R$ -왼쪽 가군 자기 준동형과 가환한다면, $f$ 는 $r \cdot$ 의 꼴로 나타낼 수 있다 ( $r \in R$ ). (그러나 이러한 표현이 유일할 필요는 없다.)
$C_{End (M_{ℤ})} (C_{End (M_{ℤ})} (ϕ_{M} (R))) = ϕ_{M} (R)$ . 즉, $ϕ_{M} (R)$ 는 이중 중심화 부분환 연산의 고정점이다.
$M$ 은 균형 잡힌 $(R, End (_{R} M)^{op})$ -쌍가군이다.

균형 잡힌 오른쪽 가군의 개념 역시 마찬가지로 정의된다. 즉, 환 $S$ 위의 오른쪽 가군 $M_{S}$ 에 대하여, 자연스러운 환 준동형

ϕ_{M} : S^{op} \to End (_{ℤ} M)

을 정의하였을 때, 다음 세 조건이 서로 동치이며, 이를 만족시키는 $R$ -오른쪽 가군을 균형 잡힌 $R$ -오른쪽 가군이라고 한다.

$C_{End (_{ℤ} M)} (End (M_{S})) = ϕ_{M} (S^{op})$ . 즉, 임의의 아벨 군 준동형 $f : M \to M$ 에 대하여, 만약 $f$ 가 모든 $R$ -왼쪽 가군 자기 준동형과 가환한다면, $f$ 는 $r \cdot$ 의 꼴로 나타낼 수 있다 ( $r \in R$ ). (그러나 이러한 표현이 유일할 필요는 없다.)
$C_{End (_{ℤ} M)} (C_{End (_{ℤ} M)} (ϕ_{M} (S^{op}))) = ϕ_{M} (S^{op})$ . 즉, $ϕ_{M} (S^{op})$ 는 이중 중심화 부분환 연산의 고정점이다.
$M$ 은 균형 잡힌 $(End (_{S} M), S)$ -쌍가군이다.

물론, 만약 $R$ 가 가환환이라면 왼쪽·오른쪽을 구별할 필요가 없다.

반단순환의 모든 왼쪽 가군은 균형 잡힌 왼쪽 가군이며, 모든 오른쪽 가군은 균형 잡힌 오른쪽 가군이다.

임의의 왼쪽 아르틴 환의 단순 왼쪽 가군은 균형 잡힌 왼쪽 가군이다.^[2]틀:Rp