상위 질문
타임라인
채팅
관점

순환군

위키백과, 무료 백과사전

Remove ads

군론에서, 순환군(循環群, 영어: cyclic group)은 한 원소로 생성될 수 있는 이다. 즉, 순환군의 모든 원소는 어떤 고정된 원소의 거듭제곱이다. (군의 연산이 곱셈이 아닌 덧셈일 경우, 모든 원소는 고정 원소의 정수배이다.)

정의

의 원소 가 생성하는 순환군 은 다음과 같다.

차수

차수(次數, 영어: order,ord) 또는 위수(位數)는 집합으로서의 크기 를 뜻한다.

군의 원소 차수 는 그 원소가 생성하는 순환군의 차수이다. 즉, 거듭제곱하여 항등원이 되는 최소 지수와 같거나, 그러한 지수가 없다면 무한대와 같다.

지수

지수(指數, 영어: exponent) 는 모든 원소를 거듭제곱하여 항등원이 되는 최소 지수와 같거나, 그러한 지수가 없다면 무한대와 같다.

Remove ads

분류

순환군은 정수군 또는 그 몫군동형이다. 무한 순환군은 정수군, 유한 순환군은 정수군의 유한 몫군과 동형이다.

Remove ads

성질

요약
관점

약수 관계

군의 유한 차수 원소 및 정수 에 대하여, 다음 두 조건이 서로 동치이다.

증명:

(2) ⇒ (1) 이라면, 가 존재하므로, 이다.

(1) ⇒ (2) 이라면, 의 나머지 있는 나눗셈을 라고 하면, 이므로, 차수의 정의에 따라 이다. 즉, 이다.

지수가 유한한 군 및 정수 에 대하여, 다음 두 조건이 서로 동치이다.

  • 임의의 에 대하여,

증명:

(2) ⇒ (1) 이라면, 가 존재하므로, 임의의 에 대하여, 이다.

(1) ⇒ (2) 임의의 에 대하여 이라면, 임의의 에 대하여 이므로, 지수의 정의에 따라 이다.

유한군 에 대하여, 다음과 같은 약수 관계가 성립한다.

군의 유한 차수 원소 정규 부분군 에 대하여, 다음과 같은 약수 관계가 성립한다.

증명:

항등식

군의 유한 차수 원소 및 정수 에 대하여, 다음과 같은 항등식이 성립한다.

증명:

다음 두 가지를 보이는 것으로 족하다.

    • 증명:
    • 증명: 이므로, 이므로, 이므로,

군의 원소 가 다음 두 조건을 만족시킨다고 하자.

그렇다면, 다음과 같은 항등식이 성립한다.

증명:

다음 두 가지를 보이는 것으로 족하다.

    • 증명:
    • 증명: 이므로, 이므로, 이다. 비슷하게, 이다. 따라서, 이다.

반대로, 군의 원소 의 차수를 다음과 같은 꼴로 나타낼 수 있다고 하자.

그렇다면, 다음 조건들을 만족시키는 가 존재한다.

증명:

베주 항등식에 따라, 다음 조건을 만족시키는 가 존재한다.

조건을 만족시키는 를 다음과 같이 취할 수 있다.

다음 두 가지를 보이는 것으로 족하다.

  • ,
    • 증명:
  • ,
    • 증명:

유한 아벨 군 에 대하여, 다음 조건을 만족시키는 가 존재한다.

  • 임의의 에 대하여,

즉, 다음이 성립한다.

증명:

최대 차수 원소 를 취하자. 임의의 에 대하여,

라고 가정하자. 그렇다면,

를 만족시키는 소인수 가 존재한다. 이 경우,

이므로,

이며, 이는 모순이다.

순환군

모든 순환군은 자명하게 유한 생성 아벨 군이다.

에 대하여, 다음 세 조건이 서로 동치이다.

증명:

(1) ⇒ (2): 가 소수라면, 라그랑주 정리에 따라, 그 부분군은 밖에 없으므로, 는 단순군이다. 를 취하자. 그렇다면, 이므로, 이다. 즉, 는 순환군이다.

(2) ⇒ (3): 모든 순환군은 아벨 군이다.

(3) ⇒ (1): 가 소수가 아니라고 가정하자. 가 순환군인 경우, 자명하지 않은 (정규) 부분군이 존재하므로, 는 단순군이 아니며, 이는 모순이다. 가 순환군이 아닌 경우, 임의의 를 취하자. 그렇다면, 이며, 이므로, 는 단순군이 아니며, 이 역시 모순이다.

순환군의 부분군 역시 순환군이다. 구체적으로, 의 부분군은 다음과 같은 꼴로 나타낼 수 있다.

순환군의 몫군 역시 순환군이다.

유한군 에 대하여, 다음 두 조건이 서로 동치이다.

  • 는 순환군이다.
  • 임의의, 의 양의 약수 에 대하여, 이다.
  • 임의의 에 대하여, 이다.

증명:

(1) ⇒ (2): 순환군 의, 크기 의 부분군은 가 유일하다.

(1) ⇐ (2): 임의의 에 대하여, 임을 증명하자. (여기서 오일러 피 함수이다.) 그렇다면, 특히 가 존재하므로, 는 순환군이다.

를 취하자. 그렇다면, (2)에 의하여 이므로, 가 존재한다. 차수 공식을 사용하면 를 얻는다. 즉, 는 0이거나 이다. 그런데

이므로, 이다.

(1) ⇒ (3): 으로 놓자. 만약 이라면, 이다. 은 크기 의 유일한 부분군이며, 이는 크기 의 유일한 부분군에 포함된다. 특히, 는 크기 의 유일한 부분군의 원소다. 즉, 개 이하만 존재한다.

(3) ⇒ (1): 임의의 소수 -쉴로브 부분군 가 주어졌다고 하자. 임의의 에 대하여 이다. 그런데 가정에 따라 이 방정식의 해는 개 밖에 없으므로, 는 전체 해의 집합이다. 따라서, 의 유일한 -쉴로브 부분군이며, 정규 부분군이다. 서로 다른 소수에 대한 쉴로브 부분군들의 크기는 서로소이므로, 쉴로브 부분군들의 직접곱이다.

이제, 크기가 서로소인 순환군들의 직접곱은 순환군이므로, 모든 쉴로브 부분군이 순환군임을 보이면 충분하다. 제1 쉴로브 정리에 따라, 는 지표 의 부분군 을 가지며, 가정에 따라 이는 방정식 의 해의 집합이다. 따라서, 임의의 에 대하여, 이며, 이다. 즉, 를 생성하며, 는 순환군이다.

순환군 에 대하여, 다음 세 조건이 서로 동치이다.

증명:

(2) ⇒ (1)

(1) ⇒ (2) 만약 이라면, 이므로, 이다.

코시 정리에 따르면, 임의의 소인수 에 대하여, 가 존재한다.

Remove ads

응용

요약
관점

유한 아벨 군의 분해

유한 아벨 군의 분해에 응용되는 한 가지 핵심적인 보조정리는 다음과 같다. 가 아벨 유한 p-군, 가 그 최대 차수 원소라고 하자. 그렇다면, 가 존재한다.

증명:

귀류법을 사용하여, 가 최소 크기 반례라고 하자. 그렇다면, 이며, 이므로, 최소 차수 원소 를 취할 수 있다. 이제 다음과 같은 일련의 명제를 증명하기만 하면 된다.

    • 증명: 그렇지 않다면, ()이며, 이므로, 이다. ()이라고 하자. 그렇다면, 이므로, 이다. 따라서, 이며, 인데, 이는 의 선택과 모순이다.
    • 증명: ()라고 하자. 그렇다면, 가 존재하며, 이다. 이는 모순이다.
  • 은 최대 차수 원소이다.
    • 증명: 우선 이다. 라고 가정하면, 이므로, 이다. 이는 모순이다. 따라서 이며, 은 최대 차수 원소이다.
  • 가 존재한다.
    • 증명:
    • 증명: 우선, 이므로, 이다. 또한, 이므로, 이며, 이다.
Remove ads

같이 보기

외부 링크

Remove ads
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads