대수학에서, 직접곱(直接곱, 영어: direct product)은 여러 개의 대수 구조들의 곱집합 위에 표준적으로 정의되는 대수 구조이다. 예를 들어, 여러 들의 직접곱이나 가군들의 직접곱을 정의할 수 있다.

정의편집

같은 부호수  대수 구조들의 집합  직접곱

 

는 다음과 같은  -대수 구조이다.

  • 집합으로서,   들의 곱집합이다.
  •  의 각  항 연산    위에 성분별로 정의된다. 즉, 구체적으로 다음과 같다.
 

유한 개의 대수 구조들의 직접곱의 경우,

 

와 같이 쓴다.

대수적 구조 다양체의 범주에서, 이는 범주론적 곱과 같다.

편집

군의 직접곱편집

의 경우, 직접곱은 반직접곱의 특수한 경우다. 즉, 반직접곱  에서, 군의 작용  이 자명한 작용(항등 함수)라면, 이는 직접곱이 된다.

유한 개의 아벨 군들의 직접곱은 직합과 같다. 그러나 무한 개의 아벨 군들의 직접곱은 같은 아벨 군들의 직합과 일반적으로 다르며, 직합은 직접곱의 부분군을 이룬다.

가군의 직접곱편집

주어진 에 대한 (좌) 가군의 경우, 유한 개의 직접곱은 집합과 같다. 그러나 무한 개의 가군들의 직접곱은 일반적으로 같은 가군들의 직합과 다르며, 직합은 직접곱의 부분 가군을 이룬다.

집합의 직접곱편집

자명한 대수 구조로 간주하였을 때, 집합의 직접곱은 곱집합이다.

같이 보기편집

참고 문헌편집

외부 링크편집