가법군

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요

가법군은 덧셈 연산에 대해 닫혀 있고 결합 법칙이 성립하며 항등원과 역원을 갖는 집합이다. 가법군은 군의 한 종류로, 연산이 곱셈인 경우는 승법군이 된다. 가법군에 교환 법칙을 정의하면 가환군(아벨군)을 얻을 수 있으며, 군의 원소 개수에 따라 유한군과 무한군으로 분류된다.

가법군

정의

군 연산	덧셈
군 연산 기호	+
항등원	0 (영)
역원	-a (a의 역)

설명

내용	덧셈을 군 연산으로 하는 군

예시

예시	정수 집합 (덧셈 연산) 실수 집합 (덧셈 연산) 벡터 공간 (벡터 덧셈)

📚 더 읽어볼만한 페이지

대수학 - 다항식
다항식은 변수, 계수, 상수항으로 구성되어 덧셈, 뺄셈, 곱셈, 거듭제곱 연산으로 결합된 항들의 유한한 합으로 표현되는 식이며, 대수 방정식 해를 구하는 데 중요하고 현대 수학에서 폭넓게 활용된다.
대수학 - 상수
상수는 변하지 않는 일정한 값을 가지는 수로, 함수에서 변수와 대비되며 수식 내에서 고정된 값을 갖고, 원주율, 자연로그의 밑, 허수 i 등이 대표적인 예시이다.

1. 개요
2. 군의 정의
3. 가법군과 승법군
4. 가환군 (아벨군)
5. 유한군과 무한군

2. 군의 정의

군은 하나의 연산에 대하여 닫혀 있고 결합 법칙이 성립하며 항등원(단위원)과 역원이 존재하는 집합이다. 예를 들어, 정수 전체의 집합은 임의의 두 원소를 더하여 얻은 결과도 그 집합에 포함되므로, 덧셈에 대하여 군이 된다.

3. 가법군과 승법군

군은 하나의 연산에 대하여 닫혀 있고 결합 법칙이 성립하며 항등원(단위원)과 역원이 있는 집합이다. 예를 들어, 정수 전체의 집합은 덧셈에 대하여 군이 된다.

가법군에서 연산이 승법(곱셈)인 경우는 승법군(乘法群)이 된다. 군은 가법군과 승법군을 포함한다. 한편 이러한 군에 교환법칙을 정의함으로써 가환군(또는 아벨군)을 얻을 수 있다. 군이 유한한 원소의 집합인 경우는 유한군이며, 무한한 경우 무한군이 된다.

4. 가환군 (아벨군)

승법 연산이 적용된 가법군은 승법군이 된다. 군(G)은 가법군과 승법군을 포함한다. 한편 이러한 군에 교환 법칙이 성립하면 가환군이 된다. G가 유한한 원소의 집합인 경우는 유한군이며, 무한한 경우 무한군이 된다.

5. 유한군과 무한군

G가 유한한 원소의 집합인 경우는 유한군이며, 무한한 경우 무한군이다.