그룹(수학)
Group (mathematics)![A Rubik's cube with one side rotated](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a6/Rubik%27s_cube.svg/220px-Rubik%27s_cube.svg.png)
수학에서 그룹(group)은 빈 집합이 아닌 집합으로, 다음 제약 조건을 만족합니다. 연산은 연관적이고, 항등식 요소를 가지며, 집합의 모든 요소는 역요소를 갖습니다.
많은 수학적 구조는 다른 성질을 가진 집단입니다.예를 들어, 덧셈 연산이 있는 정수는 1이라는 단일 요소에 의해 생성되는 무한 그룹입니다(이러한 속성은 정수를 고유한 방식으로 특성화합니다).
군의 개념은 수, 기하학적 형태, 다항식 근과 같은 많은 수학적 구조를 통일적인 방법으로 다루기 위해 정교화되었습니다.군의 개념은 수학 내외의 다양한 영역에 널리 퍼져 있기 때문에, 일부 저자들은 군의 개념을 현대 수학의 중심적인 조직 원리로 간주합니다.[1][2]
기하학에서 그룹은 대칭 및 기하학적 변환 연구에서 자연스럽게 발생합니다.물체의 대칭은 물체의 대칭군이라 불리는 그룹을 형성하고, 주어진 형태의 변환은 일반적인 그룹을 형성합니다.거짓말 그룹은 기하학의 대칭 그룹과 입자 물리학의 표준 모형에서도 나타납니다.푸앵카레 군은 특수 상대성 이론에서 시공간의 대칭으로 구성된 리 군입니다.점군은 분자 화학에서 대칭성을 설명합니다.
군의 개념은 1830년대에 에바리스트 갈루아(Evarist Galois)를 시작으로 다항식에 대한 연구에서 생겨났습니다. 그는 현재 갈루아 군이라고 불리는 방정식의 근의 대칭군에 대한 군(프랑스어: groupe)이라는 용어를 도입했습니다.수론과 기하학과 같은 다른 분야의 공헌을 거쳐, 1870년경에 집단 개념이 일반화되고 확고하게 확립되었습니다.능동적인 수학 학문인 현대 집단 이론은 집단을 그들 자신의 권리로 연구합니다.그룹을 탐구하기 위해 수학자들은 그룹을 하위 그룹, 몫 그룹, 단순 그룹과 같은 더 작고 더 잘 이해할 수 있는 조각으로 나누는 다양한 개념을 고안했습니다.추상적인 특성 외에도, 그룹 이론가들은 표현 이론의 관점과 계산 그룹 이론의 관점에서 그룹을 구체적으로 표현할 수 있는 다양한 방법을 연구합니다.2004년에 완성된 유한 단순 군의 분류로 절정에 이른 유한 군에 대한 이론이 개발되었습니다.1980년대 중반 이후 기하학적 대상으로서 유한 생성된 군을 연구하는 기하학적 군론이 군론에서 활발한 영역으로 자리 잡았습니다.
대수적 구조 → 군론 군론 |
---|
![]() |
대수 구조 |
---|
정의 및 설명
첫번째 예: 정수
더 익숙한 그룹 중 하나는 정수들의 집합입니다.
- 정수 b 및 에 대해(+ + = a+ b + c) {\displaystyle (a + b) + c = a + (b + c)}가 있습니다.Expressed in words, adding to first, and then adding the result to gives the same final result as adding to the sum of and .이 속성을 연관성이라고 합니다.
- 이(가) 정수이면 0+ = 0a=a}이고 + 0 = {\displaystyle a+0=a}입니다. 0은 임의의 정수에 추가하면 동일한 정수가 반환되므로 덧셈의 ID 요소라고 불립니다.
- 모든 정수 에 대해+ = 0 a+b=0}, b + a = 0 {\displaystyle b+a=0}과 같은 b{\가 있습니다.정수 을 (를) 정수 a {\의 역 요소라고 하며로 표시합니다
정수는 연산 +과 함께 유사한 구조적 측면을 공유하는 넓은 클래스에 속하는 수학적 개체를 형성합니다이들 구조를 집합체로서 적절히 이해하기 위해 다음과 같은 정의를 개발합니다.
정의.
그룹의 공리는 짧고 자연스러운...그러나 이러한 공리 뒤에는 수많은 기이한 우연에 의존하는 것처럼 보이는 거대하고 특별한 수학적 대상인 괴물 단순 군이 숨겨져 있습니다.그룹에 대한 공리는 이와 같은 것이 존재한다는 명확한 암시를 주지 않습니다.
Richard Borcherds, Mathematicians: An Outer View of the Inner World[4]
A group is a non-empty set together with a binary operation on , here denoted "", that combines any two elements and of to form an element of , denoted , such that the follo그룹 공리(group axioms)로 알려진 윙 3가지 요건이 충족됩니다.[5][6][7][a]
- 연상성
- For all , , in , one has .
- 아이덴티티 요소
- There exists an element in such that, for every in , one has and .
- 이러한 요소는 고유합니다(아래 참조).그것은 그룹의 아이덴티티 요소라고 불립니다.
- 역요소
- For each in , there exists an element in such that and , where is the identity element.
- 각 에 대해 요소 는아래 참조) 고유합니다. 요소는 {\displaystyle 의 역으로 불리며 일반적으로{\ a로 표시됩니다
표기법과 용어
공식적으로, 군은 집합의 순서 쌍이며 군 공리를 만족시키는 이항 연산입니다.집합을 그룹의 기본 집합이라고 하고, 연산을 그룹 연산 또는 그룹 법칙이라고 합니다.
따라서 그룹과 그룹의 기본 집합은 서로 다른 두 개의 수학적 개체입니다.번거로운 표기법을 피하기 위해 같은 기호를 사용하여 둘 다 표기하는 것이 일반적입니다.이것은 또한 비공식적인 사고 방식을 반영합니다: 작업에 의해 제공된 추가적인 구조에 의해 그룹이 풍부해진 것을 제외하고는 그룹이 집합과 동일하다는 것입니다.
For example, consider the set of real numbers , which has the operations of addition and multiplication . Formally, is a set, is a group, and 은 (는) 필드입니다.그러나 이 세 개체 중 하나를 나타내기 위해 을(를) 쓰는 것이 일반적입니다.
필드 의 추가 그룹은 기본 집합이 이고 연산이 추가인 그룹입니다.필드 의 곱셈 은 0이 아닌 실수 ∖ {0} {\이며 연산이 곱셈인 그룹 R × { \smallset minus\{0\}입니다.
더 일반적으로, 사람은 그룹 연산이 덧셈으로 표기될 때마다 덧셈 그룹을 말합니다. 이 경우, 아이덴티티는 으로 0 으로 표시되고 x{\}의 역은 로 표시됩니다 마찬가지로, 그룹 연산이 mu로 표기될 때마다 곱셈 그룹을 말합니다.곱셈; 이 경우, 아이덴티티는 으로1 {\로 표시되고x {\ x의 은 -1 {\ x로표시됩니다. 곱셈 그룹에서, 연산 기호는 일반적으로 완전히 생략되므로, 은 병치 로 됩니다.⋅ {\disp 대신 b b
그룹의 정의에서는 G {\displaystyle G}의 모든 요소 a {\displaystyle a} 및 b {\displaystyle b}에 대해 ⋅ = ⋅ {\ a\ b = b\cdot a}를 필요로 하지 않습니다. 이 추가 조건이 유지되면 연산이 교환 연산이라고 하며 그룹을 아벨리안 그룹이라고 합니다.아벨리안 그룹의 경우 덧셈 또는 곱셈 표기법을 사용할 수 있지만, 비아벨리안 그룹의 경우 곱셈 표기법만 사용되는 것이 일반적인 관례입니다.
요소가 숫자가 아닌 그룹에는 일반적으로 다른 몇 가지 표기법이 사용됩니다.요소가 함수인 그룹의 경우, 연산은 종종 구성 ∘ g circg}이(가) 됩니다. 그러면 ID가 id로 표시될 수 있습니다.기하 변환 그룹, 대칭 그룹, 순열 그룹 및 자동 변형 그룹의 보다 구체적인 경우에는 다중 그룹과 마찬가지로 ∘ {\\circ}이(가) 생략되는 경우가 많습니다.다른 많은 표기법의 변형을 만날 수 있습니다.
두번째 예: 대칭군
회전, 반사, 번역의 조합을 사용하여 하나를 다른 하나로 바꿀 수 있다면 평면의 두 도형은 일치합니다.어떤 수치라도 그 자체와 일치합니다.그러나 어떤 도형들은 하나 이상의 방법으로 그들 자신과 일치하며, 이러한 추가적인 합동은 대칭이라고 불립니다.정사각형은 8개의 대칭을 갖습니다.다음과 같습니다.
![]() \ {그대로 유지) | ![]() 시계방향으로ation) | ![]() ation) | ![]() 시계방향으로 ation) |
![]() tical 반사) |
- 모든 것을 변경하지 않고 그대로 둔 신원 확인 작업.
- 정사각형의 중심을 시계 방향으로 90°, 180°, 270° 회전하고, 각각 로 표시됩니다.
- reflections about the horizontal and vertical middle line ( and ), or through the two diagonals ( and ).
이 대칭들은 함수들입니다.각각은 제곱에 있는 한 점을 대칭 아래에 있는 해당 점으로 보냅니다.예를 들어, 은 사각형의 중앙을 중심으로 시계 방향으로 90° 회전에 점을 보내고, 는) 사각형의 수직 중간선을 따라 반사에 점을 보냅니다.이 대칭들 중 두 개를 구성하는 것은 또 다른 대칭을 제공합니다.이 대칭들은 로 표시되는 4도의 이면체 군이라고 불리는 군을 결정합니다그룹의 기본 집합은 위의 대칭 집합이며 그룹 연산은 함수 구성입니다.[8]함수로 구성하여 두 대칭을 결합합니다. 즉, 첫 번째 대칭을 정사각형에 적용하고, 첫 번째 대칭을 적용한 결과에 두 번째 대칭을 적용합니다. 를 수행한 다음 b 를 한 결과를 b ∘ \circa}( a} 수행 후 대칭 b b 적용)로 오른쪽에서 왼쪽으로 기호로 씁니다.이것은 함수의 구성에 대한 일반적인 표기법입니다.
그룹 테이블에는 가능한 모든 구성의 결과가 나열됩니다.예를 들어 시계방향으로 270° 회전( 3 한 다음 수평으로 반사( 하는 것은 대각선을 따라 반사( d {\d}})하는 것과 같습니다그룹 테이블에서 파란색으로 강조 표시된 위 기호 사용:
요소 은(는) 그룹 테이블이 강조 표시된 부분군을 구성합니다. 빨간색(왼쪽 위 영역).이 부분군의 왼쪽과 오른쪽 부분군은 각각 녹색(마지막 행)과 노란색(마지막 열)으로 강조 표시됩니다.구성 ∘ r 3 {\r_{3}, 대칭 {\d}}의 결과가 파란색으로 강조 표시됩니다(테이블 중심 아래). |
이 대칭들의 집합과 설명된 연산을 고려할 때, 그룹 공리는 다음과 같이 이해될 수 있습니다.
이진 연산:합성은 이진 연산입니다., ∘ b circ b}는{\ 와 bb} 두에 대한 대칭입니다. 예를 들어,
연관성:연관성 공리는 두 개 이상의 대칭을 구성하는 것을 다룹니다. {_의 {\ b {\displaystyle 및 c {\ 요소로 시작하여 이 세 대칭을 사용하여 정사각형의 대칭을 결정하는 두 가지 방법이 있습니다이러한 방법 중 하나는 먼저 및 를 단일 대칭으로 구성한 다음 c 로 해당 대칭을 구성하는 것입니다다른 방법은 먼저 와 를 구성한 a로 대칭을 구성하는 것입니다이 두 가지 방법은 항상 동일한 결과를 제공해야 합니다. 즉,
ID 요소:ID 요소는 {\입니다 왼쪽 또는 오른쪽에서 구성해도{\ 대칭을 변경하지 않기 입니다.
Inverse element: Each symmetry has an inverse: , the reflections , , , and the 180° rotation are their own inverse,두 번 공연하면 광장이 원래의 방향으로 되돌아가기 때문입니다. 과 r 은 서로의 역수입니다. 90° 회전한 다음 270° 회전(또는 그 반대)하면 360° 이상 회전할 수 있으므로 사각형은 변하지 않습니다.이것은 표에서 쉽게 확인할 수 있습니다.
In contrast to the group of integers above, where the order of the operation is immaterial, it does matter in , as, for example, but . In other words, 은 (는) belian이 아닙니다.
역사
추상적 집단의 현대적인 개념은 수학의 여러 분야에서 발전했습니다.[9][10][11]군론의 원래 동기는 4도보다 높은 다항식의 해를 찾는 것이었습니다.파올로 뤼피니와 조제프 루이 라그랑주의 선행 연구를 확장한 19세기 프랑스 수학자 에바리스트 갈루아는 특정 다항식의 근(해)의 대칭군의 관점에서 해결 가능성에 대한 기준을 제시했습니다.이러한 갈루아 군의 원소는 근의 특정 순열에 해당합니다.처음에, 갈루아의 생각은 그의 동시대 사람들에 의해 거절되었고, 사후에만 출판되었습니다.[12][13]더 일반적인 순열 그룹은 특히 오거스틴 루이스 코시에 의해 조사되었습니다.Arthur Cayley의 군론에 따르면, 기호 방정식 θ n = 1 \theta ^{n}= 1} (1854)은 유한 군의 첫 번째 추상적 정의를 제공합니다.
기하학은 펠릭스 클라인의 1872년 에를랑겐 프로그램의 일부로서 특히 대칭 그룹이 체계적으로 사용된 두 번째 분야였습니다.[15]쌍곡 기하학과 투영 기하학과 같은 새로운 기하학이 등장한 후, 클라인은 더 일관성 있는 방법으로 그것들을 정리하기 위해 집단 이론을 사용했습니다.이러한 생각을 더욱 발전시켜, 소푸스 리는 1884년에 리 군에 대한 연구를 설립했습니다.[16]
집단 이론에 기여한 세 번째 분야는 수론이었습니다.특정 아벨 군 구조는 칼 프리드리히 가우스의 수론적 연구인 산술학(Disquisitiones Armeticae, 1798)에서 암시적으로 사용되었고, 레오폴드 크로네커에 의해 더 명확하게 사용되었습니다.[17]1847년 에른스트 쿠머는 소수로 인수분해를 설명하는 그룹을 개발함으로써 페르마의 마지막 정리를 증명하려는 초기 시도를 했습니다.[18]
이러한 다양한 출처들의 집단의 균일한 이론으로의 융합은 카미유 조단의 Traité des substitutions et de quation algébric (1870)에서 시작되었습니다.[19]발터 폰 다이크(Walder von Dyck, 1882)는 생성기와 관계를 이용하여 군을 특정하는 아이디어를 도입하였으며, 또한 당시 용어로 "추상군"의 공리적 정의를 내린 최초의 사람이기도 합니다.[20]20세기 현재, 그룹은 유한 그룹의 표현 이론, 리차드 브라우어의 모듈러 표현 이론, 그리고 이사이 슈어의 논문을 연구한 페르디난트 게오르크 프로베니우스와 윌리엄 번사이드의 선구적인 연구에 의해 널리 인정을 받았습니다.[21]Hermann Weyl, Ellie Cartan 등 많은 사람들이 Lie 그룹, 그리고 더 일반적으로 국소적으로 콤팩트한 그룹의 이론을 연구했습니다.[22]대수적 대응물인 대수군 이론은 클로드 체발리(1930년대 후반부터)에 의해 처음 형성되었고, 나중에 아르망 보렐과 자크 티츠의 작업에 의해 형성되었습니다.[23]
1960-61년 시카고 대학의 그룹 이론의 해에는 다니엘 고렌스타인, 존 G 등의 그룹 이론가들이 모였습니다. Thompson과 Walter Feit는 2004년에 Aschbacher와 Smith가 마지막 단계를 밟으면서 수많은 다른 수학자들의 입력으로 유한한 단순 그룹의 분류로 이어진 공동 작업의 기초를 마련했습니다.이 프로젝트는 증명 기간과 연구원 수 모두에서 순수한 크기로 이전의 수학적 노력을 능가했습니다.이 분류 증명에 대한 연구가 진행 중입니다.[24]그룹 이론은 아래의 예가 보여주듯이 다른 많은 분야에 영향을 미치는 [b]매우 활발한 수학 분야로 남아 있습니다.
군 공리의 기본적인 결과
군 공리로부터 직접 얻을 수 있는 모든 군에 대한 기본적인 사실은 일반적으로 기초 군 이론 아래에 포섭됩니다.[25]예를 들어, 연관성 공리의 반복적인 적용은 다음과 같은 명확성을 보여줍니다.
아이덴티티 요소의 고유성
공리는 ID 요소가 고유하다는 것을 의미합니다. e 및 f 가 그룹의 ID 요소라면 e = ⋅f =fdisplaystyle e=e\cdot f=f}이므로 ID를 말하는 것이 일반적입니다.
역의 고유성
또한 그룹 공리는 각 요소의 역수가 고유하다는 것을 의미합니다. 만약 그룹 a{\가 b{\와 c{\을(를) 모두 역수로 갖는다면,
따라서 요소의 역을 말하는 것이 일반적입니다.[27]
나눗셈
Given elements and of a group , there is a unique solution in to the equation , namely .[c][28] It follows that for each in , the function that maps each to is a bijection; it is called left multiplication by or left translation by
Similarly, given and , the unique solution to is . For each , the function that maps each to is a bijection called right multiplicati을 (를 사용하거나 a. {\ a을(를) 오른쪽 변환합니다.
완화된 공리와 동등한 정의
동일성과 역에 대한 집단 공리는 왼쪽 동일성과 왼쪽 역의 존재만을 주장하기 위해 "약화"될 수 있습니다.이들 편면 공리로부터, 왼쪽 항등식도 오른쪽 항등식이고 왼쪽 역등식도 같은 원소에 대한 오른쪽 항등식이라는 것을 증명할 수 있습니다.그룹과 정확히 동일한 구조를 정의하기 때문에 전체적으로 공리가 약하지 않습니다.[29]
In particular, assuming associativity and the existence of a left identity (that is, ) and a left inverse for each element (that is, ),모든 왼쪽 역수는 다음과 같이 같은 원소의 오른쪽 역수임을 보여줄 수 있습니다.[29]정말로, 한 사람은
마찬가지로 왼쪽 아이덴티티 또한 오른쪽 아이덴티티입니다.[29]
이러한 증명에는 세 가지 공리(연관성, 좌동일성의 존재 및 좌반역의 존재)가 모두 필요합니다.예를 들어 정의가 느슨한 구조(반군과 같은)의 경우 왼쪽 항등식이 반드시 올바른 항등식은 아닐 수 있습니다.
바른 동일성과 바른 역의 존재만 가정하면 같은 결과를 얻을 수 있습니다.
그러나 왼쪽 항등식과 오른쪽 역등식의 존재를 가정하는 것만으로는 그룹을 정의하기에 충분하지 않습니다.예를 들어 ⋅가 \}이고 e ⋅ e = f ⋅ e = e {\displaystyle e\cdot e= f\cdot e= e} 및 e ⋅ f = f ⋅ f = f {\displaystyle e\cdot f= f\cdot f= f}를 만족하는 집합 ={,f를 생각합니다.이 구조에는 왼쪽 ID(즉, e가 있고 각 요소에는 오른쪽 반전(두 요소 모두에 e이 있습니다.또한 이 작업은 연관성이 있습니다(이러한 작업이 수행되는 순서에 관계없이 임의의 수의 요소의 제품은 항상 해당 제품의 가장 오른쪽 요소와 동일하기 때문입니다).그러나 올바른 ID가 없으므로(⋅) {\(Gcdot)}은(는) 그룹이 아닙니다.
기본개념
집합을 공부할 때 부분집합, 함수, 동치 관계에 의한 몫 등의 개념을 사용합니다.그룹을 연구할 때 하위 그룹, 동형 사상 및 몫 그룹을 대신 사용합니다.이것들은 그룹 구조를 고려한 유사어들입니다.[d]
군 동형 사상
그룹 동형화는[e] 그룹 구조를 존중하는 함수이며, 두 그룹을 연관시키는 데 사용될 수 있습니다.(⋅) {\ (Gcdot)}에서 ∗ displaystyle (H,*)}로의 동형은 φ G → H varphi \colon G\to H}:
또한φ {\displaystyle\varphi}이가) 를 하고 φ(1G) = varphi(1_{G}) = 1_{ 그리고 그 역은 G{\displaystyle G}의 모든 {\displaystyle a}에 대해 (a - 1 ) (a ) - {\ \varphi (a^{-1}) \varphi (a)^{-1}입니다. 그러나 이러한 추가 요구 사항은 그룹 연산을 존중하는 요구 사항에 의해 이미 암시되었기 때문에 동형 정의에 포함될 필요는 없습니다.
그룹 의 동일 동형은 G G}의 각를 자신에게 매핑하는 동형ι G : G → G _{G\to G}입니다.An inverse homomorphism of a homomorphism is a homomorphism such that and , that is, such that for all in and such that for all in . An isomorphism is a homomorphism that has an inverse homomorphism; equivalently, it is a bijective homomorphism.Groups and are called isomorphic if there exists an isomorphism . In this case, can be obtained from simply by renaming its elements according to the function ; then any statement true for 에 언급된 특정 요소의 이름도 변경되는 경우h H에 대해 G}이(가) 참입니다.
모든 그룹의 집합은 그들 사이의 동형사상과 함께 하나의 범주, 즉 그룹의 범주를 구성합니다.[31]
주입 동형ϕ : G' → G {\displaystyle \colon G'\to G} 인자를 동형으로 표준화하고 포함, G → ~ H ↪ G {\displaystyle Gstackrel {\sim }{\to }}\;G의 일부 부분군 H에 대한 후크 화살표 주입형 동형은 군 범주의 단형입니다.
부분군
비공식적으로 부분군은 더 큰 내에 포함된 그룹입니다 이 그룹은 의 요소의 부분 집합을 가지고있으며 동일한 작업을 수행합니다.[32]Concretely, this means that the identity element of must be contained in , and whenever and are both in , then so are and , so the elements of 로 제한된 G에 그룹 작업이 장착된은는) 실제로 그룹을 구성합니다.이 경우, 포함 맵 → {\ 는 동형 사상입니다.
정사각형의 대칭 예제에서, 항등식과 회전은 R = { r 1, r 2, r 3 } {\displaystyle R =\{\mathrm {id},r_{1},r_{2},r_{3}\}, 예제의 그룹 테이블에서 빨간색으로 강조 표시됩니다. 구성된 모든 두 회전은 여전히 회전이며, 회전은 (즉, 완전체와 역으로) 되돌릴 수 있습니다.90°일 때 270°, 180°일 때 180°, 270°일 때 90° 회전합니다.부분군 테스트는 그룹 G의 비어 있지 않은 부분군 H가 부분군이 되기 위한 필요충분조건을 제공합니다. H displaystyle H}의 모든{\g} 및 h h}에 g⋅ h ∈ H 1}\cdoth\in H}을(를) 확인하면 충분합니다.그룹의 하위 그룹을 아는 것은 그룹 전체를 이해하는 데 중요합니다.[f]
G 의 임의의 집합S {\ S}이가) 때 S {\displaystyle 에 의해 생성된 집합은 S {\ S의 요소와 그 역의 모든 곱으로 구성됩니다It is the smallest subgroup of containing .[33] In the example of symmetries of a square, the subgroup generated by and consists of these two elements, the identity element , and the element {\ 다시 말해서, 이것은 부분군입니다. 왜냐하면 이들 4개의 원소 또는 그 역들 중 임의의 2개를 결합하면 이 부분군의 원소가 나오기 때문입니다.
코스세트
주어진 부분군의 요소별로 다른 경우에는 두 그룹 요소를 동일하게 간주하는 것이 좋습니다.예를 들어, 정사각형의 대칭군에서, 일단 반사가 행해지면, 회전만으로는 정사각형을 원래의 위치로 되돌릴 수 없기 때문에, 정사각형의 반사된 위치는 모두 동일하다고 생각할 수 있습니다.그리고 반사되지 않은 위치와 동등하지 않습니다. 회전 작업은 반사가 수행되었는지 여부에 대한 질문과 무관합니다.이 통찰력을 공식화하는 데에는 H 가 좌/우 부분군 H를 결정하는데, 임의의 그룹 요소 g {\이()H 의 변환으로 간주할수 . 기호적인 용어로, g 요소를 포함하는 의 좌/우 부분군은 다음과 같습니다
모든 부분군 의 왼쪽 부분군 집합은 의 파티션을 형성합니다 즉, 모든 왼쪽 부분군 집합의 이G {\과(와) 같거나 두 왼쪽 부분군 집합의 교집합이 비어 있습니다.[35]첫 번째 경우 = {\ happens precisely when , i.e., when the two elements differ by an element of . Similar considerations apply to the right cosets of . The left cosets of may or may not be the same as its right cosets.(즉, 의 g 이() H =displaystyle gH=Hg}을(를) 만족하는 경우) H {\displaystyle H}은(는) 정상 부분군이라고 합니다.
In , the group of symmetries of a square, with its subgroup of rotations, the left cosets are either equal to , if is an element of itself, or otherwise equal to f_ {cR\{{\{c}},f_{\mathrm {h}\}}(D4 {\displaystyle \mathrm {D} _{4}의 그룹 테이블에서 녹색으로 됨).부분군 은(는) 정상입니다. = U = c{\displaystyle f_{\mathrm {c}}}, 그리고 그룹의 다른 요소들에 대해서도 마찬가지입니다.(실제로 의 경우반사에 의해 생성된 코셋은 모두 같습니다: f = f R =f d = f {h}={\mathrm {v} = f_{\mathrm {d} } R = f_{\mathrm {c} } R . f_{\mathrm {c} } R}
몫군
이 (가) G 의 정규 부분군이라고 가정하고
몫 그룹 / 의 요소는 이고 = f R U =입니다 몫에 대한 그룹 작업이 표에 나와 있습니다.For example, . Both the subgroup and the quotient are abelian,그러나 은 (는) 아닙니다.때때로 그룹은 부분군 및 몫(일부 추가 데이터 포함)에서 반직접 곱 구성에 의해 재구성될 수 있습니다. 이 예입니다.
첫 번째 동형 정리는 임의의 동형ϕ을 의미합니다: G → H {\ \phi \colon G\to H} 인자들이 표준적으로 몫 동형으로 이어짐을 의미합니다. G → G / ker ϕ → ~ H {\displaystyle G\to G/\ker \phi \; {\stackrel {\sim }{\to }}\; 주관적 동형사상은 군의 범주에 속하는 상형사상입니다.
프레젠테이션
모든 군은 여러 가지 면에서 자유 군의 몫과 동형입니다.
예를 들어, 에서 직각 회전 { 과 반사 f 에 의해 다면체 그룹 의 모든 요소는 이들과 그 역의 복사본의 유한 곱입니다.Hence there is a surjective homomorphism φ from the free group on two generators to sending to and to . Elements in are called relations;예를 들어 f ⋅ f ) 2 {\r^{},(f)^{2} 등이 있습니다. 사실 ϕ {\displaystyle\ker \phi }는 이 세 요소를 포함하는 ⟨ f ⟩ {\displaystyle \langer,f\rangle }의 가장작은 이 밝혀졌습니다. 즉, 모든 관계는 이 세 가지 요소의 결과입니다. 정규 부분군에 의한 자유군의 몫은 ⟨ , ∣ r 4 = f 2 = (r ⋅ f ) 2 = 1 ⟩ {\displaystyle \langler,f\mid r^{4} = f^{2} = (r\cdot f)^{2} = 1\rangle } 로 표시됩니다. 생성자와 관계자들은 이것을 D 4 {\displaystyle \mathrm{D} _{4} 의 표현이라고 부르는데, φ에 대한 첫 번째 동형 정리가 동형 ⟨ r을 산출하기 때문입니다. r ( r f ) D 4 \ler,f\mid r^{4}f^{2}(r\cdot f)^{2}1\rangle \to \mathrm {D} _{4}}.
그룹의 프레젠테이션은 이산형 그룹을 그래픽으로 묘사하는 케일리 그래프를 구성하는 데 사용할 수 있습니다.[38]
예제 및 응용프로그램
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8d/Wallpaper_group-cm-6.jpg/220px-Wallpaper_group-cm-6.jpg)
그룹의 예제와 응용프로그램은 매우 많습니다.시작점은 위에서 소개한 그룹 연산으로 덧셈이 있는 정수의 그룹 \입니다.덧셈 곱셈 대신에 곱셈을 고려하면 곱셈 그룹을 얻습니다.이 그룹들은 추상대수학에서 중요한 구성들의 전신들입니다.
그룹은 다른 많은 수학 영역에서도 적용됩니다.수학적 개체는 종종 그룹을 연관시키고 해당 그룹의 속성을 연구함으로써 검사됩니다.예를 들어, 앙리 푸앵카레는 기본군을 도입함으로써 현재 대수적 위상이라고 불리는 것을 발견했습니다.[39]이 연결을 통해 근접성 및 연속성과 같은 위상 속성이 그룹의 속성으로 변환됩니다.[g]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/ba/Fundamental_group.svg/220px-Fundamental_group.svg.png)
위상 공간의 기본 그룹의 요소는 루프의 동치 클래스로, 루프가 다른 루프로 부드럽게 변형될 수 있다면 동치로 간주되며, 그룹 연산은 "연접"(한 루프를 추적하고 다른 루프를 추적함)입니다.예를 들어, 그림과 같이 위상 공간이 한 점이 제거된 평면이라면, 결측점(파란색)을 감싸지 않는 루프는 한 점으로 부드럽게 수축될 수 있으며, 기본 그룹의 동일성 요소입니다.결측점 를 번 감는 루프는 을 번 감는 루프로 변형할 수 ≠ 가 {\displaystyle m\neq k}인 경우). 왜냐하면 루프는 구멍을 가로질러 매끄럽게 변형될 수 없기 때문에 각 루프 클래스는 결측점을 감는 수가 특징입니다.결과 그룹은 덧셈 아래의 정수와 동형입니다.
보다 최근의 응용 분야에서는 집단 이론적 배경에 의해 기하학적 구성에 동기를 부여하기 위해 영향력이 역전되었습니다.[h]비슷한 맥락에서, 기하학적 집단 이론은 예를 들어 쌍곡 집단 연구에서 기하학적 개념을 사용합니다.[40]군을 결정적으로 적용하는 추가적인 분기는 대수기하학과 수론을 포함합니다.[41]
위의 이론적 응용 이외에도 그룹의 실용적 응용이 많이 존재합니다.암호학은 특히 유한 그룹에 대해 구현될 때 계산 그룹 이론에서 얻은 알고리즘 지식과 함께 추상 그룹 이론 접근 방식의 조합에 의존합니다.[42]집단 이론의 적용은 수학에만 제한되지 않습니다; 물리학, 화학 그리고 컴퓨터 과학과 같은 과학은 그 개념으로부터 이익을 얻습니다.
수
정수와 유리수와 같은 많은 수 체계들은 자연스럽게 주어진 군 구조를 즐깁니다.합리적인 경우와 같이, 덧셈 연산과 곱셈 연산 모두 그룹 구조를 생성합니다.그러한 수 체계는 고리와 장으로 알려진 더 일반적인 대수적 구조의 전신입니다.모듈, 벡터 공간 및 대수와 같은 추상적인 대수적 개념 또한 그룹을 형성합니다.
정수
에서(Z+ ){\ \ {Z로 표시된 정수 Z 그룹에 대해 설명했습니다덧셈 대신 곱셈을 수행하는 정수⋅) {\\right)}은(는) 그룹을 구성하지 않습니다.연관성 및 ID 공리는 충족되지만 역이 존재하지 않습니다. 예를 들어 = displaystyle a=2}은(는) 정수이지만 이 경우 방정식 a ⋅ b = 1 {\displaystyle a\cdot b=1}의 유일한 해는 b = 1 2 {\displaystyle b = {\tfrac {1}{2}}이며 이는 유리수이지만 정수는 아닙니다.따라서 의 모든 요소에 (곱셈) 역이 있는 것은 아닙니다.[i]
레이셔널스
곱셈 역수의 존재에 대한 열망은 분수를 고려하는 것을 제안합니다.
정수의 분수(가 이고 0이 아닌 경우)를 유리수라고 합니다.[j]이러한 모든 축소할 수 없는 분수의 집합은 일반적으로 로 표시됩니다(⋅) \mathbb {Q},\cdot \right)}, 즉, 0이 곱셈 역수를 갖지 않기 때문에(즉, 0이 ⋅ 이 되는 x {\displaystyle x}는 없습니다. 1}),( ⋅) \right)}이(가) 여전히 그룹이 아닙니다.
그러나 0이 아닌 모든 유리수 의 은 0 ∖ = { ∈ ∣ ≠ } {\displaystyle \mathbb {Q} \smallsetminus \left\{0\right\}=\left\{q\in \mid q\neq 0\right\}는 곱셈 하에서 아벨 군을 형성하며, Q × {\displaystyle \mathbb {Q}^{\times}}라고도 합니다.연관성과 동일성 요소 공리는 정수의 속성을 따릅니다.0이 아닌 두 개의 유리수의 곱은 결코 0이 아니기 때문에 0을 제거한 후에도 폐쇄 요구 사항은 여전히 유효합니다.마지막으로, / 의 역은 b/ 이므로 역요소의 공리는 충족됩니다.
유리수(0 포함)도 덧셈 아래 그룹을 형성합니다.덧셈과 곱셈 연산을 엮으면 추상 대수학에서 중심 위치를 차지하는 에서와 같이 0이 아닌 다른 분할이 가능한 경우 링이라고 불리는 더 복잡한 구조가 생성됩니다.따라서 집단 이론적 주장은 그 실체 이론의 일부에 기초를 두고 있습니다.[l]
모듈러 산술
![The clock hand points to 9 o'clock; 4 hours later it is at 1 o'clock.](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Clock_group.svg/220px-Clock_group.svg.png)
Modular arithmetic for a modulus defines any two elements and that differ by a multiple of to be equivalent, denoted by . Every integer is equivalent to one of the integers from to 모듈러 산술의 연산은 모든 연산의 결과를 동등한 대표자로 대체함으로써 정규 산술을 수정합니다.Modular addition, defined in this way for the integers from to , forms a group, denoted as or , with as the identity element and as the inverse element of a
친숙한 예는 시계 면에 0이 아닌 12시간을 더하는 것인데, 여기서 0이 아닌 12시간이 아이덴티티의 대표로 선택됩니다.시침이 과 같이 9 에 있고 시간 앞당겨지면 1 에 끝납니다이는 + 이 (가) "modulo 과(또는 기호로) 일치함으로써 표현됩니다.
For any prime number , there is also the multiplicative group of integers modulo .[43] Its elements can be represented by to . The group operation, multiplication modulo , replaces the usual product by its representative, the remainder of division 예를 들어 = displaystyle p=}의 경우 4개의 그룹 요소는 1 2, 3, 4 {\displaystyle 1, 2, 3, 4}로 나타낼 수 있습니다. 이 그룹에서는 4 ⋅ 4 ≡ 1 mod 5 {\displaystyle 4\cdot 4\equiv 1{\bmod {5}},일반적인 제품 이 (가) 과(와) 같기 때문에5 {\로 나누면 1 이(가) 산출됩니다 의 기본값은 두 대표의 일반적인 곱이 로 분할되지 않도록 보장하므로 모듈형 곱이 0이 아닙니다[m]ID 요소는 로 되며 연관성은 정수의 해당 속성을 따릅니다.마지막으로, 역요소 공리는 로 나눌 수 없는 a 가 주어지면다음과 같은 정수 가 존재해야 합니다.
순환군
![A hexagon whose corners are located regularly on a circle](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Cyclic_group.svg/170px-Cyclic_group.svg.png)
순환군(cyclic group)은 모든 원소들이 특정 원소 {\의 거듭제곱인 군을 말합니다[46] 곱셈 표기법에서 군의 원소들은
위에서 소개한 그룹/ +) / 에서는 요소 이 (가) 기본이므로 이 그룹들은 순환합니다.실제로 각 요소는 항이 인 모든 것을 합하여 표현할 수 있습니다 의 개의 요소를 가진 순환 그룹은 이 그룹과 동형입니다.순환 그룹의 두 번째 예는 = z = 1 {\displaystyle z . 1}을 만족하는 복소수 z displaystyle z로 주어진 개의 복소수 일치 루트 그룹입니다. 숫자는 = 6 {\displaystyle n = 6}의 이미지에서 파란색으로 표시된 것처럼 정규 - gon의 정점으로 시각화할 수 있습니다.그룹 연산은 복소수의 곱셈입니다.사진에서 를 곱하면 시계 반대 방향으로 60° 회전하는 것에 해당합니다.[47]From field theory, the group is cyclic for prime : for example, if , is a generator since , , , and
어떤 순환군은 무한한 수의 원소를 가지고 있습니다.이러한 그룹에서는 0이 모든 요소 {\ a에 대해 의 모든 기능이 서로 다릅니다 "cyclic group"이라는 이름에도 불구하고 요소의 기능이 순환하지 않습니다.무한 순환군은 위에서 소개한 덧셈의 정수들의 그룹인(+) 과 동형입니다.[48]이 두 프로토타입이 모두 아벨리안이므로 순환군도 모두 아벨리안입니다.
유한 생성 아벨 군에 대한 연구는 매우 성숙하며, 여기에는 유한 생성 아벨 군의 기본 정리가 포함되어 있습니다. 그리고 이러한 상황을 반영하여 중심과 정류자와 같은 많은 군 관련 개념은 주어진 군이 아벨 군이 아닌 정도를 설명합니다.[49]
대칭군
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/14/Uniform_tiling_73-t2_colored.png/170px-Uniform_tiling_73-t2_colored.png)
대칭군은 주어진 수학적 대상의 대칭, 주로 기하학적 실체로 구성된 군이지만, 갈루아 이론에서 다루는 다항식의 근들 사이의 대칭과 같은 대수학에서도 발생합니다(아래 참조).[51]개념적으로, 집단 이론은 대칭성에 대한 연구로 생각될 수 있습니다.[p]수학의 대칭은 기하학적 또는 분석적 대상에 대한 연구를 크게 단순화합니다.만약 모든 군 요소가 X에 대한 어떤 연산에 연관될 수 있고 이 연산들의 구성이 군 법칙을 따른다면 군은 또 다른 수학적 대상 X에 작용한다고 합니다.예를 들어, (2,3,7) 삼각형 그룹의 요소는 삼각형을 순열함으로써 쌍곡선 평면의 삼각형 타일링에 작용합니다.[50]그룹 작업에 의해 그룹 패턴은 작업 중인 개체의 구조에 연결됩니다.
화학에서 점군은 분자 대칭을 설명하는 반면 공간군은 결정학에서 결정 대칭을 설명합니다.이러한 대칭은 이러한 시스템의 화학적 및 물리적 거동의 기초가 되며, 그룹 이론은 이러한 특성에 대한 양자역학적 분석의 단순화를 가능하게 합니다.[52]예를 들어, 그룹 이론은 특정 양자 수준 사이의 광학적 전이가 단순히 관련된 상태의 대칭 때문에 일어날 수 없다는 것을 보여주기 위해 사용됩니다.[53]
군론은 물질이 예를 들어 입방정계에서 사면체 결정형으로 상전이를 겪을 때 발생하는 물리적 특성의 변화를 예측하는 데 도움이 됩니다.한 예로 강유전체 물질이 있는데, 퀴리 온도에서 부전자 상태에서 강유전체 상태로 변화가 일어나고, 대칭이 큰 부전자 상태에서 하부 대칭이 되는 강유전체 상태로 변화하는 것과 관련이 있으며, 이는 소위 부드러운 포논 모드를 동반합니다.전이 시 [54]0 주파수로 가는 진동 격자 모드
그러한 자발적인 대칭 파괴는 골드스톤 보손의 출현과 관련된 기본 입자 물리학에서 더 많은 응용을 발견했습니다.[55]
![]() | ![]() | ![]() | ![]() |
벅민스터 플러렌 디스플레이 정이십면체 대칭[56] | 암모니아, NH3 대칭군은 120° 회전과 반사에 의해 생성된 차수 6입니다.[57] | 큐브네 CH88 특징 팔면체 [58]대칭 | 테트라클로로플라티네이트()II) ion, [PtCl4]2-은 사각 평면 기하학을 나타냄 |
Mathieu 그룹과 같은 유한 대칭 그룹은 전송된 데이터의 오류 수정에 적용되는 코딩 이론과 CD 플레이어에서 사용됩니다.[59]또 다른 응용은 미분 갈루아 이론으로, 특정 미분 방정식의 해가 잘 작동할 때에 대한 그룹 이론 기준을 제공하며, 규정된 형태의 미분을 갖는 함수를 특성화합니다.[q](기하학) 불변 이론에서 그룹 작용 하에서 안정적으로 유지되는 기하학적 특성이 조사됩니다.[60]
일반선형군 및 표현이론
![Two vectors have the same length and span a 90° angle. Furthermore, they are rotated by 90° degrees, then one vector is stretched to twice its length.](http://upload.wikimedia.org/wikipedia/commons/thumb/a/ab/Matrix_multiplication.svg/250px-Matrix_multiplication.svg.png)
행렬 그룹은 행렬 곱셈과 함께 행렬로 구성됩니다.일반 선형 그룹 ( ) 은(는) 실제 항목이 있는 가역적 by n 행렬로 구성됩니다.[61]부분군을 행렬 그룹 또는 선형 그룹이라고 합니다.위에서 언급한 다면체 그룹 예시는 (매우 작은) 매트릭스 그룹으로 볼 수 있습니다.또 다른 중요한 행렬 그룹은 특수 직교 그룹 입니다 의 차원에서 가능한 모든 회전을 설명합니다.이 그룹의 회전 행렬은 컴퓨터 그래픽에 사용됩니다.[62]
표현 이론은 집단 개념의 적용이면서 집단에 대한 더 깊은 이해를 위해 중요합니다.[63][64]그것은 다른 공간에 대한 그룹 행동으로 그룹을 연구합니다.넓은 부류의 그룹 표현은 3차원 유클리드 공간 R 과 같이 그룹이 벡터 공간에 작용하는 선형 표현입니다 차원 실수 벡터 공간에서 그룹 의 표현은 단순히 그룹 동형ρ입니다: G →G L ( n,그룹에서 일반 선형 그룹으로 이렇게 추상적으로 주어질 수 있는 그룹 연산은 명시적인 계산에 접근할 수 있도록 행렬의 곱셈으로 변환됩니다.[r]
그룹 작업은 작업 중인 개체를 연구할 수 있는 추가 수단을 제공합니다.[s]다른 한편으로는 그룹에 대한 정보도 얻을 수 있습니다.군 표현은 유한 군, 리 군, 대수 군, 위상 군, 특히 (국소적으로) 콤팩트 군의 이론에서 조직 원리입니다.[63][65]
갈루아족
갈루아 그룹은 대칭 특징을 포착하여 다항식을 푸는 데 도움이 되도록 개발되었습니다.[66][67]예를 들어, 2차 방정식 + x+ = displaystyle ax^{2} + bx + c = 0}의 해는 다음과 같이 주어집니다.
현대 갈루아 이론은 필드 이론으로 이동하고 다항식의 분할 필드로 형성된 필드 확장을 고려함으로써 위의 유형의 갈루아 그룹을 일반화합니다.이 이론은 갈루아 이론의 기본 정리를 통해 필드와 그룹 사이의 정확한 관계를 확립하고 수학에서 그룹의 보편성을 다시 한 번 강조합니다.[70]
유한군
어떤 그룹이 유한한 수의 원소를 가지면 유한하다고 합니다.원소의 개수를 그룹의 순서라고 합니다.[71]중요한 클래스는 대칭 그룹 즉 의 개 개체의 순열 그룹입니다.예를 들어, 3 문자 의 대칭 그룹은 가능한 모든 객체의 순서 변경의 그룹입니다.ABC 세 글자는 ABC, ACB, BAC, BCA, CAB, CBA로 순서를 바꾸어서 총 6개의 (3개의 인자로 구성) 요소를 구성할 수 있습니다.그룹 작업은 이러한 순서 변경의 구성이며, ID 요소는 순서를 변경하지 않고 유지하는 순서 변경 작업입니다.이 클래스는 케일리의 정리에따라 임의의 유한 그룹이 적합한 정수 에 대한 대칭 그룹 의 부분군으로 표현될 수 있는 한 기본입니다.위의 정사각형의 대칭군과 평행하게, 는 정삼각형의 대칭군으로도 해석할 수 있습니다.
의 의 순서는 {\}=displaystyle a를 최소 양의 n입니다
코셋을 세는 것과 같은 더 정교한 계산 기술은 유한 그룹에 대한 더 정확한 진술을 산출합니다. 라그랑주 정리는 유한 그룹 에 대해 유한 그룹 의 순서가 의 순서를 나눈다는 것을 말합니다 실로우 정리는 부분적인 역을 제공합니다.
정방형 대칭의 이면체 군 는 차수 8의 유한 군입니다.이 그룹에서 의 순서는 4이고 이 요소가 생성하는 R 의 순서는 4입니다.반사 요소 등의 순서는 2입니다.라그랑주 정리에 의해 예측된 바와 같이 두 차수 모두 8을 나눕니다.곱셈 의 그룹 _}^{\의 는 p - 입니다
유한 아벨 군
유한 아벨 군은 유한 순환군의 곱과 동형이며, 이 문장은 유한 생성 아벨 군의 기본 정리의 일부입니다.
의 소수 p 그룹은 순환 Z _와 동형입니다(라그랑주 정리의 결과).순서 의 모든 그룹은 아벨리안이며 Z { _ × p \ _와 동형입니다그러나 위의 순서 위의 {\ 2의 이면체 그룹 가 그 예입니다.[72]
단순 그룹
When a group has a normal subgroup other than and itself, questions about can sometimes be reduced to questions about and . A nontrivial group is called simple if it has no such normal subgroup.유한단순군은 소수가 양의 정수가 되는 것처럼 유한단순군이다: 요르단에 의해 정확하게 만들어진 의미에서, 그것들은 빌딩 블록의 역할을 합니다.홀더 정리.
유한단순군 분류
컴퓨터 대수 시스템은 2000년까지 모든 순서 그룹을 나열하는 데 사용되었습니다.[t]그러나 모든 유한 그룹을 분류하는 것은 너무 어렵게 생각되는 문제입니다.
모든 유한 단순 그룹의 분류는 현대 그룹 이론의 주요한 업적이었습니다.이런 집단의 무한한 가족들이 몇 개 존재할 뿐만 아니라 어느 가족에도 속하지 않는 26개의 "희귀한 집단"이 존재합니다.가장 큰 산발적인 집단은 괴물 집단이라고 불립니다.리처드 보처드가 증명한 괴물 같은 달빛 추측은 괴물 그룹을 특정 모듈 함수와 연관시킵니다.[73]
단순 집단의 분류와 모든 집단의 분류 사이의 간극은 확장 문제에 있습니다.[74]
구조가 추가된 그룹
그룹의 동등한 정의는 그룹 공리의 "존재한다" 부분을 반드시 존재해야 하는 요소인 연산으로 대체하는 것으로 구성됩니다.따라서, 그룹은 이진 G × → {\ G\times G그룹 연산), 단항 연산 G → G {\displaystyle G\rightarrow G}(역을 제공) 및 피연산자가 없고 항등식 요소가 생성되는 널 연산을 갖춘 G 입니다.그렇지 않으면 그룹 공리가 완전히 동일합니다.이 정의의 변형은 실존적인 정량자를 피하며 그룹과 컴퓨터 지원 증명을 위한 컴퓨팅에 사용됩니다.
그룹을 정의하는 이 방법은 카테고리에서 그룹 객체의 개념과 같은 일반화에 도움이 됩니다.간단히 말하면, 이것은 그룹 공리를 모방한 형태소를 가진 물체입니다.[75]
위상군
![A part of a circle (highlighted) is projected onto a line.](http://upload.wikimedia.org/wikipedia/commons/thumb/d/de/Circle_as_Lie_group2.svg/220px-Circle_as_Lie_group2.svg.png)
일부 위상 공간은 집단 법칙이 부여될 수 있습니다.그룹 법칙과 토폴로지가 잘 맞물리려면 그룹 작업이 연속 함수여야 합니다. 비공식적으로 ⋅ h\ g - 1 {\g^{-1}은(는) g 및 h h}이(가) 조금만 다를 경우 달라지지 않아야 합니다.이러한 군을 위상군이라고 하며, 위상공간의 범주에 속하는 군 개체입니다.[76]가장 기본적인 예는 덧셈 아래의 실수들의 그룹과 곱셈 아래의 0이 아닌 실수들의 그룹입니다.복소수 필드 또는 p-adic number 필드와 같은 다른 위상 필드에서도 유사한 예가 형성될 수 있습니다.이러한 예는 국부적으로 콤팩트하기 때문에 Haar 측정값이 있으며 조화 분석을 통해 연구할 수 있습니다.국소적으로 콤팩트한 다른 위상군은 국소장 또는 아델 고리 위의 대수군의 점군을 포함합니다. 이것들은 기본적인 정수론입니다[77]. 무한한 대수장 확장의 갈루아 군은 무한 갈루아 이론에서 역할을 하는 크룰 위상을 갖추고 있습니다.[78]대수기하학에서 사용되는 일반화는 에테일 기본군입니다.[79]
거짓말군
Lie 그룹은 또한 미분 가능한 다양체의 구조를 갖는 그룹입니다. 비공식적으로, 이것은 그것이 어떤 고정된 차원의 유클리드 공간처럼 국소적으로 보인다는 것을 의미합니다.[80]다시, 그 정의는 여기서 매니폴드 구조인 추가 구조가 호환될 것을 요구합니다. 즉, 곱셈과 역맵은 매끄럽게 해야 합니다.
표준적인 예는 위에서 소개한 일반 선형 그룹입니다. 이 그룹은 모든 의 의 공간의 열린 부분 집합입니다. 왜냐하면 부등식에 의해 주어지기 때문입니다.
거짓말 집단은 현대 물리학에서 근본적으로 중요합니다.노에테르의 정리는 연속적인 대칭을 보존된 양과 연결시킵니다.[82]공간과 시간의 번역뿐만 아니라 회전은 역학 법칙의 기본적인 대칭입니다.예를 들어, 간단한 모델을 구성하는 데 사용할 수 있습니다. 예를 들어, 어떤 상황에 축 대칭을 부과하면 일반적으로 물리적 설명을 제공하기 위해 풀어야 하는 방정식이 상당히 단순해집니다.[u]또 다른 예는 로렌츠 변환 그룹으로, 서로 상대적으로 움직이는 두 관찰자의 시간과 속도 측정을 연관시킵니다.그들은 민코프스키 공간의 회전 대칭으로 변환을 표현함으로써 순수하게 집단 이론적인 방법으로 추론될 수 있습니다.후자는 상당한 중력이 없는 경우 특수 상대성 이론에서 시공간의 모델로 사용됩니다.[83]민코프스키 공간의 완전한 대칭군, 즉 번역을 포함하여 푸앵카레 군으로 알려져 있습니다.위에서 언급한 바와 같이, 그것은 특수 상대성 이론과 양자장 이론에 있어서 중추적인 역할을 합니다.[84]위치에 따라 달라지는 대칭은 게이지 이론의 도움을 받아 물리적 상호작용을 현대적으로 설명하는 데 중심이 됩니다.게이지 이론의 중요한 예는 알려진 네 가지 기본 힘 중 세 가지를 설명하고 알려진 모든 기본 입자를 분류하는 표준 모델입니다.[85]
일반화
토탈리티α | 연상성 | 신원 | 가감성β | 교환성 | |
---|---|---|---|---|---|
부분 마그마 | 필요 없음 | 필요 없음 | 필요 없음 | 필요 없음 | 필요 없음 |
반군포체 | 필요 없음 | 필수의 | 필요 없음 | 필요 없음 | 필요 없음 |
소분류 | 필요 없음 | 필수의 | 필수의 | 필요 없음 | 필요 없음 |
그루포이드 | 필요 없음 | 필수의 | 필수의 | 필수의 | 필요 없음 |
마그마 | 필수의 | 필요 없음 | 필요 없음 | 필요 없음 | 필요 없음 |
퀘이사 그룹 | 필수의 | 필요 없음 | 필요 없음 | 필수의 | 필요 없음 |
유니탈 마그마 | 필수의 | 필요 없음 | 필수의 | 필요 없음 | 필요 없음 |
고리 | 필수의 | 필요 없음 | 필수의 | 필수의 | 필요 없음 |
세미그룹 | 필수의 | 필수의 | 필요 없음 | 필요 없음 | 필요 없음 |
연상 준군 | 필수의 | 필수의 | 필요 없음 | 필수의 | 필요 없음 |
모노이드 | 필수의 | 필수의 | 필수의 | 필요 없음 | 필요 없음 |
치환 모노이드 | 필수의 | 필수의 | 필수의 | 필요 없음 | 필수의 |
그룹. | 필수의 | 필수의 | 필수의 | 필수의 | 필요 없음 |
아벨 군 | 필수의 | 필수의 | 필수의 | 필수의 | 필수의 |
^α 많은 출처에서 사용되고 다르게 정의되는 폐쇄 공리는 동치입니다. ^β 여기서 나눗셈성은 구체적으로 준군 공리를 말합니다. |
보다 일반적인 구조는 그룹을 정의하는 공리들 중 일부를 완화함으로써 정의될 수 있습니다.[31][86][87]표에는 그룹을 일반화하는 여러 구조의 목록이 나와 있습니다.
예를 들어, 모든 원소가 역수를 갖는다는 요구 조건이 제거되면, 그 결과로 생성되는 대수적 구조를 모노이드라고 합니다.덧셈 하에 자연수 포함)은 모노이드를 형성하며, 곱셈 하에 0이 아닌 정수 ∖{0 ⋅(\ {Z\{0\},\cdot )}. 모노이드의 모든 원소의 인접 역 (Z ∖ {0}, ⋅) {\displaystyle (\mathbb {Z} \smallsetminus \{0\},\cdot )} 는 그룹( {0}, ⋅) (\ {Q}0\},\cdot}}를 생성하며, 마찬가지로 임의의 (아벨리안) 모노이드 M에 인접한 역들은 M의 그로텐디크 그룹이라고 알려진 그룹을 생성한다.
군은 모든 형태가 동형인 하나의 객체 x를 갖는 작은 범주로 간주될 수 있습니다. 이러한 범주가 주어지면 집합 x ) \{Hom} (x, x)}은 군입니다. 반대로, 군 G가 주어지면, Hom (x, x)가 G {\displaystyle \operatorname {Hom}을 ≃하는 하나의 객체 x를 갖는 작은 범주를 만들 수 있습니다. 더 일반적으로, 군체는 모든 형태가 동형인 임의의 작은 범주입니다.집합론에서, 집합론의 구성은 단지 부분적으로만 정의되기 때문에, 집합론에 있는 모든 형태론의 집합은 보통 집합이 아닙니다: fg는 f의 근원이 g의 목표와 일치할 때만 정의됩니다. 집합론은 위상수학(예를 들어, 기본 집합론)과 집합론에서 발생합니다.
마지막으로, 이진 연산을 n-ary 연산(즉, 일부 음이 아닌 정수 n에 대해 n개의 인수를 취하는 연산)으로 대체함으로써 이러한 개념들 중 임의의 것을 일반화하는 것이 가능합니다.군 공리의 적절한 일반화로, 이것은 n-ary 군의 개념을 제공합니다.[88]
참고 항목
메모들
- ^ Some authors include an additional axiom referred to as the closure under the operation "", which means that is an element of for every and in . This condition is subsumed by requiring "" 에 대한 이진 연산이 됩니다 Lang 2002 참조.
- ^ 수학 출판물의 MathSciNet 데이터베이스에는 2020년에만 그룹 이론과 그룹 이론의 일반화에 대한 1,779개의 연구 논문이 나열되어 있습니다.MathSciNet 2021 참조.
- ^ G 가 아벨리안이 아닌 한 분수 를 사용하지 않습니다 a - 1 ⋅ b {\a^{-b를 의미하는지 b ⋅ a - 1 b\cdot a^{-1}}를 의미하는지 모호하기 때문입니다.)
- ^ 예를 들어 Lang 2002, Lang 2005, Herstein 1996 및 Herstein 1975를 참조하십시오.
- ^ 동형 사상이라는 단어는 그리스어 ὁ μ ός(동일한 구조와 μ ορφή)에서 유래했습니다.슈워츠만 1994, 페이지 108 참조.
- ^ 그러나 그룹은 부분군의 격자에 의해 결정되지 않습니다.스즈키 1951 참조.
- ^ 예를 들어, 세이퍼트-반 캄펜 정리를 참조하십시오.
- ^ 예를 들어 분류 공간의 특이 코호몰로지와 같은 그룹의 그룹 코호몰로지가 있습니다(Weibel 1994, §8.2 참조).
- ^ 곱셈 역수를 갖는 요소를 단위라고 합니다(Lang 2002, 페이지 84, § II.1 참조).
- ^ 분수를 포함함으로써 정수에서 유리수로의 전환은 분수 분야에 의해 일반화됩니다.
- ^ 대신 F 필드에 대해서도 마찬가지입니다 Lang 2005, 페이지 86, §III.1을 참조하십시오.
- ^ 예를 들어, 필드의 곱셈 그룹의 유한 부분군은 반드시 순환형입니다.Lang 2002, 정리 IV.1.9 참조.모듈의 비틀림 개념과 간단한 대수는 이 원리의 다른 예입니다.
- ^ 명시된 속성은 소수에 대한 가능한 정의입니다.프라임 요소 참조.
- ^ 예를 들어, 디피-헬만 프로토콜은 이산 로그를 사용합니다.Gollmann 2011, §15.3.2 참조.
- ^ 순환 그룹의 요소에 대한 추가 표기법은 cdota}이며 서t t는 Z \ Z}에 있습니다
- ^ 좀 더 엄밀하게 말하면, 모든 그룹은 어떤 그래프의 대칭 그룹입니다. 프루흐트의 정리, 프루흐트 1939를 참조하십시오.
- ^ 더 정확하게는 미분 방정식의 해의 벡터 공간에 대한 단색 작용이 고려됩니다.Kuga 1993, 페이지 105-113 참조.
- ^ 예를 들어, 이것은 유한 단순 그룹의 분류에 결정적이었습니다.2004년 아슈바흐 참조.
- ^ 예를 들어, 간단한 모듈에 대한 그룹 작용의 영향에 대해서는 Schur's Lemma를 참조하십시오.더 관련된 예는 에탈레 코호몰로지에 대한 절대 갈루아 그룹의 작용입니다.
- ^ 동형화까지는 2000년까지 약 490억 개의 목군이 존재합니다.Besche, Eick & O'Brien 2001 참조.
- ^ 대칭성이 물리적 시스템의 복잡성을 크게 감소시키는 예는 슈바르츠실트 메트릭을 참조하십시오.
인용문
- ^ 헤르슈타인 1975, p. 26, § 2.
- ^ Hall 1967, p. 1, §1.1: "군의 개념은 수학 전체에 순수하고 응용적으로 스며드는 것입니다."
- ^ Lang 2005, p. 360, App. 2.
- ^ 요리 2009, 페이지 24.
- ^ Art in 2018, p. 40, §2.2
- ^ Lang 2002, p. 3, I. §1과 p. 7, I. §2.
- ^ Lang 2005, p. 16, II. §1.
- ^ 헤르슈타인 1975, p. 54, § 2.6
- ^ 2007년을 회상하며.
- ^ 클라이너 1986년
- ^ 스미스 1906년
- ^ 갈루아 1908
- ^ 클라이너 1986, 페이지 202.
- ^ 케일리 1889년
- ^ 2007년 § III.2.
- ^ 1973년 거짓말.
- ^ 클라이너 1986, 페이지 204.
- ^ 2007년 § I.3.4.
- ^ 1870년 조던
- ^ 폰 다이크 1882.
- ^ 커티스 2003년
- ^ 매키 1976년
- ^ 보렐 2001.
- ^ 솔로몬 2018.
- ^ 레더만 1953, 페이지 4-5, § 1.2
- ^ 리더만 1973, p. 3, § I.1.
- ^ a b Lang 2005, p. 17, § II.1
- ^ 아트 인 2018, 페이지 40.
- ^ a b c Lang 2002, p. 7, § I.2.
- ^ Lang 2005, p. 34, § II.3
- ^ a b 맥레인 1998.
- ^ Lang 2005, p. 19, § II.1
- ^ 레더만 1973, p. 39, § II.12
- ^ Lang 2005, p. 41, § II.4
- ^ Lang 2002, p. 12, § I.2.
- ^ Lang 2005, p. 45, § II.4
- ^ Lang 2002, p. 9, § I.2.
- ^ Magnus, Karrass & Solitar 2004, pp. 56–67, § 1.
- ^ Hatcher 2002, p. 30, Chapter I.
- ^ 쿠르나르트, 델잔트 & 파파도풀로스 1990.
- ^ 예를 들어, 클래스 그룹 및 피카르 그룹; Neukirch 1999, 특히 §§I.12 및 I.13 참조
- ^ 세레스 1997.
- ^ 랭 2005, 7장.
- ^ Rosen 2000, p. 54, (theorem 2.1)
- ^ Lang 2005, p. 292, § VIII.1
- ^ Lang 2005, p. 22, § II.1
- ^ Lang 2005, p. 26, § II.2
- ^ Lang 2005, p. 22, § II.1(예 11)
- ^ Lang 2002, pp. 26, 29, § I.5
- ^ a b 엘리스 2019.
- ^ 웨일 1952.
- ^ Conway et al. 2001.비숍 1993 참조
- ^ Weyl 1950, pp. 197–202.
- ^ Dove 2003.
- ^ Zee 2010, p. 228.
- ^ Chancey & O'Brien 2021, 페이지 15, 16.
- ^ Simons 2003, §4.2.1.
- ^ Eliel, Wilen & Mander 1994, p. 82.
- ^ 웰시 1989.
- ^ Mumford, Fogarty & Kirwan 1994.
- ^ 2003년을 준비.
- ^ Kuipers 1999.
- ^ a b 풀턴 앤 해리스 1991년
- ^ 1977년 경.
- ^ 루딘 1990년.
- ^ 로빈슨 1996, p. 8.
- ^ 1998년 미술.
- ^ Lang 2002, Chapter VI (구체적인 예는 특히 p. 273 참조).
- ^ Lang 2002, p. 292, (Theorem VI.7.2).
- ^ Stewart 2015, § 12.1
- ^ 커즈와일 & 스텔마허 2004, 페이지 3.
- ^ Art in 2018, Proposition 6.4.3유사한 결과에 대해서는 Lang 2002, 페이지 77 참조.
- ^ 로난 2007년.
- ^ 아슈바흐 2004, p. 737.
- ^ 2010년형 § 4.1.
- ^ 1966년 후사인
- ^ 노이키르흐 1999.
- ^ 샤츠 1972.
- ^ 1980년 밀네.
- ^ 워너 1983년
- ^ 보렐 1991.
- ^ 골드스타인 1980년
- ^ 와인버그 1972.
- ^ 네이버 2003.
- ^ Zee 2010.
- ^ Denecke & Wismath 2002.
- ^ 로마노프스카 앤 스미스 2002.
- ^ Dudek 2001.
참고문헌
일반참고문헌
- Artin, Michael (2018), Algebra, Prentice Hall, ISBN 978-0-13-468960-9Artin, Michael (2018), Algebra, Prentice Hall, ISBN 978-0-13-468960-92장은 이 글에서 다루는 개념들에 대한 학부 수준의 설명입니다.
- Cook, Mariana R. (2009), Mathematicians: An Outer View of the Inner World, Princeton, N.J.: Princeton University Press, ISBN 978-0-691-13951-7
- Hall, G. G. (1967), Applied Group Theory, American Elsevier Publishing Co., Inc., New York, MR 0219593Hall, G. G. (1967), Applied Group Theory, American Elsevier Publishing Co., Inc., New York, MR 0219593기초 서론
- Herstein, Israel Nathan (1996), Abstract Algebra (3rd ed.), Upper Saddle River, NJ: Prentice Hall Inc., ISBN 978-0-13-374562-7, MR 1375019.
- Herstein, Israel Nathan (1975), Topics in Algebra (2nd ed.), Lexington, Mass.: Xerox College Publishing, MR 0356988.
- Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556
- Lang, Serge (2005), Undergraduate Algebra (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-22025-3.
- Ledermann, Walter (1953), Introduction to the Theory of Finite Groups, Oliver and Boyd, Edinburgh and London, MR 0054593.
- Ledermann, Walter (1973), Introduction to Group Theory, New York: Barnes and Noble, OCLC 795613.
- Robinson, Derek John Scott (1996), A Course in the Theory of Groups, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94461-6.
특수참고문헌
- Artin, Emil (1998), Galois Theory, New York: Dover Publications, ISBN 978-0-486-62342-9.
- Aschbacher, Michael (2004), "The status of the classification of the finite simple groups" (PDF), Notices of the American Mathematical Society, 51 (7): 736–740.
- Awodey, Steve (2010), Category Theory, Oxford University Press, ISBN 978-0-19-958736-0
- Behler, Florian; Wickleder, Mathias S.; Christoffers, Jens (2014), "Biphenyl and bimesityl tetrasulfonic acid – new linker molecules for coordination polymers", Arkivoc, 2015 (2): 64–75, doi:10.3998/ark.5550190.p008.911, hdl:2027/spo.5550190.p008.911
- Bersuker, Isaac (2006), The Jahn–Teller Effect, Cambridge University Press, ISBN 0-521-82212-2.
- Besche, Hans Ulrich; Eick, Bettina; O'Brien, E. A. (2001), "The groups of order at most 2000", Electronic Research Announcements of the American Mathematical Society, 7: 1–4, doi:10.1090/S1079-6762-01-00087-7, MR 1826989.
- Bishop, David H. L. (1993), Group Theory and Chemistry, New York: Dover Publications, ISBN 978-0-486-67355-4.
- Borel, Armand (1991), Linear Algebraic Groups, Graduate Texts in Mathematics, vol. 126 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-97370-8, MR 1102012.
- Carter, Roger W. (1989), Simple Groups of Lie Type, New York: John Wiley & Sons, ISBN 978-0-471-50683-6.
- Chancey, C. C.; O'Brien, M. C. M. (2021), The Jahn–Teller Effect in C60 and Other Icosahedral Complexes, Princeton University Press, ISBN 978-0-691-22534-0
- Conway, John Horton; Delgado Friedrichs, Olaf; Huson, Daniel H.; Thurston, William P. (2001), "On three-dimensional space groups", Beiträge zur Algebra und Geometrie, 42 (2): 475–507, arXiv:math.MG/9911185, MR 1865535.
- Coornaert, M.; Delzant, T.; Papadopoulos, A. (1990), Géométrie et théorie des groupes [Geometry and Group Theory], Lecture Notes in Mathematics (in French), vol. 1441, Berlin, New York: Springer-Verlag, ISBN 978-3-540-52977-4, MR 1075994.
- Denecke, Klaus; Wismath, Shelly L. (2002), Universal Algebra and Applications in Theoretical Computer Science, London: CRC Press, ISBN 978-1-58488-254-1.
- Dove, Martin T (2003), Structure and Dynamics: An Atomic View of Materials, Oxford University Press, p. 265, ISBN 0-19-850678-3.
- Dudek, Wiesław A. (2001), "On some old and new problems in n-ary groups" (PDF), Quasigroups and Related Systems, 8: 15–36, MR 1876783.
- Eliel, Ernest; Wilen, Samuel; Mander, Lewis (1994), Stereochemistry of Organic Compounds, Wiley, ISBN 978-0-471-01670-0
- Ellis, Graham (2019), "6.4 Triangle groups", An Invitation to Computational Homotopy, Oxford University Press, pp. 441–444, doi:10.1093/oso/9780198832973.001.0001, ISBN 978-0-19-883298-0, MR 3971587.
- Frucht, R. (1939), "Herstellung von Graphen mit vorgegebener abstrakter Gruppe [Construction of graphs with prescribed group]", Compositio Mathematica (in German), 6: 239–50, archived from the original on 2008-12-01.
- Fulton, William; Harris, Joe (1991), Representation Theory: A First Course, Graduate Texts in Mathematics, Readings in Mathematics, vol. 129, New York: Springer-Verlag, ISBN 978-0-387-97495-8, MR 1153249
- Goldstein, Herbert (1980), Classical Mechanics (2nd ed.), Reading, MA: Addison-Wesley Publishing, pp. 588–596, ISBN 0-201-02918-9.
- Gollmann, Dieter (2011), Computer Security (2nd ed.), West Sussex, England: John Wiley & Sons, Ltd., ISBN 978-0-470-74115-3
- Hatcher, Allen (2002), Algebraic Topology, Cambridge University Press, ISBN 978-0-521-79540-1.
- Husain, Taqdir (1966), Introduction to Topological Groups, Philadelphia: W.B. Saunders Company, ISBN 978-0-89874-193-3
- Jahn, H.; Teller, E. (1937), "Stability of polyatomic molecules in degenerate electronic states. I. Orbital degeneracy", Proceedings of the Royal Society A, 161 (905): 220–235, Bibcode:1937RSPSA.161..220J, doi:10.1098/rspa.1937.0142.
- Kuipers, Jack B. (1999), Quaternions and Rotation Sequences: A Primer with Applications to Orbits, Aerospace, and Virtual Reality, Princeton University Press, Bibcode:1999qrsp.book.....K, ISBN 978-0-691-05872-6, MR 1670862.
- Kuga, Michio (1993), Galois' Dream: Group Theory and Differential Equations, Boston, MA: Birkhäuser Boston, ISBN 978-0-8176-3688-3, MR 1199112.
- Kurzweil, Hans; Stellmacher, Bernd (2004), The Theory of Finite Groups, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-0-387-40510-0, MR 2014408.
- Lay, David (2003), Linear Algebra and Its Applications, Addison-Wesley, ISBN 978-0-201-70970-4.
- Mac Lane, Saunders (1998), Categories for the Working Mathematician (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-98403-2.
- Magnus, Wilhelm; Karrass, Abraham; Solitar, Donald (2004) [1966], Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations, Courier, ISBN 978-0-486-43830-6
- MathSciNet (2021), List of papers reviewed on MathSciNet on "Group theory and its generalizations" (MSC code 20), published in 2020, retrieved 14 May 2021
- Michler, Gerhard (2006), Theory of Finite Simple Groups, Cambridge University Press, ISBN 978-0-521-86625-5.
- Milne, James S. (1980), Étale Cohomology, Princeton University Press, ISBN 978-0-691-08238-7
- Mumford, David; Fogarty, J.; Kirwan, F. (1994), Geometric Invariant Theory, vol. 34 (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-56963-3, MR 1304906.
- Naber, Gregory L. (2003), The Geometry of Minkowski Spacetime, New York: Dover Publications, ISBN 978-0-486-43235-9, MR 2044239.
- Neukirch, Jürgen (1999), Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften, vol. 322, Berlin: Springer-Verlag, ISBN 978-3-540-65399-8, MR 1697859, Zbl 0956.11021
- Romanowska, A. B.; Smith, J. D. H. (2002), Modes, World Scientific, ISBN 978-981-02-4942-7.
- Ronan, Mark (2007), Symmetry and the Monster: The Story of One of the Greatest Quests of Mathematics, Oxford University Press, ISBN 978-0-19-280723-6.
- Rosen, Kenneth H. (2000), Elementary Number Theory and its Applications (4th ed.), Addison-Wesley, ISBN 978-0-201-87073-2, MR 1739433.
- Rudin, Walter (1990), Fourier Analysis on Groups, Wiley Classics, Wiley-Blackwell, ISBN 0-471-52364-X.
- Seress, Ákos (1997), "An Introduction to Computational Group Theory" (PDF), Notices of the American Mathematical Society, 44 (6): 671–679, MR 1452069.
- Serre, Jean-Pierre (1977), Linear Representations of Finite Groups, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90190-9, MR 0450380.
- Schwartzman, Steven (1994), The Words of Mathematics: An Etymological Dictionary of Mathematical Terms Used in English, Mathematical Association of America, ISBN 978-0-88385-511-9.
- Shatz, Stephen S. (1972), Profinite Groups, Arithmetic, and Geometry, Princeton University Press, ISBN 978-0-691-08017-8, MR 0347778
- Simons, Jack (2003), An Introduction to Theoretical Chemistry, Cambridge University Press, ISBN 978-0-521-53047-7
- Solomon, Ronald (2018), "The classification of finite simple groups: A progress report", Notices of the AMS, 65 (6): 1, doi:10.1090/noti1689
- Stewart, Ian (2015), Galois Theory (4th ed.), CRC Press, ISBN 978-1-4822-4582-0
- Suzuki, Michio (1951), "On the lattice of subgroups of finite groups", Transactions of the American Mathematical Society, 70 (2): 345–371, doi:10.2307/1990375, JSTOR 1990375.
- Warner, Frank (1983), Foundations of Differentiable Manifolds and Lie Groups, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90894-6.
- Weibel, Charles A. (1994), An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, ISBN 978-0-521-55987-4, MR 1269324, OCLC 36131259
- Weinberg, Steven (1972), Gravitation and Cosmology, New York: John Wiley & Sons, ISBN 0-471-92567-5.
- Welsh, Dominic (1989), Codes and Cryptography, Oxford: Clarendon Press, ISBN 978-0-19-853287-3.
- Weyl, Hermann (1952), Symmetry, Princeton University Press, ISBN 978-0-691-02374-8.
- Zee, A. (2010), Quantum Field Theory in a Nutshell (second ed.), Princeton, N.J.: Princeton University Press, ISBN 978-0-691-14034-6, OCLC 768477138
과거참고문헌
- Borel, Armand (2001), Essays in the History of Lie Groups and Algebraic Groups, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0288-5
- Cayley, Arthur (1889), The Collected Mathematical Papers of Arthur Cayley, vol. II (1851–1860), Cambridge University Press.
- O'Connor, John J.; Robertson, Edmund F., "The development of group theory", MacTutor History of Mathematics Archive, University of St Andrews
- Curtis, Charles W. (2003), Pioneers of Representation Theory: Frobenius, Burnside, Schur, and Brauer, History of Mathematics, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2677-5.
- von Dyck, Walther (1882), "Gruppentheoretische Studien (Group-theoretical studies)", Mathematische Annalen (in German), 20 (1): 1–44, doi:10.1007/BF01443322, S2CID 179178038, archived from the original on 2014-02-22.
- Galois, Évariste (1908), Tannery, Jules (ed.), Manuscrits de Évariste Galois [Évariste Galois' Manuscripts] (in French), Paris: Gauthier-Villars (갈루아 작품은 1843년 Joseph Liouville에 의해 처음 출판되었습니다.)
- Jordan, Camille (1870), Traité des substitutions et des équations algébriques [Study of Substitutions and Algebraic Equations] (in French), Paris: Gauthier-Villars.
- Kleiner, Israel (1986), "The evolution of group theory: A brief survey", Mathematics Magazine, 59 (4): 195–215, doi:10.2307/2690312, JSTOR 2690312, MR 0863090.
- Lie, Sophus (1973), Gesammelte Abhandlungen. Band 1 [Collected papers. Volume 1] (in German), New York: Johnson Reprint Corp., MR 0392459.
- Mackey, George Whitelaw (1976), The Theory of Unitary Group Representations, University of Chicago Press, MR 0396826
- Smith, David Eugene (1906), History of Modern Mathematics, Mathematical Monographs, No. 1.
- Weyl, Hermann (1950) [1931], The Theory of Groups and Quantum Mechanics, translated by Robertson, H. P., Dover, ISBN 978-0-486-60269-1.
- Wussing, Hans (2007), The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory, New York: Dover Publications, ISBN 978-0-486-45868-7.