군의 가군

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

추상대수학에서, G가군(G-module)은 그 정수 계수의 군환 \mathbb Z[G]가군이다. 군 표현을 일반화한 개념이다. 군 코호몰로지에 쓰인다.

정의[편집]

군의 가군의 공리는 정수 계수의 군환의 공리와 같다. 즉, 군의 가군 (M,\rho)아벨 군 M군의 작용 \rho\colon G\times M\to M으로 이루어져 있으며, g\in G, a,b\in M에 대하여 g(a+b)=ga+gb을 만족한다.