순환군

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

군론에서, 순환군(循環群, 영어: cyclic group)은 하나의 원소에 의해 생성될 수 있는 이다. 그 의미는 군이 한 원소 a를 가지고 있고, 그 군의 모든 원소가 a거듭제곱의 하나라는 것이다. 마찬가지로, 군 G의 한 원소 aG를 생성하는 것은 a를 포함하는 G의 유일한 부분군(subgroup)이 G 자신일 때이다.

순환군을 생성하는 원소 a생성원(generator)이라고 부르며, a^m항등원이 되는 가장 작은 자연수 m을 그 순환군의 위수라고 정의한다.

분류[편집]

임의의 순환군은 다음의 두가지 종류의 순환군 중 하나와 반드시 동형이다.

  • Z = \{ \cdots, -3 , -2, -1, 0, 1, 2, 3, \cdots \}
  • Z/nZ  = \{ \bar{0}, \bar{1}, \cdots, \bar{n-1} \}: 정수들의 집합을 n으로 나눈 나머지들의 집합.

Z는 원소의 갯수가 무한하다. 위수는 자연수 범위에서 정의되지 않으며 이를 \infty로 표기하기도 한다.

Z/nZ유한군으로, 위수(order)는 n으로 원소의 갯수와 동일하다.

Z/nZ의 경우, 교과서에 따라서는 Z/n 혹은 Z_n라고 표기하기도 한다. 그러나 Z_n의 경우, n-adic 수와 혼란을 줄 가능성이 있어서 어떤 수학자들은 이 표기에 대해서 동의하지 않기도 한다.

성질[편집]

원소의 개수가 소수인 순환군은 단순군이다.

바깥 고리[편집]