Group (군), Group Axiom, Group Theory   군 (Group), 군 (群), 군 공리, 군론

(2017-06-20)

위수 (Order), 군

기초과학 1. 과학

수학
물리/화학
지구,천체 과학
생명과학
 > 수학기초수학
집합,논리
정수론(수론)
해석학(미적분 등)
대수학
확률/통계
수치해법
 > 대수학 1. 대수학

기초대수학
선형대수학
추상대수학
 > 추상대수학 1. 대수 구조
2. 군(Group)
3. 환(Ring)
4. 체(Field)

연산
군(Group)
환(Ring)
체(Field)
     
기초과학 1. 과학

수학
물리/화학
지구,천체 과학
생명과학
 > 수학기초수학
집합,논리
정수론(수론)
해석학(미적분 등)
대수학
확률/통계
수치해법
 > 대수학 1. 대수학

기초대수학
선형대수학
추상대수학
 > 추상대수학 1. 대수 구조
2. 군(Group)
3. 환(Ring)
4. 체(Field)

연산
군(Group)
환(Ring)
체(Field)
 > 군(Group) 1. 군(Group)
2. 가환군
3. 대칭성
4. 대칭 조작
5. 군의 종류

     
1. 군(Group,群)

  ㅇ 일반적으로, 어떤 성질을 만족하는 대상(object)들의 집합을 일컬음

  ㅇ 수학적으로는, 대칭적인 성질을 만족하며 어떤 구조를 이룸
     - 불변성,대칭성을 다루는 수학적 도구 
     - 기하학적 변환/대수적 변환에서도 불변하는 것

  ㅇ 대수 구조로써의 군(群)
     - 가장 기초적인 대수 구조인 군(群)은, 1개의 연산(이항연산) 만을 갖는 대수 구조임
        . 例 1) 1개의 연산을 갖는 대수 구조 : 수,함수,벡터,다항식 등 군(Group,群)
        . 例 2) 2개의 연산을 갖는 대수 구조 : 환(Ring), 체(Field), 벡터공간
2. 군의 공리 (Group Axiom)집합 G 및 이항연산 * 이 있을 때, 다음의 4가지 공리(성질,조건)들을 만족함

  ㅇ ①  연산 * 에 대해 `닫혀있음` (Closure)
     -   a * b 연산 결과도 집합 G 에 속함
        . 순서쌍 (a,b)들의 곱(카테시안 곱) 연산에 대해 닫혀있음
        . 즉, 어떤 집합의 임의의 두 원소들(순서쌍) 간에 연산이 행해질 때, 
              그 결과 역시도 그 집합의 원소가 됨

  ㅇ ②  연산 * 에 대해 `결합법칙 성립` (Associativity)
     -   a,b,c 모두 집합 G 에 속하고, a * (b * c) = (a * b) * c 임

  ㅇ ③  연산 * 에 대해 `항등원이 존재` (Identity Element)
     -   e * a = a * e = a
        . 보통, e(Einheit,독일어) 또는 i(Identity,영어)로 표기
        . 모든 군은 반드시 하나의 항등원이 존재함

  ㅇ ④  연산 * 에 대해 `각 원소의 역원이 존재` (Inverse Element)
     -   a * a-1 = a-1 * a = E
        . 보통, a-1로 표기


3. 군의 표기

  ㅇ 군의 표기 :  ( G, * )  또는  < G, * >  또는  { G, * }  또는 간단히 G 로 표기
     - 여기서, G : 군의 원소 집합, * : 군의 연산

  ㅇ 군의 차수/위수 (order) :  |G|  또는  O(g)  또는  Gn  또는  ord(G)
     - 군의 원소의 총 개수를 말함


4. 군의 종류

  ※ ☞ 군의 종류 참조
     - 유한군/무한군,가환군(아벨군),순환군,덧셈군/곱셈군,부분군,정규 부분군
5. 군이 대상으로 삼을 수 있는 例)수론 : 수집합 ℤ,ℚ,ℝ,ℂ는 덧셈 연산 하에서 군을 이룸

     - 정수 집합 내에서 덧셈 연산 : ( ℤ, + )
        . ①  두 정수의 덧셈은 정수 (닫혀있음)
        . ②  a + (b + c) = (a + b) + c (결합법칙 성립)
        . ③  0 + a = a + 0 = a (항등원 존재) 
        . ④  임의 정수 (-a) + a = 0 (각각의 역원이 존재) 

  ㅇ 대수 방정식 이론 : 방정식(Roots)

  ㅇ 기하학적 변환 : 어떤 도형을 회전시키는 대칭 동작 
     - 例) 강체운동 군 등

  ㅇ 응용 분야 : 분자 대칭성대칭 조작


[ 추상대수학 ]1. 대수 구조  2. 군(Group)  3. 환(Ring)  4. 체(Field)  
      [연산] [군(Group)] [환(Ring)] [체(Field)]
[ 군(Group) ]1. 군(Group)  2. 가환군  3. 대칭성  4. 대칭 조작  5. 군의 종류  

 
        최근수정     모바일웹     참고문헌