Xem mã nguồn của Nhóm (toán học)

{{Bài cùng tên|Nhóm}}
[[Hình:Rubik's cube.svg|thumb|right|Các thao tác bước xoay [[Rubik|khối lập phương Rubik]] tạo thành nhóm khối lập phương Rubik.]]
{{Thanh bên lý thuyết nhóm |image_param= |style_param=}}
{{Cấu trúc đại số |Nhóm}}
Trong [[toán học]], một '''nhóm''' (group) là một [[tập hợp]] các [[phần tử (toán học)|phần tử]] được trang bị một [[phép toán hai ngôi]] kết hợp hai phần tử bất kỳ của tập hợp thành một phần tử thứ ba thỏa mãn bốn điều kiện gọi là [[tiên đề]] nhóm, lần lượt là [[bao đóng (toán học)|tính đóng]], [[kết hợp|tính kết hợp]], [[phần tử đơn vị|sự tồn tại của phần tử đơn vị]] và [[tính khả nghịch]]. Một trong những ví dụ quen thuộc nhất về nhóm đó là tập hợp các [[số nguyên]] cùng với [[phép cộng]]; khi thực hiện cộng hai số nguyên bất kỳ luôn thu được một số nguyên khác. Hình thức trình bày trừu tượng dựa trên tiên đề nhóm, tách biệt nó khỏi bản chất cụ thể của bất kỳ nhóm đặc biệt nào và phép toán trên nhóm, cho phép nhóm bao trùm lên nhiều thực thể với nguồn gốc toán học rất khác nhau trong [[đại số trừu tượng]] và rộng hơn, và có thể giải quyết một cách linh hoạt, trong khi vẫn giữ lại khía cạnh cấu trúc căn bản của những thực thể ấy. Sự có mặt khắp nơi của nhóm trong nhiều lĩnh vực bên trong và ngoài toán học khiến chúng trở thành nguyên lý tổ chức trung tâm của toán học đương đại.<ref>{{Harvard citations|last = Herstein|year = 1975|loc = §2, trang 26|nb = yes}}</ref><ref>{{Harvard citations|last = Hall|year = 1967|loc = §1.1, trang 1|nb = yes}}: "Ý tưởng về nhóm là một trong những thứ xâm chiếm toàn bộ toán học thuần túy và ứng dụng."</ref>

Nhóm chia sẻ mối quan hệ họ hàng cơ bản với khái niệm [[đối xứng]]. Ví dụ, [[nhóm đối xứng]] chứa đựng các đặc điểm đối xứng của một đối tượng [[hình học]] như: nhóm bao gồm tập hợp các phép biến đổi không làm thay đổi đối tượng và các phép toán kết hợp hai phép biến đổi này bằng cách thực hiện từng phép biến đổi một. [[Nhóm Lie]] là những nhóm đối xứng sử dụng trong [[Mô hình Chuẩn]] của [[vật lý hạt]]; [[nhóm đối xứng tâm]] được sử dụng để nghiên cứu các hiện tượng đối xứng trong hóa học phân tử; và [[nhóm Poincaré]] dùng để biểu diễn các tính chất đối xứng vật lý trong [[thuyết tương đối hẹp]].

Khái niệm nhóm xuất phát từ nghiên cứu về [[Phương trình đại số|phương trình đa thức]], bắt đầu từ [[Évariste Galois]] trong thập niên 1830. Sau những đóng góp từ những lĩnh vực khác như [[lý thuyết số]] và hình học, khái niệm nhóm được tổng quát hóa và chính thức trở thành lĩnh vực nghiên cứu trong khoảng thập niên 1870. [[Lý thuyết nhóm]] hiện đại—nhánh toán học sôi động—nghiên cứu các nhóm bằng chính công cụ của chúng.{{cref|a}} Để khám phá nhóm, các nhà toán học phải nêu ra nhiều [[từ vựng lý thuyết nhóm|khái niệm khác nhau]] để chia nhóm thành những phần nhỏ hơn, có thể hiểu được dễ hơn như các [[nhóm con]], [[nhóm thương]] và [[nhóm đơn]]. Thêm vào những tính chất trừu tượng của chúng, các nhà lý thuyết nhóm cũng nghiên cứu cách biểu diễn cụ thể một nhóm bằng nhiều cách khác nhau (hay lý thuyết [[biểu diễn nhóm]]), cả từ quan điểm [[lý thuyết biểu diễn|lý thuyết]] và quan điểm tính toán thực hành (lý thuyết nhóm tính toán). Lý thuyết phát triển cho [[nhóm hữu hạn]] kết tập với [[phân loại nhóm đơn hữu hạn]] được công bố vào năm 1983.{{cref|aa}} Từ giữa thập niên 1980, [[lý thuyết nhóm hình học]], nghiên cứu các [[nhóm sinh hữu hạn]] như là những đối tượng hình học, đã trở thành lĩnh vực đặc biệt sôi nổi trong lý thuyết nhóm.

{{Giới hạn mục lục|limit=3}}

== Định nghĩa và minh họa==

===Ví dụ thứ nhất: số nguyên ===
Một trong những nhóm quen thuộc nhất đó là tập hợp các [[số nguyên]] <math>\mathbb{Z}</math> chứa các số <math>...,-4,-3,-2,-1,0,1,2,3,4,...</math><ref>{{Harvard citations|last = Lang|year = 2005|loc = App. 2, trang 360|nb = yes}}</ref> cùng với [[phép cộng]]

Các tính chất sau đây của phép cộng các số nguyên được coi như mô hình cho các tiên đề nhóm trừu tượng cho theo định nghĩa bên dưới.

#Với hai số nguyên bất kỳ <math>a</math> và <math>b</math>, [[Phép cộng|tổng]] ''a'' + ''b'' cũng là một số nguyên. Do vậy phép cộng hai số nguyên không bao giờ cho kết quả là một số loại khác, như [[phân số]] chẳng hạn. Tính chất này gọi là tiên đề ''[[tính đóng (toán học)|đóng]]'' đối với phép cộng.
#Đối với mọi số nguyên ''a'', ''b'' và ''c'', (''a'' + ''b'') + ''c'' = ''a'' + (''b'' + ''c''). Hay phát biểu bằng lời, thực hiện cộng ''a'' với ''b'' đầu tiên, sau đó cộng kết quả với ''c'' sẽ cho cùng kết quả khi cộng ''a'' với tổng của ''b'' và ''c'', tính chất này gọi là ''[[tính chất kết hợp]]'' hay tiên đề kết hợp.
#Nếu ''a'' là một số nguyên bất kỳ, thì 0 + ''a'' = ''a'' + 0 = ''a''. [[0 (số)|Số 0]] được gọi là ''[[phần tử đồng nhất]]'' của phép cộng bởi vì khi cộng nó với một số nguyên bất kỳ sẽ thu được cùng số nguyên ấy.
#Với mọi số nguyên ''a'', tồn tại số nguyên ''b'' sao cho ''a'' + ''b'' = ''b'' + ''a'' = 0. Số nguyên ''b'' được gọi là ''[[phần tử nghịch đảo]]'' của số nguyên ''a'' và được ký hiệu −''a''.

Các số nguyên cùng với phép toán +, tạo thành một đối tượng toán học thuộc về một lớp rộng có những tính chất cấu trúc toán học giống nhau. Để có thể hiểu được những cấu trúc này như một tập hợp, [[định nghĩa]] trừu tượng dưới đây được phát biểu như sau.

===Định nghĩa ===
{{quote box
|align = right
|width=33%
|quote=Các tiên đề nhóm là ngắn gọn và tự nhiên... Mặc dù ẩn dưới những tiên đề này là [[nhóm quỷ|nhóm đơn quỷ]], một đối tượng toán học kỳ lạ và khổng lồ, mà dường như dựa trên một số lượng lớn sự trùng hợp kỳ lạ để tồn tại. Tiên đề nhóm không cho hướng dẫn hiển nhiên nào về những thứ như thế tồn tại.
|source={{Harvard citations|txt=yes|authorlink=Richard Borcherds|first=Richard|last=Borcherds|year=2009|loc=Mathematicians, quoted in James Milne, group theory [http://www.jmilne.org/math/CourseNotes/gt.html]}}}}

Nhóm là một [[tập hợp]], ''G'', cùng với [[phép toán hai ngôi]] • (còn gọi là ''luật nhóm'' của ''G'') kết hợp hai [[phần tử (toán học)|phần tử]] ''a'' và ''b'' bất kỳ để tạo ra một phần tử khác, viết là {{nowrap|''a'' • ''b''}} hoặc ''ab''. Để trở thành một nhóm, tập hợp và phép toán, {{nowrap|(''G'', •)}}, phải thỏa mãn bốn yêu cầu gọi là ''tiên đề nhóm'':<ref>{{Harvard citations|last = Herstein|year = 1975|loc = §2.1, trang 27|nb = yes}}</ref>

;Tiên đề đóng: Với mọi ''a'', ''b'' thuộc ''G'', kết quả của phép toán, ''a'' • ''b'', cũng thuộc ''G''.{{cref|b}}
;Tính kết hợp: Với mọi ''a'', ''b'' và ''c'' thuộc ''G'', (''a'' • ''b'') • ''c'' = ''a'' • (''b'' • ''c'').
;Phần tử đơn vị: Tồn tại một phần tử ''e'' trong ''G'', sao cho đối với mỗi phần tử ''a'' thuộc ''G'', phương trình {{nowrap begin}}''e'' • ''a'' = ''a'' • ''e'' = ''a''{{nowrap end}} được thỏa mãn. Phần tử này là duy nhất ([[#Tính duy nhất của phần tử đơn vị và phần tử nghịch đảo|xem ở dưới]]) trong nhóm ''G''. 
;Phần tử nghịch đảo: Đối với mỗi ''a'' trong ''G'', tồn tại một phần tử ''b'' trong ''G'' sao cho ''a'' • ''b'' = ''b'' • ''a'' = ''e'', với ''e'' là phần tử đơn vị.

Kết quả của một phép toán có thể phụ thuộc vào thứ tự thực hiện. Nói cách khác, kết quả của việc kết hợp phần tử ''a'' với phần tử ''b'' không nhất thiết cho kết quả giống với khi kết hợp phần tử ''b'' với phần tử ''a''; phương trình
:{{nowrap begin}}''a'' • ''b'' = ''b'' • ''a''{{nowrap end}}
có thể không phải lúc nào cũng đúng. Phương trình này luôn luôn đúng trong nhóm các số nguyên với phép cộng, bởi vì {{nowrap begin}}''a'' + ''b'' = ''b'' + ''a''{{nowrap end}} đối với hai số nguyên bất kỳ ([[tính giao hoán]] của phép cộng). Nhóm mà tính chất giao hoán {{nowrap begin}}''a'' • ''b'' = ''b'' • ''a''{{nowrap end}} luôn đúng được gọi là ''[[nhóm Abel]]'' (theo tên của nhà toán học Na Uy [[Niels Abel]]). Nhóm đối xứng miêu tả ở phần sau là ví dụ của nhóm phi giao hoán.

Phần tử đơn vị của nhóm ''G'' thường được viết thành 1 hay 1<sub>''G''</sub>,<ref>{{MathWorld |title=Identity Element |urlname=IdentityElement}}</ref> ký hiệu có nguồn gốc từ số 1 đơn vị. Phần tử đơn vị cũng có thể viết là 0, đặc biệt nếu phép toán nhóm được ký hiệu là +, và trong trường hợp này nhóm gọi là nhóm cộng tính. Phần tử đơn vị còn ký hiệu là ''id''.

Tập ''G'' được gọi là ''tập cơ bản'' của nhóm {{nowrap|(''G'', •)}}. Tập cơ bản ''G'' được sử dụng một cách ngắn gọn cho tập {{nowrap|(''G'', •)}}. Theo cách rút ngắn tên gọi này, một cách viết ngắn gọn như "tập con của nhóm ''G''" hay "phần tử của ''G''" được sử dụng với ý nghĩa thực sự là "tập con của tập cơ bản ''G'' của nhóm {{nowrap|(''G'', •)}}" hay "phần tử của tập cơ bản ''G'' của nhóm {{nowrap|(''G'', •)}}". Thông thường, trong ngữ cảnh với ký hiệu như ''G'' là nhắc tới một nhóm hoặc tập cơ bản.

===Ví dụ thứ hai: nhóm đối xứng===
Hai hình trong mặt phẳng là [[Tương đẳng (hình học)|tương đẳng]] với nhau nếu một hình có thể trở thành hình kia bằng cách sử dụng kết hợp các phép [[quay (toán học)|quay]], [[đối xứng trục]], và [[tịnh tiến]]. Bất kỳ hình nào cũng đều tương đẳng với chính nó. Tuy nhiên, một số hình tương đẳng với chính chúng không chỉ theo một cách, và những cách tương đẳng thêm này gọi là [[đối xứng]]. Một hình vuông có tám đối xứng của nó. Bao gồm:
{| class="wikitable" style="text-align:center; margin:0 auto.5em auto;"
|-
| [[Hình:group D8 id.svg|140px]] <br /> id (giữ nguyên nó) || [[Hình:group D8 90.svg|140px]] <br /> r<sub>1</sub> (quay phải 90°) || [[Hình:group D8 180.svg|140px]] <br /> r<sub>2</sub> (quay phải 180°) || [[Hình:group D8 270.svg|140px]] <br /> r<sub>3</sub> (quay phải 270°)
|-
| [[Hình:group D8 fv.svg|140px]] <br /> f<sub>v</sub> (lật theo phương đứng) || [[Hình:group D8 fh.svg|140px]] <br /> f<sub>h</sub> (lật theo phương ngang)|| [[Hình:group D8 f13.svg|140px]] <br /> f<sub>d</sub> (lật theo 1 đường chéo) || [[Hình:group D8 f24.svg|140px]] <br /> f<sub>c</sub> (lật theo đường chéo còn lại)
|-
|style="text-align:left" colspan=4 | Các phần tử trong nhóm đối xứng của hình vuông (D<sub>4</sub>). Các đỉnh được tô màu và đánh số để phân biệt giữa chúng.
|}
:* [[phép toán đồng nhất]] không làm thay đổi đối tượng, ký hiệu là id;
:* quay hình vuông xung quanh tâm nó về phía phải một góc 90°, 180°, và 270°, lần lượt ký hiệu là r<sub>1</sub>, r<sub>2</sub> và r<sub>3</sub>;
:* đối xứng trục (phản xạ) hình vuông qua đường trung bình theo phương đứng và phương ngang (f<sub>h</sub> và f<sub>v</sub>), hoặc qua hai [[đường chéo]] (f<sub>d</sub> và f<sub>c</sub>).

{{clear}}
Các biến đổi đối xứng này được biểu diễn bằng các hàm số. Mỗi hàm này đặt một điểm trong hình vuông tương ứng với một điểm qua phép đối xứng. Ví dụ, r<sub>1</sub> biến một điểm thành điểm thông qua phép quay về phía phải nó 90° xung quanh tâm hình vuông, và f<sub>h</sub> biến đổi điểm thông qua phép đối xứng trục qua đường trung bình theo phương thẳng đứng. Kết hợp hai hàm đối xứng sẽ thu được một hàm đối xứng khác. Các hàm đối xứng này tạo thành một nhóm gọi là [[nhóm nhị diện]] bậc 4, ký hiệu D<sub>4</sub>. Tập cơ bản của nhóm là tập các hàm đối xứng trên và phép toán nhóm là [[hàm hợp]].<ref>{{Harvard citations|last = Herstein|year = 1975|loc = §2.6, trang 54|nb = yes}}</ref> Hai đối xứng được kết hợp bằng hợp của các hàm, do vậy biến đổi đối xứng thứ nhất tương đương với áp dụng hàm thứ nhất đối với hình vuông, sau đó phép biến đối xứng với hình vuông kết quả chính bằng áp dụng hàm thứ hai vào hình vuông kết quả thu được. Kết quả của thực hiện đối với ''a'' đầu tiên sau đó đối với ''b'' được viết theo các ký hiệu ''từ phải sang trái'' như
:{{nowrap begin}}''b'' • ''a''{{nowrap end}} ("áp dụng đối xứng ''b'' sau khi thực hiện đối xứng ''a''").
Quy ước phải sang trái là giống với quy ước sử dụng các hàm hợp.

[[Bảng Cayley|Bảng nhóm]] bên phải liệt kê các kết quả của mọi hàm hợp khả dĩ. Ví dụ, quay về bên phải 270° (r<sub>3</sub>) sau đó lật ngược hình vuông theo phương ngang (f<sub>h</sub>) cho cùng kết quả khi thực hiện đối xứng trục dọc theo đường chéo thứ nhất (f<sub>d</sub>). Sử dụng các ký hiệu ở trên, ô kết quả được tô màu xanh trong bảng nhóm:
:{{nowrap begin}}f<sub>h</sub> • r<sub>3</sub> = f<sub>d</sub>.{{nowrap end}}

{| class="wikitable" style="float:right; text-align:center; margin:.5em 0.5em 1em; width:40ex; height:40ex;"
|+ [[Bảng Cayley|Bảng nhóm]] của D<sub>4</sub>
|-
! style="width:12%; background:#fdd; border-top:solid black 2px; border-left:solid black 2px;"| •
! style="background:#fdd; border-top:solid black 2px; width:11%;"| id
! style="background:#fdd; border-top:solid black 2px; width:11%;"| r<sub>1</sub>
! style="background:#fdd; border-top:solid black 2px; width:11%;"| r<sub>2</sub>
! style="background:#fdd; border-right:solid black 2px; border-top:solid black 2px; width:11%;"| r<sub>3</sub>
! style="width:11%;"| f<sub>v</sub>!! style="width:11%;"| f<sub>h</sub>!! style="width:11%;"| f<sub>d</sub>!! style="width:11%;"| f<sub>c</sub>
|-
!style="background:#FDD; border-left:solid black 2px;" | id
|style="background:#FDD;"| id
|style="background:#FDD;"| r<sub>1</sub>
|style="background:#FDD;" | r<sub>2</sub>
|style="background:#FDD; border-right:solid black 2px;"| r<sub>3</sub> || f<sub>v</sub> || f<sub>h</sub> || f<sub>d</sub>
|style="background:#FFFC93; border-right:solid black 2px; border-left:solid black 2px; border-top:solid black 2px;"| f<sub>c</sub>
|-
!style="background:#FDD; border-left:solid black 2px;" | r<sub>1</sub>
|style="background:#FDD;"| r<sub>1</sub>
|style="background:#FDD;"| r<sub>2</sub>
|style="background:#FDD;"| r<sub>3</sub>
|style="background:#FDD; border-right:solid black 2px;"| id || f<sub>c</sub> || f<sub>d</sub> || f<sub>v</sub>
|style="background:#FFFC93; border-right: solid black 2px; border-left: solid black 2px;"| f<sub>h</sub>
|- style="height:10%"
!style="background:#FDD; border-left:solid black 2px;" | r<sub>2</sub>
|style="background:#FDD;"| r<sub>2</sub>
|style="background:#FDD;"| r<sub>3</sub>
|style="background:#FDD;"| id
|style="background:#FDD; border-right:solid black 2px;"| r<sub>1</sub> || f<sub>h</sub> || f<sub>v</sub> || f<sub>c</sub>
|style="background:#FFFC93; border-right: solid black 2px; border-left: solid black 2px;"| f<sub>d</sub>
|- style="height:10%"
!style="background:#FDD; border-bottom:solid black 2px; border-left:solid black 2px;" | r<sub>3</sub>
|style="background:#FDD; border-bottom:solid black 2px;"| r<sub>3</sub>
|style="background:#FDD; border-bottom:solid black 2px;"| id
|style="background:#FDD; border-bottom:solid black 2px;"| r<sub>1</sub>
|style="background:#FDD; border-right:solid black 2px; border-bottom:solid black 2px;"| r<sub>2</sub> || f<sub>d</sub> || f<sub>c</sub>
|| f<sub>h</sub>
|style="background:#FFFC93; border-right:solid black 2px; border-left:solid black 2px; border-bottom:solid black 2px;"| f<sub>v</sub>
|- style="height:10%"
! f<sub>v</sub>
| f<sub>v</sub> || f<sub>d</sub> || f<sub>h</sub> || f<sub>c</sub>|| id || r<sub>2</sub> || r<sub>1</sub> || r<sub>3</sub>
|- style="height:10%"
! f<sub>h</sub>
| f<sub>h</sub> || f<sub>c</sub> || f<sub>v</sub> ||style="background:#DDF;border:solid black 2px;"| f<sub>d</sub> || r<sub>2</sub> || id || r<sub>3</sub> || r<sub>1</sub>
|- style="height:10%"
! f<sub>d</sub>
| f<sub>d</sub> || f<sub>h</sub> || f<sub>c</sub> || f<sub>v</sub> || r<sub>3</sub> || r<sub>1</sub> || id || r<sub>2</sub>
|- style="height:10%"
! f<sub>c</sub>
|style="background:#9DFF93; border-left: solid black 2px; border-bottom: solid black 2px; border-top: solid black 2px;" | f<sub>c</sub>
|style="background:#9DFF93; border-bottom: solid black 2px; border-top: solid black 2px;" | f<sub>v</sub>
|style="background:#9DFF93; border-bottom: solid black 2px; border-top: solid black 2px;" | f<sub>d</sub>
|style="background:#9DFF93; border-bottom:solid black 2px; border-top:solid black 2px; border-right:solid black 2px;" | f<sub>h</sub> || r<sub>1</sub> || r<sub>3</sub> || r<sub>2</sub> || id
|-
| colspan="9" style="text-align:left"| Các phần tử id, r<sub>1</sub>, r<sub>2</sub>, và r<sub>3</sub> tạo thành một [[nhóm con]], tô màu đỏ (vùng bên trái phía trên). Lớp (coset) bên trái và bên phải của nhóm con này lần lượt được tô màu lục (ở hàng cuối) và màu vàng (cột cuối).
|}
Với tập hợp các phép đối xứng này cùng phép toán như đã miêu tả, những tiên đề nhóm có thể hiểu như sau:
{{ordered list
|1= Tiên đề đóng đòi hỏi rằng hàm hợp {{nowrap|''b'' • ''a''}} của hai đối xứng bất kỳ ''a'' và ''b'' cũng phải là một phép đối xứng. Một ví dụ khác cho phép toán nhóm đó là
:{{nowrap|r<sub>3</sub> • f<sub>h</sub> {{=}} f<sub>c</sub>,}}
tức là quay về phải 270° sau khi lật hình vuông theo phương ngang sẽ bằng phép biến đổi lật ngược hình vuông theo đường chéo thứ hai (f<sub>c</sub>). Quả thực mỗi phép kết hợp hai đối xứng sẽ cho kết quả một phép đối xứng tương đương, và điều này có thể kiểm tra dễ dàng thông qua bảng nhóm.

|2= Tính kết hợp đặt ra giới hạn khi thực hiện kết hợp nhiều hơn hai phép đối xứng: Với ba phần tử ''a'', ''b'' và ''c'' của D<sub>4</sub>, có hai cách sử dụng ba hàm đối xứng này theo thứ tự để xác định lên phép đối xứng hình vuông. Một cách đó là đầu tiên kết hợp hàm ''a'' và ''b'' để thu được hàm đối xứng kết quả, sau đó kết hợp hàm đối xứng này với phép đối xứng ''c''. Cách thứ hai là đầu tiên kết hợp hàm ''b'' với ''c'', sau đó kết hợp hàm kết quả với hàm đối xứng ''a''. Điều kiện kết hợp
:{{nowrap|(''a'' • ''b'') • ''c'' {{=}} ''a'' • (''b'' • ''c'')}}
có nghĩa là hai cách kết hợp này luôn cho cùng một kết quả, tức là tích của nhiều phần tử nhóm có thể làm đơn giản bằng cách nhóm các phần tử lại.
Ví dụ, tích {{nowrap|(f<sub>d</sub> • f<sub>v</sub>) • r<sub>2</sub> {{=}} f<sub>d</sub> • (f<sub>v</sub> • r<sub>2</sub>)}} có thể dễ dàng kiểm tra dựa trên bảng nhóm ở bên phải ([[bảng Cayley]])
{{aligned table|cols=5|style=margin-left:1.2em
|(f<sub>d</sub> • f<sub>v</sub>) • r<sub>2</sub>| {{=}} |r<sub>3</sub> • r<sub>2</sub>| {{=}} |r<sub>1</sub>, và bằng
|f<sub>d</sub> • (f<sub>v</sub> • r<sub>2</sub>)|{{=}}|f<sub>d</sub> • f<sub>h</sub>|{{=}}|r<sub>1</sub>.
}}
Trong khi tính kết hợp đúng cho các phép đối xứng áp dụng cho hình vuông và phép cộng các con số, tính chất này không phải lúc nào cũng đúng. Ví dụ, phép trừ hai số không có tính kết hợp: {{nowrap|(7 &minus; 3) &minus; 2 {{=}} 2}} khác kết quả với {{nowrap|7 &minus; (3 &minus; 2) {{=}} 6.}}

|3= Phần tử đơn vị là phép đối xứng đồng nhất id không làm thay đổi hình: đối với một đối xứng bất kỳ ''a'', thực hiện hàm id sau ''a'' (hoặc ''a'' sau id) cho kết quả bằng ''a'', viết là:
: {{nowrap|id • ''a'' {{=}} ''a'',}}
: {{nowrap|''a'' • id {{=}} ''a''.}}

|4= Phần tử nghịch đảo khôi phục lại phép biến đổi của những phần tử khác. Mỗi phép biến đổi đối xứng có thể được khôi phục lại: mỗi phép biến đổi sau—biến đổi đồng nhất id, phép lật ngược f<sub>h</sub>, f<sub>v</sub>, f<sub>d</sub>, f<sub>c</sub> và quay 180° r<sub>2</sub>—có phần tử nghịch đảo là chính nó, bởi vì khi thực hiện chúng hai lần thì hình vuông sẽ trở lại hướng ban đầu. Phép quay r<sub>3</sub> và r<sub>1</sub> - mỗi hàm là nghịch đảo của nhau, bởi vì quay 90° rồi sau đó quay 270° (hay ngược lại) tương đương với phép quay 360° và không làm thay đổi hình vuông. Viết là
:{{nowrap|f<sub>h</sub> • f<sub>h</sub> {{=}} id,}}
:{{nowrap|r<sub>3</sub> • r<sub>1</sub> {{=}} r<sub>1</sub> • r<sub>3</sub> {{=}} id.}}
}}

Ngược lại với nhóm các số nguyên ở trên, khi thứ tự phép toán là bất kỳ đối với phép cộng, thì thứ tự thực hiện phép toán nhóm trong D<sub>4</sub> lại quan trọng: {{nowrap|f<sub>h</sub> • r<sub>1</sub> {{=}} f<sub>c</sub>}} nhưng {{nowrap|r<sub>1</sub> • f<sub>h</sub> {{=}} f<sub>d</sub>.}} Nói cách khác D<sub>4</sub> là nhóm phi giao hoán (phi Abel), khiến cấu trúc nhóm của nó trở lên khó hơn so với nhóm số nguyên.

== Lịch sử ==
{{chính|Lịch sử lý thuyết nhóm}}
Khái niệm hiện đại về nhóm trừu tượng phát triển thông qua một vài lĩnh vực toán học.<ref>{{Harvard citations|nb = yes|last = Wussing|year = 2007}}</ref><ref>{{Harvard citations|last = Kleiner|year = 1986|nb = yes}}</ref><ref>{{Harvard citations|last = Smith|year = 1906|nb = yes}}</ref> Động lực thúc đẩy ban đầu của lý thuyết nhóm là mục miêu tìm ra nghiệm của [[phương trình đa thức]] có bậc lớn hơn 4. Nhà toán học người Pháp thế kỷ 19 [[Évariste Galois]], bằng mở rộng những nghiên cứu trước đó của [[Paolo Ruffini]] và [[Joseph-Louis Lagrange]], đã đưa ra tiêu chuẩn cho tính giải được của một số phương trình đa thức đặc biệt tuân theo [[nhóm đối xứng]] của [[nghiệm số|nghiệm phương trình]]. Các phần tử của [[nhóm Galois]] này tương ứng với một số [[hoán vị]] nhất định của các nghiệm. Lúc đầu, ý tưởng của Galois bị các nhà toán học đương thời ông phản đối, và công trình của ông xuất bản sau khi ông đã qua đời.<ref>{{Harvard citations|last = Galois|year = 1908|nb = yes}}</ref><ref>{{Harvard citations|last = Kleiner|year = 1986|loc = trang 202|nb = yes}}</ref> Các nhà toán học khảo sát thêm nhiều [[nhóm hoán vị]] tổng quát hơn, đặc biệt là bởi [[Augustin Louis Cauchy]]. Luận án của [[Arthur Cayley]] ''On the theory of groups, as depending on the symbolic equation θ<sup>n</sup> = 1'' (1854) đưa ra định nghĩa trừu tượng đầu tiên về [[nhóm hữu hạn]].<ref>{{Harvard citations|last=Cayley|year=1889|nb=yes}}</ref>

Hình học là lĩnh vực thứ hai mà ở đó lý thuyết nhóm được sử dụng một cách hệ thống, đặc biệt là các nhóm đối xứng trong [[chương trình Erlangen]] của [[Felix Klein]] năm 1872.<ref>{{Harvard citations|last = Wussing|year = 2007|loc = §III.2|nb = yes}}</ref> Sau khi những hình học như [[hình học hyperbolic]] và [[hình học xạ ảnh]] mới nổi lên, Klein sử dụng lý thuyết nhóm để tổ chức chúng theo một cách thấu suốt hơn. Những ý tưởng đi xa hơn với [[Sophus Lie]] nghiên cứu [[nhóm Lie]] vào năm 1884.<ref>{{Harvard citations|last=Lie|year=1973|nb=yes}}</ref>

Lĩnh vực thứ ba đóng góp vào lý thuyết nhóm là [[lý thuyết số]]. Cấu trúc một số [[nhóm giao hoán|nhóm Abel]] nhất định đã được sử dụng ngầm ý trong công trình lý thuyết số ''[[Disquisitiones Arithmeticae]]'' của [[Carl Friedrich Gauss]] (1798), và sử dụng một cách hiện rõ hơn trong các công trình của [[Leopold Kronecker]].<ref>{{Harvard citations|last = Kleiner|year = 1986|loc = trang 204|nb = yes}}</ref> Năm 1847, [[Ernst Kummer]] thực hiện những cố gắng đầu tiên trong chứng minh [[Định lý cuối cùng của Fermat]] bằng cách phát triển nhóm miêu tả nhân tử hóa (nhóm lớp) đối với các [[số nguyên tố]].<ref>{{Harvard citations|last = Wussing|year = 2007|loc = §I.3.4|nb = yes}}</ref>

Sự hội tụ nhiều nguồn lĩnh vực này vào thành lý thuyết nhóm thống nhất bắt đầu bằng công trình của [[Camille Jordan]] ''Traité des substitutions et des équations algébriques'' (1870).<ref>{{Harvard citations|last=Jordan|year=1870|nb=yes}}</ref> [[Walther von Dyck]] (1882) đưa ra phát biểu đầu tiên về định nghĩa hiện đại của nhóm trừu tượng.<ref>{{Harvard citations|last=von Dyck|year=1882|nb=yes}}</ref> Đến thế kỷ 20, nhóm đã thu hút được sự chú ý quan trọng bằng các công trình tiên phong về [[lý thuyết biểu diễn]] nhóm hữu hạn của [[Ferdinand Georg Frobenius]] và [[William Burnside]], lý thuyết biểu diễn modular của [[Richard Brauer]] và những bài báo của [[Issai Schur]].<ref>{{Harvard citations|last = Curtis |year = 2003|nb = yes}}</ref> Lý thuyết nhóm Lie, và tổng quát hơn là [[nhóm compact địa phương]] được [[Hermann Weyl]], [[Élie Cartan]] và nhiều người khác nghiên cứu.<ref>{{Harvard citations|last=Mackey|year=1976|nb=yes}}</ref> Mảng đại số tương ứng với nó, lý thuyết [[nhóm đại số]], lần đầu tiên được [[Claude Chevalley]] nghiên cứu (từ cuối thập niên 1930) và bởi các công trình của [[Armand Borel]] và [[Jacques Tits]].<ref>{{Harvard citations|last=Borel|year=2001|nb=yes}}</ref>

Năm Lý thuyết Nhóm 1960-61 tổ chức bởi [[Đại học Chicago]] thu hút các nhà lý thuyết nhóm lại với nhau như [[Daniel Gorenstein]], [[John G. Thompson]] và [[Walter Feit]], đặt ra nền tảng của quá trình cộng tác, mà với đầu vào từ nhiều nhà toán học khác, trong chương trình [[phân loại nhóm đơn giản hữu hạn|phân loại nhóm đơn hữu hạn]] vào năm 1982. Dự án này vượt xa những dự án trước đó bởi khối lượng công việc lớn, ở cả độ dài trong các bài báo chứng minh và số lượng nhà nghiên cứu. Các nghiên cứu vẫn còn đang tiếp tục nhằm đơn giản hóa chứng minh sự phân loại này.<ref>{{Harvard citations|last = Aschbacher|year = 2004|nb = yes}}</ref> Ngày nay lý thuyết nhóm vẫn là một ngành toán học sôi động, có tác động đến nhiều lĩnh vực khác.{{cref|a}}

==Những hệ quả cơ bản của tiên đề nhóm ==
Thực tế cơ bản về mọi nhóm có thể thu nhận trực tiếp từ các tiên đề nhóm thường được kết gộp vào ''lý thuyết nhóm cơ bản''.<ref>{{Harvard citations|last = Ledermann|year = 1953|loc = §1.2, pp. 4–5|nb = yes}}</ref> Ví dụ, áp dụng cách [[phép quy nạp toán học|lặp lại]] của tiên đề kết hợp chỉ ra rằng sự rõ ràng của
:''a'' • ''b'' • ''c'' = (''a'' • ''b'') • ''c'' = ''a'' • (''b'' • ''c'')
có thể tổng quát cho nhiều hơn ba phần tử. Bởi vì điều này hàm ý rằng dấu ngoặc đơn có thể điền vào bất kỳ vị trí nào bên trong một dãy các phần tử, cho nên dấu ngoặc đơn thường được bỏ đi.<ref>{{Harvard citations|nb = yes|last = Ledermann|year = 1973|loc = §I.1, trang 3}}</ref>

Tiên đề nhóm có thể làm yếu đi bằng giả sử tồn tại của một [[phần tử đơn vị trái]] và [[phần tử nghịch đảo trái]]. Có thể chứng minh chúng thực sự là những phần tử đơn vị hai phía và phần tử nghịch đảo hai phía (trái và phải), do đó định nghĩa này là tương đương với cái định nghĩa ở trên.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2002|loc = §I.2, trang 7}}</ref>

===Tính duy nhất của phần tử đơn vị và phần tử nghịch đảo ===
Hai hệ quả quan trọng của tiên đề nhóm đó là tính duy nhất của phần tử đơn vị và tính duy nhất của phần tử nghịch đảo. Chỉ có một phần tử đơn vị của nhóm, và mỗi phần tử trong nhóm có chính xác một phần tử nghịch đảo.<ref name="lang2005">{{Harvard citations|nb = yes|last = Lang|year = 2005|loc = §II.1, trang 17}}</ref>

Để chứng minh có duy nhất một phần tử nghịch đảo của phần tử ''a'', giả sử rằng ''a'' có hai phần tử nghịch đảo, ký hiệu là ''b'' và ''c'' của nhóm (''G'', •). Khi đó

:{|
|''b'' ||=||''b'' • ''e'' || ||với ''e'' là phần tử đơn vị
|-
| ||=||''b'' • (''a'' • ''c'') || ||bởi vì ''c'' là phần tử nghịch đảo của ''a'', nên ''e'' = ''a'' • ''c''
|-
| ||=||(''b'' • ''a'') • ''c'' || ||theo tiên đề kết hợp, nên có thể sắp xếp lại dấu ngoặc đơn
|-
| ||=||''e'' • ''c''|| ||do ''b'' là phần tử nghịch đảo của ''a'', tức ''b'' • ''a'' = ''e''
|-
| ||=||''c''|| || do ''e'' là phần tử đơn vị
|}

Hai phần tử ''b'' và ''c'' là bằng nhau do chúng được liên hệ bởi một chuỗi các đẳng thức. Nói cách khác chỉ có duy nhất một phần tử nghịch đảo của ''a''. Tương tự, để chứng minh phần tử đơn vị của nhóm là duy nhất, giả sử ''G'' là nhóm với hai phần tử đơn vị ''e'' và ''f''. Thì ''e'' = ''e'' • ''f'' = ''f'', do vậy ''e'' và ''f'' bằng nhau.

===Phép chia ===
Có thể thực hiện [[phép chia]] trong một nhóm: đối với hai phần tử ''a'' và ''b'' của nhóm ''G'', tồn tại duy nhất một nghiệm ''x'' trong ''G'' thỏa mãn [[phương trình]] {{nowrap begin}}''x'' • ''a'' = ''b''{{nowrap end}}.<ref name="lang2005"/> Thực vậy, nhân vế phải của phương trình với phần tử nghịch đảo ''a''<sup>&minus;1</sup> thu được nghiệm {{nowrap begin}}''x'' = ''x'' • ''a'' • ''a''<sup>&minus;1</sup> = ''b'' • ''a''<sup>&minus;1</sup>{{nowrap end}}. Tương tự có chính xác một nghiệm ''y'' thuộc ''G'' trong phương trình {{nowrap begin}}''a'' • ''y'' = ''b''{{nowrap end}}, hay {{nowrap begin}}''y'' = ''a''<sup>&minus;1</sup> • ''b''{{nowrap end}}. Nói chung, ''x'' và ''y'' không nhất thiết phải bằng nhau.

Hệ quả của điều này là phép nhân bởi một phần tử ''g'' trong nhóm có tính chất [[song ánh]].Đặc biệt, nếu ''g'' thuộc ''G'', tồn tại một song ánh từ ''G'' vào chính nó gọi là ''tịnh tiến trái'' bởi ''g'' tác dụng vào ''h'' ∈ ''G'' thành ''g'' • ''h''. Tương tự, ''tịnh tiến phải'' bởi ''g'' là song ánh từ chính ''G'' vào nó bằng tác dụng vào ''h'' thành ''h'' • ''g''. Nếu ''G'' là nhóm Abel, song ánh tịnh tiến trái và tịnh tiến phải bởi một phần tử của nhóm là như nhau.

== Khái niệm cơ bản==
<div class="dablink">Các phần sau sử dụng các [[ký hiệu toán học]] như X = ''{''x'', ''y'', ''z''}''
ký hiệu cho [[tập hợp]] X chứa các phần tử x, y, và z, hoặc x ''∈'' X để nói rằng x là phần tử thuộc X. Ký hiệu {{nowrap|f: X ''→'' Y}} có nghĩa là hàm số f đặt tương ứng với mỗi phần tử của X với một phần tử của Y.</div>
{{Xem thêm thông tin|Từ vựng lý thuyết nhóm }}
Để hiểu nhóm toán học vượt ngoài phạm vi chỉ là các thao tác ký hiệu như ở trên, các nhà toán học đã phát triển thêm nhiều khái niệm cấu trúc nhóm.{{cref|c}} Có một nguyên lý khái niệm nằm bên dưới những ký hiệu sau: để tận dụng những ưu điểm về cấu trúc của nhóm (mà tập hợp "không có cấu trúc" không có đặc điểm này), các phép xây dựng liên quan đến nhóm phải ''tương thích'' với phép toán nhóm. Sự tương thích này thể hiện chính nó thông qua các khái niệm sau theo nhiều cách. Ví dụ, các nhóm liên hệ với nhau thông qua một hàm gọi là đồng cấu nhóm. Bằng nguyên lý đề cập ở trên, chúng đòi hỏi cấu trúc nhóm được miêu tả theo nghĩa chính xác. Cấu trúc của nhóm cũng được nghiên cứu bằng cách chia nhỏ nó thành các phần gọi là nhóm con hoặc nhóm thương. Nguyên lý "bảo toàn cấu trúc"—chủ đề lặp lại trong toàn bộ toán học—là một ví dụ nghiên cứu bởi ngành lý thuyết [[phạm trù (toán học)|phạm trù]], trong trường hợp này là [[phạm trù các nhóm]].<ref name="MacLane"/>

===Đồng cấu nhóm ===
{{chính|Đồng cấu nhóm}}
''Đồng cấu nhóm''{{cref|g}} là những hàm bảo tồn cấu trúc nhóm. Hàm {{nowrap|''a'': ''G'' → ''H''}} giữa hai nhóm (''G'',•) và (''H'',∗) được gọi là ''đồng cấu'' nếu phương trình
:{{nowrap|1=''a''(''g'' • ''k'') = ''a''(''g'') ∗ ''a''(''k'')}}
thỏa mãn đối với mọi phần tử ''g'', ''k'' thuộc ''G''. Nói cách khác, kết quả thu được như nhau khi thực hiện phép toán nhóm trước hoặc sau khi áp dụng ánh xạ ''a''. Đòi hỏi này đảm bảo rằng {{nowrap|1=''a''(1<sub>''G''</sub>) = 1<sub>''H''</sub>}}, và {{nowrap|1=''a''(''g'')<sup>−1</sup> = ''a''(''g''<sup>&minus;1</sup>)}} đối với mọi ''g'' thuộc ''G''. Do vậy đồng cấu nhóm giữ nguyên mọi cấu trúc của ''G'' cho bởi các tiên đề nhóm.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2005|loc = §II.3, trang 34}}</ref>

Hai nhóm ''G'' và ''H'' là ''[[phép đẳng cấu|đẳng cấu]]'' với nhau nếu tồn tại hai phép đồng cấu nhóm {{nowrap|''a'': ''G'' → ''H''}} và {{nowrap|''b'': ''H'' → ''G''}}, sao cho khi áp dụng hàm hợp của hai hàm này trong hai trường hợp thứ tự tác dụng hàm đều cho [[hàm đồng nhất]] của ''G'' và ''H''. Tức là, {{nowrap|1=''a''(''b''(''h'')) = ''h''}} và {{nowrap|1=''b''(''a''(''g'')) = ''g''}} đối với bất kỳ ''g'' thuộc ''G'' và ''h'' thuộc ''H''. Từ quan điểm trừu tượng, các nhóm đẳng cấu mang thông tin như nhau. Ví dụ, để chứng minh {{nowrap|1=''g'' • ''g'' = 1<sub>''G''</sub>}} đối với các phần tử ''g'' thuộc ''G'' là tương đương logic với chứng minh {{nowrap|1=''a''(''g'') ∗ ''a''(''g'') = 1<sub>''H''</sub>}}, bởi vì áp dụng ''a'' đối với nhóm G thu được phần tử thuộc nhóm H và áp dụng ''b'' đối với nhóm H thu được kết quả thuộc nhóm G.

===Nhóm con===
{{chính|Nhóm con}}
Hình thức mà nói ''nhóm con'' là một nhóm ''H'' chứa trong một nhóm lớn hơn là ''G''.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2005|loc = §II.1, trang 19}}</ref> Cụ thể là, phần tử đơn vị của ''G'' cũng thuộc ''H'', và bất cứ ''h''<sub>1</sub> và ''h''<sub>2</sub> thuộc ''H'', thì {{nowrap|''h''<sub>1</sub> • ''h''<sub>2</sub>}} và ''h''<sub>1</sub><sup>&minus;1</sup> cũng là các phần tử thuộc ''H'', các phép toán nhóm trên ''G'' giới hạn vào ''H'' tạo thành một nhóm.

Trong ví dụ ở trên, các phần tử đơn vị và phần tử của phép quay tạo thành một nhóm con {{nowrap begin}}''R'' = {id, r<sub>1</sub>, r<sub>2</sub>, r<sub>3</sub>}{{nowrap end}}, tô bằng màu đỏ trong bảng nhóm ở trên: bất kỳ sự kết hợp hai phép quay nào cũng tạo thành một phép quay, một phép quay có thể rút lại bằng (ví dụ nghịch đảo của nó) phép quay bổ sung 270° cho 90°, 180° cho 180°, và 90° cho 270° (lưu ý rằng ở đây không định nghĩa phép quay theo hướng ngược lại). [[Phép thử nhóm con]] là [[điều kiện cần và đủ]] cho tập con ''H'' của nhóm ''G'' trở thành nhóm con: với mọi phần tử {{nowrap begin}}''g'', ''h'' ∈ ''H''{{nowrap end}} nếu {{nowrap|''g''<sup>−1</sup>''h'' ∈ ''H''}} thì H là một nhóm con. Việc biết mọi nhóm con là một điều quan trọng khi nghiên cứu một nhóm trên tổng thể.{{cref|d}}

Bất kỳ tập con ''S'' nào của nhóm ''G'', nhóm con [[Tập sinh của nhóm|sinh]] bởi ''S'' chứa tích các phần tử của ''S'' và nghịch đảo của chúng. Nó là nhóm con nhỏ nhất của ''G'' chứa ''S''.<ref>{{Harvard citations|nb = yes|last = Ledermann|year = 1973|loc = §II.12, trang 39}}</ref> Trong ví dụ giới thiệu ở trên, nhóm con tạo bởi r<sub>2</sub> và f<sub>v</sub> chứa hai phần tử này, phần tử đơn vị id và {{nowrap begin}}f<sub>h</sub> = f<sub>v</sub> • r<sub>2</sub>{{nowrap end}}. Đến lượt đây là một nhóm con, bởi vì kết hợp bất kỳ hai trong bốn phần tử này hoặc những phần tử nghịch đảo của chúng (mà trong trường hợp đặc biệt là chính chúng) thu được các phần tử của chính nhóm con này.

===Các lớp kề (Coset)===
{{chính|Lớp kề}}
Trong nhiều tình huống các nhà toán học mong muốn coi hai phần tử nhóm là như nhau nếu chúng chỉ khác nhau bởi một phần tử của một nhóm con. Ví dụ, trong nhóm D<sub>4</sub> ở trên, khi thực hiện thao tác lật ngược, hình vuông sẽ không bao giờ trở lại cấu hình r<sub>2</sub> nếu chỉ áp dụng các thao tác quay (mà không cần lật nó), tức là phép quay không liên quan đến câu hỏi liệu phép lật ngược đã được thực hiện. Do vậy họ định nghĩa các '''lớp kề''' ('''coset''') (hay các '''lớp ghép''')<ref>Lê Thị Thanh Nhàn (2007)</ref> để hình thức hóa vấn đề này: nhóm con ''H'' xác định lên các lớp kề trái và lớp kề phải, mà có thể coi như là sự tịnh tiến của ''H'' bởi một phần tử nhóm bất kỳ ''g''. Theo ký hiệu, các lớp kề ''trái' và ''phải'' của ''H'' chứa ''g'' lần lượt là

:{{nowrap begin}}''gH'' = {''g • h'':''h'' ∈ ''H''}{{nowrap end}} và {{nowrap begin}}''Hg'' = {''h • g'':''h'' ∈ ''H''}{{nowrap end}}.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2005|loc = §II.4, trang 41}}</ref>

Các lớp kề của một nhóm con bất kỳ ''H'' tạo thành phép [[phân hoạch tập hợp|phân hoạch]] của ''G''; nghĩa là [[phép hợp|hợp]] của mọi lớp kề trái bằng ''G'' và hai lớp kề trái hoặc bằng nhau hoặc có [[phép giao|giao]] là [[tập hợp rỗng]].<ref>{{Harvard citations|nb = yes|last = Lang|year = 2002|loc = §I.2, trang 12}}</ref> Trường hợp đầu tiên {{nowrap begin}}''g''<sub>1</sub>''H'' = ''g''<sub>2</sub>''H''{{nowrap end}} xảy ra [[tương đương logic|nếu và chỉ nếu]] {{nowrap|''g''<sub>1</sub><sup>&minus;1</sup> • ''g''<sub>2</sub> ∈ ''H''}}, hay nếu hai phần tử khác nhau bởi một phần tử thuộc ''H''. Kết luận cũng tương tự với các lớp kề phải của ''H''. Các lớp kề trái và lớp kề phải của ''H'' có thể bằng hoặc không bằng nhau. Nếu chúng bằng nhau, ví dụ đối với mọi ''g'' thuộc ''G'', ''gH'' = ''Hg'', thì ''H'' được gọi là ''[[nhóm con chuẩn tắc]]''.

Trong D<sub>4</sub>, ví dụ về nhóm đối xứng, các lớp trái ''gR'' của nhóm con ''R'' chứa phép quay hoặc là bằng ''R'', nếu ''g'' là một phần tử của chính ''R'', hoặc không thì bằng {{nowrap begin}}''U'' = f<sub>c</sub>''R'' = {f<sub>c</sub>, f<sub>v</sub>, f<sub>d</sub>, f<sub>h</sub>}{{nowrap end}} (tô màu lam trong bảng nhóm). Nhóm con ''R'' cũng là chuẩn tắc, bởi vì {{nowrap begin}}f<sub>c</sub>''R'' = ''U'' = ''R''f<sub>c</sub>{{nowrap end}} và tương tự cho bất kỳ phần tử khác ngoài f<sub>c</sub>.

===Nhóm thương===
{{chính|Nhóm thương}}
Trong một số trường hợp, tập hợp các lớp ghép (coset) của một nhóm con sẽ tạo thành một nhóm, được gọi là ''nhóm thương'' hay ''nhóm nhân tử''. Để có được điều này, nhóm con phải [[nhóm con chuẩn tắc|chuẩn tắc]]. Đối với bất kỳ nhóm con chuẩn tắc ''N'', nhóm thương được định nghĩa như sau:
:''G'' / ''N'' = {''gN'', ''g'' ∈ ''G''}, "''G'' modulo ''N''".<ref>{{Harvard citations|nb = yes|last = Lang|year = 2005|loc = §II.4, trang 45}}</ref>
Tập hợp này thừa hưởng phép toán nhóm (đôi khi gọi là phép nhân lớp ghép - coset multiplication, hoặc cộng lớp ghép) từ nhóm ban đầu ''G'': {{nowrap begin}}(''gN'') • (''hN'') = (''gh'')''N''{{nowrap end}} với mọi ''g'' và ''h'' trong ''G''. Định nghĩa này xuất phát từ ý tưởng (tự nó là một ví dụ của sự xem xét cấu trúc tổng quát nêu ở trên) rằng ánh xạ {{nowrap|''G'' → ''G'' / ''N''}} đặt tương ứng mỗi phần tử ''g'' với phần tử thuộc lớp ''gN'' là đồng cấu nhóm, hoặc bằng cách xem xét trừu tượng tổng quát hơn gọi là [[Thuộc tính phổ quát|tính chất phổ quát]]. Lớp {{nowrap begin}}''eN '' = ''N''{{nowrap end}} trở thành như là đơn vị của nhóm này, và nghịch đảo của ''gN'' trong nhóm thương là {{nowrap begin}}(''gN'')<sup>&minus;1</sup> = (''g''<sup>&minus;1</sup>)''N''.{{nowrap end}}{{cref|e}}

{| class="wikitable" style="float:right; text-align:center; margin:.5em 0.5em 1em;"
|-
! style="width:30px;"| •
! style="width:33%;"| R
! style="width:33%;"| U
|-
! ''R''
| ''R'' || ''U''
|-
! ''U''
| ''U'' || ''R''
|-
|colspan=3 style="text-align:left"|Bảng nhóm cho nhóm thương {{nowrap|D<sub>4</sub> / ''R''}}.
|}
Các phần tử của nhóm thương {{nowrap|D<sub>4</sub> / ''R''}} chính là ''R'', phần tử đơn vị là {{nowrap begin}}''U'' = f<sub>v</sub>''R''{{nowrap end}}. Phép toán nhóm trên thương nêu ở bên phải. Ví dụ, {{nowrap begin}}''U'' • ''U'' = f<sub>v</sub>''R'' • f<sub>v</sub>''R'' = (f<sub>v</sub> • f<sub>v</sub>)''R'' = ''R''{{nowrap end}}. Cả nhóm con {{nowrap begin}}''R'' = {id, r<sub>1</sub>, r<sub>2</sub>, r<sub>3</sub>}{{nowrap end}}, cũng như nhóm thương tương ứng là nhóm Abel, trong khi D<sub>4</sub> không phải là nhóm Abel. Xây dựng nhóm lớn hơn từ những nhóm nhỏ hơn, như D<sub>4</sub> từ nhóm con ''R'' và nhóm thương {{nowrap|D<sub>4</sub> / ''R''}} được trừu tượng hóa gọi là [[tích nửa trực tiếp]].

Nhóm thương và nhóm con cùng với nhau tạo thành cách miêu tả mọi nhóm theo ''[[Biểu diễn nhóm|biểu diễn]]'': bất kỳ một nhóm là thương của [[nhóm tự do]] trên ''[[Tập sinh nhóm|tập sinh]]'' của nhóm. Ví dụ, nhóm nhị diện D<sub>4</sub>, có thể sinh ra từ hai phần tử ''r'' và ''f'' (như ''r'' = r<sub>1</sub>, phép quay bên phải và ''f'' = f<sub>v</sub> phép lật theo phương thẳng đứng), có nghĩa là mỗi đối xứng của hình vuông là tổ hợp hữu hạn của hai phép đối xứng này và nghịch đảo của chúng. Cùng với các liên hệ
:''r ''<sup>4</sup> = ''f ''<sup>2</sup> = (''r'' • ''f'')<sup>2</sup> = 1,<ref>{{Harvard citations|nb = yes|last = Lang|year = 2002|loc = §I.2, trang 9}}</ref>
cho phép miêu tả hoàn toàn nhóm này. Biểu diễn nhóm cũng dùng để xây dựng lên [[đồ thị Cayley]], một công cụ minh họa các [[nhóm rời rạc]].

Nhóm con và nhóm thương có liên hệ với nhau như sau: một tập con ''H'' của ''G'' có thể coi như là một [[đơn ánh]] {{nowrap|''H'' → ''G''}}, tức là bất kỳ phần tử nào của tập đích có nhiều nhất một phần tử tương ứng của tập nguồn. Ngược lại với đơn ánh là [[toàn ánh]] (mỗi phần tử của tập đích có ít nhất một phần tử tương ứng của tập nguồn), như ánh xạ chính tắc {{nowrap|''G'' → ''G'' / ''N''}}.{{cref|y}} Giải thích nhóm con và nhóm thương theo ngôn ngữ của những đồng cấu nhấn mạnh vào khái niệm cấu trúc thừa hưởng từ những định nghĩa này ám chỉ ở phần giới thiệu. Nói chung, đồng cấu không là đơn ánh hay toàn ánh. [[Hạch (đại số)|Nhân]] và [[Ảnh (toán học)|ảnh]] của đồng cấu nhóm và [[định lý đẳng cấu thứ nhất]] đề cập những vấn đề này.

==Ví dụ và ứng dụng==
{{chính|Các ví dụ về nhóm|Các ứng dụng của lý thuyết nhóm}}
{{Nhiều hình
| align = right
| direction = vertical
| width = 180
| image1 = Wallpaper group-cm-6.jpg
| width1 = 150
| caption1 = Các phần tuần hoàn của giấy dán tường làm xuất hiện [[nhóm giấy dán tường]].
| image2 = Fundamental group.svg
| width2 = 180
| caption2 = Nhóm cơ bản của mặt phẳng trừ đi một điểm (đậm) chứa các vòng xung quanh điểm thiếu. Nhóm này đẳng cấu với các số nguyên.
}}
Có rất nhiều ví dụ và những ứng dụng của nhóm. Như giới thiệu ở trên về nhóm các số nguyên '''Z''' với phép toán nhóm là phép cộng. Nếu thay phép cộng bằng [[phép nhân]] sẽ thu được [[nhóm phép nhân]]. Những nhóm này là các ví dụ quan trọng đầu tiên trong đại số trừu tượng.

Có nhiều lĩnh vực toán học khác ứng dụng lý thuyết nhóm. Các đối tượng toán học thường được kiểm tra bằng nhóm [[hàm tử|kết hợp]] với chúng và nghiên cứu tính chất của nhóm tương ứng. Ví dụ, [[Henri Poincaré]] thiết lập nên ngành [[tô pô đại số]] bằng giới thiệu [[nhóm cơ bản]].<ref>{{Harvard citations|nb = yes|last = Hatcher|year = 2002|loc = Chương I, trang 30}}</ref> Bằng sự kết nối này, các tính chất tô pô như [[lân cận (toán học)|lân cận]] và [[hàm liên tục|liên tục]] chuyển thành các tính chất nhóm.{{cref|i}} Ví dụ, các phần tử của nhóm cơ bản được biểu diễn bằng các vòng tròn. Ảnh thứ hai bên phải chỉ ra một số vòng trên mặt phẳng trừ đi một điểm. Vòng xanh coi như là [[Đồng luân|không đồng luân]] (và do vậy không liên quan), bởi vì nó có thể [[đồng luân|liên tục thu nhỏ]] thành một điểm. Sự có mặt của một lỗ ngăn cản các vòng màu cam co lại thành một điểm. Nhóm cơ bản của mặt phẳng với một điểm loại trừ trở thành tuần hoàn vô hạn, sinh bởi các vòng cam (hoặc bởi bất kỳ vòng nào [[số vòng quay|quay vòng một lần]] xung quanh lỗ). Theo cách này, nhóm cơ bản xác định ra lỗ.

Trong những ứng dụng gần đây, cũng có sự tác động ngược trở lại để thúc đẩy xây dựng hình học bằng nền tảng lý thuyết nhóm.{{cref|j}} Theo lối tương tự, [[lý thuyết nhóm hình học]] áp dụng các khái niệm hình học, như nghiên cứu các [[nhóm hypebolic]].<ref>{{Harvard citations|nb = yes|last1 = Coornaert|last2 = Delzant|last3=Papadopoulos|year = 1990}}</ref> Những nhánh xa hơn áp dụng nhóm nhiều nhất bao gồm [[hình học đại số]] và [[lý thuyết số]].<ref>ví dụ, các nhóm cổ điển và [[nhóm Picard]]; xem {{Harvard citations|nb=yes|last=Neukirch|year=1999}}, đặc biệt trong §§I.12 và I.13</ref>

Ngoài những ứng dụng lý thuyết kể trên, có nhiều ứng dụng thực tế cho những lĩnh vực khoa học khác. [[Tinh thể học]] dựa trên sự tổ hợp của cách tiếp cận lý thuyết nhóm trừu tượng với những hiểu biết [[thuật toán]] miêu tả trong [[lý thuyết nhóm tính toán]], đặc biệt khi áp dụng vào nhóm hữu hạn.<ref>{{Harvard citations|nb = yes|last = Seress|year = 1997}}</ref> Các ngành khoa học khác như [[vật lý học]], [[hóa học]] và [[khoa học máy tính]] cũng hưởng lợi từ lý thuyết này.

=== Các số ===
Nhiều hệ thống số, như các số nguyên và số hữu tỉ thể hiện bản chất cấu trúc nhóm một cách tự nhiên. Trong một số trường hợp, như đối với số hữu tỉ, cả phép cộng và phép nhân đều làm xuất hiện cấu trúc nhóm. Những hệ thống số này là tiền tổ của những cấu trúc đại số tổng quát hơn gọi là [[vành (toán học)|vành]] và [[trường (toán học)|trường]]. Những khái niệm đại số trừu tượng hơn như [[Mô-đun (toán học)|mô đun]], [[không gian vectơ]] và [[đại số trên một trường]] cũng tạo thành nhóm toán học.

==== Số nguyên ====
Nhóm các số nguyên '''Z''' dưới phép cộng, ký hiệu ('''Z''', +), đã được miêu tả ở trên. Số nguyên, cùng với phép nhân thay vì phép cộng, ('''Z''', •) ''không'' tạo thành một nhóm. Bởi vì chỉ có tiên đề đóng, tính kết hợp và phần tử đơn vị là thỏa mãn, còn tiên đề phần tử nghịch đảo thì không: ví dụ, {{nowrap begin}}''a'' = 2{{nowrap end}} là một số nguyên, nhưng nghiệm duy nhất cho phương trình {{nowrap begin}}''a • b'' = 1{{nowrap end}} trong trường hợp này là ''b'' = 1/2, là số hữu tỉ không phải là số nguyên. Do không phải mọi số nguyên '''Z''' có phần tử nghịch đảo (theo phép nhân).{{cref|k}}

==== Số hữu tỉ ====
Mong muốn cho tồn tại phần tử nghịch đảo đối với phép nhân gợi ra xem xét trường hợp đối với các [[số hữu tỉ]]
:<math alt="a/b">\frac{a}{b}.</math>
với a, b là các số nguyên và ''b'' khác 0.{{cref|l}} Tập hợp các số hữu tỉ này ký hiệu là '''Q'''. Vẫn còn một cản trở nhỏ cho các số hữu tỉ {{nowrap|('''Q''', •),}} cho phép nhân trở thành một nhóm: bởi vì số hữu tỉ 0 không có phần tử nghịch đảo đối với phép nhân (vì không tồn tại ''x'' sao cho {{nowrap begin}}''x'' • 0 = 1{{nowrap end}}), ('''Q''', •) vẫn chưa là một nhóm.

Tuy vậy, tập hợp mọi số hữu tỉ ''khác 0'' {{nowrap begin}}'''Q''' \ {0} = {''q'' ∈ '''Q''' | ''q'' ≠ 0}{{nowrap end}} tạo thành nhóm Abel dưới phép toán nhân, ký hiệu là {{nowrap|('''Q''' \ {0}, •)}}.{{cref|m}} Các tiên đề kết hợp và phần tử đơn vị thỏa mãn theo như tính chất của các số nguyên. Đòi hỏi của tiên đề đóng vẫn thỏa mãn sau khi bỏ phần tử 0, bởi vì tích của hai số hữu tỉ khác 0 không bao giờ bằng 0. Cuối cùng phần tử nghịch đảo của ''a''/''b'' là ''b''/''a'', do vậy tiên đề nghịch đảo được thỏa mãn.

Số hữu tỉ (gồm cả 0) cũng tạo thành một nhóm dưới phép cộng. Khi bao gồm cả phép cộng và phép nhân tạo thành một cấu trúc phức tạp hơn gọi là vanh—và nếu phép chia là có thể, như ở trong '''Q'''—sẽ thu được cấu trúc trường, cấu trúc có vị trí trung tâm trong ngành [[đại số trừu tượng]]. Do vậy các mệnh đề của lý thuyết nhóm thuộc về một phần của những cấu trúc này.{{cref|n}}

===Đồng dư ===
[[Tập tin:Clock group.svg|thumb|right|Số giờ trên đồng hồ tạo thành một nhóm sử dụng [[đồng dư|phép cộng theo mô đun]] 12. Ở đây 9 + 4 = 1]]
Trong phép [[đồng dư]], ban đầu cộng hai số nguyên với nhau sau đó lấy tổng chia cho một số nguyên, số nguyên này gọi là ''mô đun.'' Kết quả của phép cộng mô đun là [[phần dư]] của phép chia đó. Đối với mô đun ''n'' bất kỳ, tập hợp các số nguyên từ 0 tới ''n''&minus;1 tạo thành một nhóm dưới phép cộng mô đun: phần tử nghịch đảo của ''a'' là ''n''&minus;''a'', và 0 là phần tử đơn vị. Nhóm này tương tự từ phép cộng các số giờ trên mặt [[đồng hồ]]: nếu kim giờ ở vị trí số 9 và quay thêm 4 tiếng, nó chỉ vào số 1 như thể hiện trên hình. Tức là 9 + 4 bằng 1 "mô đun 12" hay viết thành công thức,
:9 + 4 ≡ 1 mô đun 12.
Nhóm các số nguyên mô đun ''n'' ký hiệu là '''Z'''<sub>''n''</sub> hoặc '''Z'''/''n'''''Z'''.

Đối với bất kỳ [[số nguyên tố]] ''p'', cũng tồn tại một [[Nhóm nhân các số nguyên modulo n|nhóm nhân các số nguyên mô đun ''p'']].<ref>{{Harvard citations|nb = yes|last = Lang|year = 2005|loc = Chapter VII}}</ref> Phần tử của nó gồm các số nguyên từ 1 tới ''p''&minus;1. Phép toán nhóm là phép nhân mô đun ''p''. Tức là lấy tích thông thường chia cho ''p'' và phần dư của phép chia này là kết quả của phép nhân mô đun. Ví dụ, nếu {{nowrap begin}}''p'' = 5{{nowrap end}}, tồn tại một nhóm với bốn phần tử 1, 2, 3, 4. Trong nhóm này, {{nowrap begin}}4 • 4 = 1{{nowrap end}}, bởi vì tích thông thường bằng 16 trong phép nhân này sẽ bằng 1, hay khi chia nó cho 5 thu được phần dư là 1. {{nowrap begin}}16 &minus; 1 = 15{{nowrap end}}, ký hiệu là
:16 ≡ 1 (mod 5).
Tính nguyên tố của ''p'' đảm bảo rằng tích của hai số nguyên trong nhóm sẽ không bao giờ chia hết cho ''p'', từ đó ám chỉ rằng tập hợp này là đóng dưới phép nhân mô đun.{{cref|o}} Phần tử đơn vị của nhóm là 1, như đối nhóm phép toán nhân thông thường, và tính kết hợp được thỏa mãn do tính chất của phép nhân các số nguyên. Cuối cùng, tiên đề nghịch đảo đòi hỏi rằng đối với một số nguyên ''a'' không là ước của ''p'', tồn tại một số nguyên ''b'' sao cho
:''a'' • ''b'' ≡ 1 (mod ''p''), hay hiệu {{nowrap|''a'' • ''b'' &minus; 1}} chia hết cho ''p''.
Có thể tìm phần tử nghịch đảo ''b'' thông qua [[đẳng thức Bézout]] và vì [[ước số chung lớn nhất]] {{nowrap|gcd(''a'', ''p'')}} bằng 1.<ref>{{Harvard citations|nb = yes|last = Rosen|year = 2000|loc = trang 54 (Định lý 2.1)}}</ref> Trong trường hợp {{nowrap begin}}''p'' = 5{{nowrap end}} ở trên, phần tử nghịch đảo của 4 là 4, của 3 là 2, do {{nowrap begin}}3 • 2 = 6 ≡ 1 (mod 5).{{nowrap end}} Từ đó mọi tiên đề nhóm được thỏa mãn. Thực sự là ví dụ này giống với nhóm ('''Q'''\{0}, •) ở trên: nó chứa chính xác các phần tử trong '''Z'''/''p'''''Z''' có phần tử nghịch đảo trong phép nhân.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2005|loc = §VIII.1, trang 292}}</ref> Các nhóm này được ký hiệu là '''F'''<sub>''p''</sub><sup>×</sup>. Chúng là các thành phần quan trọng trong lý thuyết [[mật mã hóa khóa công khai]].{{cref|p}}

===Nhóm xiclic===
{{chính|Nhóm cyclic}}
[[Hình:Cyclic group.svg|right|thumb|upright|Nghiệm phức của căn đơn vị bậc 6 tạo thành một nhóm xiclic. ''z'' là phần tử nguyên thủy, trong khi ''z''<sup>2</sup>thì không bởi vì lũy thừa lẻ của ''z'' không là lũy thừa của ''z''<sup>2</sup>.]]
''Nhóm xiclic'' là nhóm mà các phần tử là [[lũy thừa]] của một phần tử đặc biệt ''a''.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2005|loc = §II.1, trang 22}}</ref> Trong ký hiệu phép nhân, các phần tử của nhóm là:
:..., ''a''<sup>&minus;3</sup>, ''a''<sup>&minus;2</sup>, ''a''<sup>&minus;1</sup>, ''a''<sup>0</sup> = ''e'', ''a'', ''a''<sup>2</sup>, ''a''<sup>3</sup>,...,
với ''a''<sup>2</sup> có nghĩa là ''a'' • ''a'', và ''a<sup>&minus;3</sup>'' thay cho ''a''<sup>&minus;1</sup> • ''a''<sup>&minus;1</sup> • ''a''<sup>&minus;1</sup>=(''a'' • ''a'' • ''a'')<sup>&minus;1</sup> v.v.{{cref|h}} Phần tử ''a'' gọi là phần tử sinh hay [[căn nguyên thủy mô đun n|phần tử nguyên thủy]] của nhóm. Trong ký hiệu phép cộng, sự đòi hỏi cho một phần tử trở thành phần tử nguyên thủy yêu cầu là mỗi phần tử trong nhóm có thể viết thành
:..., &minus;''a''&minus;''a'', &minus;''a'', 0, ''a'', ''a''+''a'',...

Trong nhóm '''Z'''/''n'''''Z''' giới thiệu ở trên, phần tử 1 là nguyên thủy, do vậy những nhóm này là xiclic. Quả thực, mỗi phần tử có thể biểu diễn thành tổng mà tất cả các số hạng bằng 1. Bất kỳ nhóm xiclic với ''n'' phần tử là đẳng cấu với nhóm này. Một ví dụ thứ hai cho nhóm xiclic là nhóm các [[căn đơn vị|căn phức bậc ''n'' của đơn vị]], xác định bởi [[số phức]] ''z'' thỏa mãn {{nowrap begin}}''z''<sup>''n''</sup> = 1{{nowrap end}}. Những số này được minh họa là đỉnh của một đa giác đều có ''n'' đỉnh tô màu lam như hình bên với {{nowrap begin}}''n'' = 6{{nowrap end}}. Phép toán nhóm là phép nhân các số phức. Trong hình bên, nhân với ''z'' tương ứng với quay [[chiều kim đồng hồ|ngược chiều kim đồng hồ]] một góc 60°.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2005|loc = §II.2, trang 26}}</ref> Sử dụng trong một số [[lý thuyết trường (toán học)|lý thuyết trường]], có thể chứng minh được nhóm '''F'''<sub>''p''</sub><sup>×</sup> là xiclic: ví dụ, nếu {{nowrap begin}}''p'' = 5,{{nowrap end}} 3 là phần tử sinh do {{nowrap begin}}3<sup>1</sup> = 3,{{nowrap end}} {{nowrap begin}}3<sup>2</sup> = 9 ≡ 4,{{nowrap end}} {{nowrap begin}}3<sup>3</sup> ≡ 2,{{nowrap end}} và {{nowrap begin}}3<sup>4</sup> ≡ 1.{{nowrap end}}

Một số nhóm xiclic có vô hạn các phần tử. Trong các nhóm này, đối với mỗi phần tử khác 0 ''a'', mọi lũy thừa của ''a'' là khác nhau; mặc dù tên gọi "nhóm xiclic" (nhóm tuần hoàn), lũy thừa của các phần tử không lặp lại tuần hoàn. Nhóm xiclic vô hạn là đẳng cấu với nhóm ('''Z''', +), nhóm các số nguyên với phép cộng như đã giới thiệu ở trên.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2005|loc = §II.1, trang 22 (ví dụ 11)}}</ref> Vì hai nhóm đã giới thiệu đều là các nhóm giao hoán (nhóm Abel), cho nên các nhóm xiclic cũng là nhóm Abel.

Việc nghiên cứu các nhóm Abel sinh hữu hạn là khá kỹ lưỡng, bao gồm "định lý cơ bản về nhóm Abel sinh hữu hạn; và phản ánh trạng thái này với nhiều khái niệm nhóm liên quan như [[trung tâm (lý thuyết nhóm)|trung tâm]] và [[giao hoán tử]], miêu tả sự mở rộng cho những nhóm phi Abel.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2002|loc = §I.5, trang 26, 29}}</ref>

===Nhóm đối xứng===
{{chính|Nhóm đối xứng}}
{{xem thêm|Đối xứng phân tử|Nhóm không gian|Đối xứng trong vật lý học}}
''Nhóm đối xứng'' là những nhóm chứa tính [[đối xứng]] của các đối tượng toán học nhất định—có thể về bản chất hình học của chúng, như nhóm đối xứng của hình vuông đã giới thiệu ở trên, hoặc về bản chất đại số, như [[phương trình đa thức]] và các nghiệm.<ref>{{Harvard citations|nb = yes|last = Weyl|year = 1952}}</ref> Về mặt khái niệm, có thể coi lý thuyết nhóm như là ngành nghiên cứu tính đối xứng.{{cref|t}} Sự [[đối xứng trong toán học]] làm đơn giản hóa rất nhiều trong việc nghiên cứu các đối tượng [[hình học]] và [[Giải tích toán học|giải tích]]. Một nhóm được nói là [[tác dụng nhóm|tác dụng]] lên một đối tượng toán học ''X'' nếu mỗi phần tử của nhóm thực hiện một số phép toán trên ''X'' mà tương thích với luật nhóm. Trong ví dụ nằm ở ngoài cùng bên phải ở bảng dưới, một phần tử bậc 7 của [[nhóm tam giác (2,3,7)]] tác dụng lên phép lát gạch bằng cách hoán vị các [[tam giác]] cong tô màu nổi bật (và cũng cho những [[tam giác]] khác). Bằng tác dụng nhóm, thành phần của nhóm được liên hệ với cấu trúc của đối tượng mà nó tác dụng lên.

[[Hình:Sixteenth stellation of icosahedron.png|right|thumb|200px|Phép quay và lật ngược tạo thành nhóm đối xứng của đa diện lớn 20 mặt.]]
Trong lĩnh vực hóa học, như [[tinh thể học]], [[nhóm không gian]] và [[Nhóm đối xứng tâm|nhóm điểm]] miêu tả tính chất đối xứng phân tử và đối xứng tinh thể. Những đối xứng này hàm chứa các hành xử vật lý và hóa học của các tinh thể, và lý thuyết nhóm cho phép đơn giản hóa sự phân tích của [[cơ học lượng tử]] cho những tính chất này.<ref>{{Harvard citations|nb = yes|last1 = Conway|last2= Delgado Friedrichs|last3 = Huson|last4 = Thurston|year = 2001}}. Cũng xem ở {{Harvard citations|nb = yes|last = Bishop|year = 1993}}</ref> Ví dụ, lý thuyết nhóm được sử dụng để chứng tỏ rằng sự chuyển dịch quang học giữa những mức lượng tử nhất định không thể xảy ra đơn giản bởi vì có sự tham gia đối xứng của các trạng thái năng lượng.

Không chỉ nhóm có ích khi sử dụng để đánh giá đối xứng trong phân tử, nhưng chúng cũng tiên đoán một cách ngạc nhiên rằng thỉnh thoảng các phân tử cũng thay đổi tính đối xứng. [[Hiệu ứng Jahn-Teller]] là sự lệch cấu trúc phân tử ra khỏi đối xứng cao khi nó chấp nhận một trạng thái nền của đối xứng thấp hơn từ tập hợp các trạng thái nền khả dĩ có liên hệ với nhau bởi phép toán đối xứng đối với phân tử.<ref name=Bersuker>{{Chú thích|title=The Jahn-Teller Effect |first= Isaac |last= Bersuker |page=2 |isbn=0-521-82212-2 |publisher=Cambridge University Press |year=2006 }}</ref><ref>{{Harvard citations|nb = yes|last1 = Jahn|last2=Teller|year = 1937}}</ref>

Tương tự như vậy, lý thuyết nhóm giúp tiên đoán sự thay đổi tính chất vật lý xảy ra khi vật liệu trải qua giai đoạn [[chuyển pha]], ví dụ, từ dạng tinh thể lập phương sang thành tinh thể tứ diện. Một ví dụ về điều này đó là ở vật liệu [[sắt điện]], nơi sự thay đổi từ trạng thái lưỡng cực điện sang trạng thái sắt điện xảy ra ở [[nhiệt độ Curie]] và có liên hệ với sự thay đổi từ trạng thái lưỡng cực điện đối xứng cao xuống trạng thái sắt điện có đối xứng thấp hơn, đi kèm với nó là mode [[phonon]] mềm, loại mode giàn rung động trở về tần số 0 ở giai đoạn chuyển pha.<ref name=Dove>{{Chú thích|title=Structure and Dynamics: an atomic view of materials |first=Martin T|last= Dove |page=265 |isbn=0-19-850678-3 |publisher=Oxford University Press |year=2003 }}</ref>

Những hiệu ứng [[phá vỡ đối xứng tự phát]] đã được áp dụng ở trong lĩnh vực vật lý hạt cơ bản, nơi sự xuất hiện của nó có liên hệ với các [[boson Goldstone]].

{| class="wikitable" style="text-align:center; margin:1em auto 1em auto;"
|-
|width=15%| [[Hình:C60a.png|125px]]
|width=20%| [[Hình:Ammonia-3D-balls-A.png|125px]]
|width=14%| [[Hình:Cubane-3D-balls.png|125px]]
|width=36%| [[Hình:Hexaaquacopper(II)-3D-balls.png|125px]]
|width=15%| [[Hình:Uniform tiling 73-t2 colored.png|125px]]
|-
| [[Buckminsterfullerene]] thể hiện<br />[[đối xứng đa diện 20 mặt]] thông qua liên kết 2 hóa trị làm giảm đối xứng này thành đối xứng tinh thể pyrit (pyritohedral symmetry).
|[[Amonia]], [[nitơ|N]][[hiđrô|H<sub>3</sub>]]. Nhóm đối xứng của nó có bậc 6, sinh bởi phép quay 120° và sự phản xạ.
|[[Cubane]] [[Cacbon|C<sub>8</sub>]][[hiđrô|H<sub>8</sub>]] chứa<br /> đối xứng bát diện.
|[[Ion phức]] Hexaaquacopper(II), [[đồng|[Cu]][[ôxy|(O]]H<sub>2</sub>)<sub>6</sub>]<sup>2+</sup>. So sánh với một hình dạng đối xứng hoàn hảo, phân tử này bị kéo giãn theo phương đứng một tỷ lệ 22% (hiệu ứng Jahn-Teller).
|Nhóm [[tam giác]] (2,3,7), nhóm hypebolic, tác dụng lên phép lát mặt phẳng hypebolic.
|}

Những nhóm đối xứng hữu hạn như [[nhóm Mathieu]] được ứng dụng trong [[lý thuyết mã hóa]], mà đến lượt nó lại áp dụng vào lý thuyết hiệu chỉnh sai số trong việc truyền dữ liệu, và ở [[đầu đọc đĩa CD]].<ref>{{Harvard citations|nb = yes|last = Welsh|year = 1989}}</ref> Một ứng dụng khác là [[lý thuyết Galois vi phân]], mà hàm đặc trưng hóa có [[nguyên hàm]] của dạng cho trước, đem lại tiêu chuẩn giới hạn lý thuyết nhóm khi nghiệm của những [[phương trình vi phân]] xác định tốt.{{cref|u}} Các tính chất hình học mà vẫn duy trì sự ổn định dưới tác dụng của nhóm được nghiên cứu trong lý thuyết bất biến hình học.<ref>{{Harvard citations|nb = yes|last1 = Mumford|last2 = Fogarty|last3 = Kirwan|year = 1994}}</ref>

===Nhóm tuyến tính tổng quát và lý thuyết biểu diễn ===
{{chính|Nhóm tuyến tính tổng quát|Lý thuyết biểu diễn}}
[[Hình:Matrix multiplication.svg|right|thumb|250px|Hai [[vectơ]] (minh họa bên trái) nhân bởi ma trận (minh họa ở giữa và bên phải). Minh họa ở giữa biểu diễn cho phép quay theo chiều kim đồng hồ 1 góc 90°, trong khi cái ở ngoài cùng bên phải thể hiện sự kéo dãn tọa độ ''x'' bởi hệ số 2.]]
[[Nhóm ma trận]] chứa các [[Ma trận (toán học)|ma trận]] cùng với [[phép nhân ma trận]]. ''Nhóm tuyến tính tổng quát'' {{nowrap begin}}''GL''(''n'', '''R'''){{nowrap end}} chứa mọi [[ma trận khả nghịch]] ''n'' x ''n'' với các phần tử [[số thực|thực]].<ref>{{Harvard citations|nb = yes|last = Lay|year = 2003}}</ref> Các nhóm con của nó được coi như là ''nhóm ma trận'' hay ''[[nhóm tuyến tính]]''. Ví dụ về nhóm nhị diện đề cập ở trên có thể coi như là nhóm ma trận (có bậc rất nhỏ). Một nhóm ma trận quan trọng khác là [[nhóm trực giao đặc biệt]] ''SO''(''n''). Nó miêu tả mọi phép quay khả dĩ trong không gian ''n'' chiều. Thông qua [[góc Euler]], [[ma trận quay]] được sử dụng trong lĩnh vực [[đồ họa vi tính]].<ref>{{Harvard citations|nb = yes|last = Kuipers|year = 1999}}</ref>

''Lý thuyết biểu diễn'' một mặt là ứng dụng của khái niệm nhóm nhưng mặt khác có vai trò quan trọng để hiểu ở mức sâu hơn đối với nhóm.<ref name=FultonHarris>{{Harvard citations|last1 = Fulton|last2 = Harris|year = 1991|nb = yes}}</ref><ref>{{Harvard citations|nb = yes|last = Serre|year = 1977}}</ref> Nó nghiên cứu nhóm thông qua [[Tác động nhóm|tác dụng nhóm]] trên những không gian khác. Một lớp rộng của phép [[biểu diễn nhóm]] là biểu diễn tuyến tinh, ví dụ nhóm tác dụng lên một [[không gian vectơ]], như [[không gian Euclid]] 3 chiều '''R'''<sup>3</sup>. Biểu diễn của ''G'' trên một không gian vectơ thực n chiều là phép đồng cấu nhóm đơn 
:''ρ'': ''G'' → ''GL''(''n'', '''R''')
từ nhóm vào nhóm tuyến tính tổng quát. Theo cách này, phép toán nhóm, mà có thể cho một cách trừu tượng, diễn dịch phép nhân ma trận khiến nó dùng được đối với những tính toán cụ thể.{{cref|w}}

Một phép toán nhóm còn cho một ý nghĩa xa hơn khi nghiên cứu đối tượng mà nó tác dụng lên.{{cref|x}} Mặt khác, nó cũng cho thông tin về cấu trúc nhóm. Biểu diễn nhóm là một nguyên lý tổ chức trong lý thuyết nhóm hữu hạn, nhóm Lie, [[nhóm đại số]] và [[nhóm tô pô]], đặc biệt là nhóm compact (cục bộ).<ref name="FultonHarris"/><ref>{{Harvard citations|nb = yes|last = Rudin|year = 1990}}</ref>

=== Nhóm Galois ===
{{chính|Nhóm Galois}}
''Nhóm Galois'' hình thành trong quá trình đi tìm nghiệm của [[phương trình đa thức]] dựa trên đặc điểm đối xứng của nghiệm.<ref>{{Harvard citations|nb = yes|last = Robinson|year = 1996|loc = trang viii}}</ref><ref>{{Harvard citations|nb = yes|last = Artin|year = 1998}}</ref> Ví dụ, nghiệm của [[phương trình bậc hai]] {{nowrap begin}}''ax''<sup>2</sup> + ''bx'' + ''c'' = 0{{nowrap end}} cho bởi công thức
:<math alt="x = (negative b plus or minus the squareroot of (b squared minus 4 a c)) over 2a">x = \frac{-b \pm \sqrt {b^2-4ac}}{2a}.</math>
Khi hoán vị dấu "+" và "&minus;" trong công thức, hay tương đương với hoán vị hai nghiệm của phương trình có thể coi như là một phép toán nhóm (một cách rất đơn giản). Có những công thức tương tự cho [[phương trình bậc ba]] và [[phương trình bậc bốn|bậc bốn]], nhưng ''không'' tồn tại một công thức tổng quát cho [[phương trình bậc năm]] và bậc cao hơn.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2002|loc = Chương VI}} (xem trang 273 đối với ví dụ cụ thể)</ref> Tính chất trừu tượng của nhóm Galois đi kèm với đa thức (đặc biệt là [[nhóm giải được|tính giải được]]) đưa ra một tiêu chuẩn cho những đa thức mà mọi nghiệm của nó có thể biểu diễn dưới dạng công thức chỉ bao gồm phép cộng, nhân và căn thức tương tự như công thức ở trên.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2002|loc = trang 292 (Định lý VI.7.2)}}</ref>

Vấn đề này có thể giải quyết được bằng cách dịch chuyển nó sang [[lý thuyết trường (toán học)|lý thuyết trường]] và xem xét [[trường tách]] của đa thức. [[Lý thuyết Galois]] hiện đại tổng quát hóa những loại nhóm Galois ở trên thành các [[mở rộng trường]] và thiết lập lên—thông qua [[định lý cơ bản của lý thuyết Galois]]—mối liên hệ chính xác giữa nhóm và trường, hàm chứa một lần nữa sự quan trọng của nhóm trong toán học.

== Nhóm hữu hạn ==
{{chính|Nhóm hữu hạn}}
Nhóm gọi là ''hữu hạn'' nếu nó có [[tập hợp hữu hạn|hữu hạn các phần tử]]. Số lượng các phần tử của nhóm gọi là bậc của nhóm.<ref>{{Harvard citations|nb = yes|last1 = Kurzweil|last2= Stellmacher|year = 2004}}</ref> Một lớp quan trọng là ''[[nhóm đối xứng]]'' ''S''<sub>''N''</sub>, tức nhóm [[hoán vị]] của ''N'' chữ cái. Ví dụ, nhóm đối xứng trên 3 chữ cái [[nhóm nhị diện bậc 6|''S''<sub>3</sub>]] là nhóm chứa mọi thứ tự khả dĩ của tổ hợp ba chữ cái ''ABC'', bao gồm bộ các chữ ''ABC'', ''ACB'',..., cho tới ''CBA'', tổng cộng là có 6 phần tử (hoặc 3 thừa số). Lớp này là cơ bản bởi bất ký nhóm hữu hạn nào có thể biểu diễn dưới dạng nhóm con của nhóm đối xứng ''S''<sub>''N''</sub> đối với những số nguyên ''N'' phù hợp ([[định lý Cayley]]). Song song với nhóm đối xứng của hình vuông nêu ra ở trên, có thể giải thích nhóm đối xứng ''S''<sub>3</sub> như là nhóm đối xứng của [[tam giác đều]].

<cite id=order_of_an_element>Bậc của một phần tử ''a'' trong nhóm ''G'' là số nguyên dương nhỏ nhất ''n'' sao cho ''a<sup> n</sup> = e'', với ''a<sup> n</sup>'' đại diện cho

: <math>\underbrace{a \cdots a}_{n \text{ factors}},</math>

có nghĩa là áp dụng phép toán nhóm • cho ''n'' bản sao của phần tử ''a''. (nếu • biểu diễn cho phép nhân, thì ''a''<sup>''n''</sup> tương ứng với ''a'' lũy thừa ''n''.) Trong nhóm hữu hạn, ''n'' có thể không tồn tại, và trong trường hợp này có thể nói bậc của ''a'' là vô hạn. Bậc của một phần tử bằng bậc của nhóm con xiclic sinh bởi phần tử này.</cite>

Đối với kỹ thuật đếm các đối tượng phức tạp hơn, ví dụ khi đếm các lớp (cosets), sẽ thu được phát biểu chính xác hơn về nhóm hữu hạn: [[định lý Lagrange (lý thuyết nhóm)|định lý Lagrange]] phát biểu rằng đối với nhóm hữu hạn ''G'' bậc của bất kỳ nhóm con ''H'' nào sẽ là ước của bậc của ''G''. [[Định lý Sylow]] đưa ra một phát biểu gần ngược lại.

Nhóm nhị diện (nêu ở trên) là nhóm hữu hạn có bậc 8. Bậc của r<sub>1</sub> là 4, hay chính là bậc của nhóm con ''R'' mà nó sinh ra(xem ở trên). Bậc của các phần tử phản xạ f<sub>v</sub>v.v bằng 2. Cả hai đều là ước của 8 đúng như định lý Lagrange tiên đoán. Nhóm '''F'''<sub>''p''</sub><sup>×</sup> ở trên có bậc {{nowrap|''p'' − 1}}.

=== Phân loại các nhóm đơn hữu hạn ===
{{chính|Phân loại nhóm đơn hữu hạn
}}
Các nhà toán học thường nỗ lực thu được [[định lý phân loại hóa|sự phân loại]] (hoặc danh sách) đầy đủ của một khái niệm toán học. Trong trường hợp các nhóm đơn hữu hạn, mục đích này nhanh chóng dẫn tới sự khó khăn và sự sâu sắc trong toán học. Theo định lý Lagrange, nhóm hữu hạn bậc ''p'', với p là số nguyên tố, cần thiết là nhóm xilic (Abel) '''Z'''<sub>''p''</sub>. Cũng có thể chứng minh nhóm có bậc ''p''<sup>2</sup> là nhóm Abel, nhưng phát biểu này không còn đúng khi tổng quát hóa cho nhóm bậc ''p''<sup>3</sup>, vì nhóm phi Abel D<sub>4</sub> có bậc 8 = 2<sup>3</sup> như chỉ ra ở trên.<ref>{{Harvard citations|nb = yes|last = Artin|year = 1991|loc = Định lý 6.1.14}}. Cũng xem ở {{Harvard citations|nb = yes|last = Lang|year = 2002|loc = trang 77}} về kết quả tương tự.</ref> Những [[hệ thống máy tính đại số]] được dùng để liệt kê ra những [[danh sách nhóm nhỏ|nhóm nhỏ]], nhưng không có cách phân loại mọi nhóm hữu hạn.{{cref|q}} Một bước trung gian là phân loại các nhóm đơn hữu hạn.{{cref|r}} Nhóm không tầm thường gọi là ''[[Nhóm đơn|đơn giản]]'' chỉ nếu các nhóm con chuẩn tắc của nó là [[nhóm tầm thường]] và cũng đối với chính nhóm đó.{{cref|s}} [[Định lý Jordan–Hölder]] chỉ ra các nhóm đơn hữu hạn là những viên gạch cơ bản cho mọi nhóm hữu hạn.<ref>{{Harvard citations|nb = yes|last = Lang|year = 2002|loc = §I. 3, trang 22}}</ref> Công việc liệt kê ra mọi nhóm đơn hữu hạn là một thành tựu lớn đạt được của lý thuyết nhóm hiện nay. [[Richard Borcherds]] giành [[Huy chương Fields]] năm 1998 nhờ chứng minh thành công phỏng đoán quái vật giả tưởng (monstrous moonshine conjectures), một mối liên hệ sâu sắc và kỳ lạ giữ nhóm bất định đơn giản hữu hạn lớn nhất (the largest finite simple sporadic group)— "[[nhóm quỷ]]"—với những [[hàm môđula]] nhất định, một thành phần trong [[giải tích phức]] cổ điển, và [[lý thuyết dây]], lý thuyết tìm cách miêu tả thống nhất nhiều hiện tượng vật lý trong tự nhiên.<ref>{{Harvard citations|nb = yes|last = Ronan|year = 2007}}</ref>

==Nhóm được trang bị thêm cấu trúc==
Nhiều nhóm tập hợp một cách đồng thời là nhóm và là ví dụ về cấu trúc toán học cho những nhóm khác. Trong ngôn ngữ của [[lý thuyết phạm trù]], chúng là các [[vật thể nhóm]] trong một [[phạm trù (toán học)|phạm trù]], có nghĩa là chúng là các vật thể (tức là làm ví dụ cho những cấu trúc toán học khác) đi kèm với các phép biến đổi (gọi là [[cấu xạ]]- morphism) mà bắt chước giống với những tiên đề nhóm. Ví dụ, mọi nhóm (như định nghĩa ở trên) đều là tập hợp, do vậy một nhóm là vật thể nhóm trong [[phạm trù các tập hợp]].

===Nhóm tô pô===
[[Hình:Circle as Lie group2.svg|right|thumb|[[Đường tròn đơn vị]] trong [[mặt phẳng phức]] với phép nhân số phức là một nhóm Lie, do vậy cũng là nhóm tô pô. Nó có tính tô pô vì phép nhân và chia các số phức có tính liên tục. Nó là một [[đa tạp]] và do đó nhóm Lie cũng vậy, bởi vì mỗi [[lân cận (toán học)|mẩu nhỏ]], như cung màu đỏ ở hình bên, nhìn giống như [[đoạn thẳng]] của một [[đường thẳng]] (vẽ ở dưới đường tròn). ]]
{{chính|Nhóm tô pô }}
Một số [[không gian tô pô]] có thể sử dụng với luật nhóm. Để cho luật nhóm và không gian tô pô kết hợp được với nhau, phép toán nhóm phải là [[hàm liên tục]], tức là, {{nowrap|''g'' • ''h'',}} và ''g''<sup>&minus;1</sup> phải không thay đổi quá lớn nếu ''g'' và ''h'' chỉ thay đổi rất ít. Những nhóm này gọi là các ''nhóm tô pô,'' và chúng là các vật thể nhóm trong [[phạm trù các không gian tô pô]].<ref>{{Harvard citations|nb = yes| last = Husain|year = 1966}}</ref> Những ví dụ cơ bản nhất là nhóm các [[số thực]] '''R''' đi kèm với phép toán cộng, {{nowrap|('''R''' \ {0}, •)}}, và tương tự với bất kỳ [[trường tô pô]] nào như [[số phức]] hoặc [[số p-adic]]. Mọi nhóm này đều [[nhóm tô pô compact địa phương|compact địa phương]], do đó chúng có [[độ đo Haar]] và có thể nghiên cứu chúng thông qua [[giải tích điều hòa]]. Lĩnh vực giải tích điều hòa đưa ra hình thức luận trừu tượng cho các phép [[tích phân]] bất biến. Tính bất biến có nghĩa là, ví dụ trong trường hợp số thực:
: <math>\int f(x)\,dx = \int f(x+c)\,dx</math>
với ''c'' là hằng số bất kỳ. Nhóm ma trận trên những trường này nằm vào phạm vi này, như đối với [[vành Adele]] và [[nhóm đại số Adele]] mà chúng là cơ sở đối với lý thuyết số.<ref>{{Harvard citations|nb = yes| last = Neukirch|year = 1999}}</ref> Nhóm Galois của mở rộng trường vô hạn như [[nhóm Galois tuyệt đối]] cũng có thể được trang bị với một tô pô, gọi là [[tô pô Krull]], mà đến lượt là trung tập của sự tổng quát hóa mối liên hệ phác thảo ở trên giữa trường và nhóm của mở rộng trường vô hạn.<ref>{{Harvard citations|nb = yes| last = Shatz|year = 1972}}</ref> Tổng quát hóa hơn nữa cho ý tưởng này, nhằm chấp nhận những đòi hỏi của [[hình học đại số]], là [[nhóm cơ bản Étale]].<ref>{{Harvard citations|nb = yes| last = Milne|year = 1980}}</ref>

===Nhóm Lie===
{{chính|Nhóm Lie}}
''Nhóm Lie'' (theo tên nhà toán học Thụy Điển [[Sophus Lie]]) là nhóm có thêm cấu trúc [[đa tạp]], tức là chúng là những không gian [[vi đồng phôi|nhìn trên cục bộ]] giống như [[không gian Euclid]] với [[chiều (toán học)|chiều]] thích hợp.<ref>{{Harvard citations|nb = yes|last = Warner|year = 1983}}</ref> Thêm nữa, cấu trúc được đưa vào, mà ở đây là cấu trúc đa tạp, phải là tương thích, tức là ánh xạ tương ứng với phép nhân và phép nghịch đảo phải đảm bảo [[ánh xạ trơn|tính trơn]].

Một ví dụ mẫu là nhóm tuyến tính tổng quát giới thiệu ở trên: nó là một tập con mở của không gian chứa mọi ma trận ''n'' x ''n'', bởi nó tuân theo bất đẳng thức
:det (''A'') ≠ 0,
với ''A'' ký hiệu cho ma trận ''n'' x ''n''.<ref>{{Harvard citations|nb = yes|last = Borel|year = 1991}}</ref>

Nhóm Lie có vai trò quan trọng cơ bản trong vật lý hiện đại trong khi [[định lý Noether]] liên hệ các đối xứng liên tục với các đại lượng bảo toàn.<ref>{{Harvard citations|nb = yes|last = Goldstein|year = 1980}}</ref> [[quay|Phép quay]], cũng như [[tịnh tiến (hình học)|phép tịnh tiến]] trong [[không gian]] và [[thời gian]] là những đối xứng cơ bản đối với các định luật của [[cơ học]]. Chúng có thể được sử dụng, ví dụ, để xây dựng những mô hình đơn giản—hàm ý rằng đối xứng trục trong một số tình huống sẽ giúp các nhà vật lý làm đơn giản đi rất nhiều những phương trình phức tạp giúp họ tìm ra những nghiệm chính xác miêu tả hệ vật lý nhất định, như ở trường hợp các [[nghiệm Schwarzschild]] (đối xứng cầu) và [[nghiệm Kerr]] (đối xứng trục, bảo toàn động lượng) của [[phương trình trường Einstein]] trong [[thuyết tương đối rộng]].{{cref|v}} Một ví dụ khác là [[phép biến đổi Lorentz]], nó liên hệ phép đo thời gian với vận tốc của hai quan sát viên chuyển động đều tương đối với nhau. Chúng có thể thu được theo cách của lý thuyết nhóm thuần túy, bằng cách thể hiện phép biến đổi như là đối xứng quay trong [[không gian Minkowski]]. Không gian này phục vụ—trong trường hợp bỏ qua ảnh hưởng của [[trường hấp dẫn]]—như là mô hình của [[không thời gian]] trong [[thuyết tương đối hẹp]].<ref>{{harvard citations|nb=yes|last=Weinberg|year=1972}}</ref> Nhóm đối xứng đầy đủ của không gian Minkowski, tức là bao gồm cả phép tịnh tiến, được biết đến là [[nhóm Poincaré]]. Theo trên, nó đóng vai trò quan trọng trong thuyết tương đối hẹp và cho cả [[lý thuyết trường lượng tử]].<ref>{{Harvard citations|nb = yes|last = Naber|year = 2003}}</ref> [[đối xứng cục bộ|Các đối xứng thay đổi theo vị trí]] là khái niệm trung tâm trong cách miêu tả hiện đại về những tương tác vật lý với sự giúp đỡ của [[lý thuyết trường chuẩn]] (gauge theory).<ref>{{Harvard citations|nb = yes| last = Becchi|year = 1997}}</ref>

==Tổng quát hóa==
{| class="infobox" style="margin:auto; text-align:center;"
|- style="text-align:center;"
| style="border-bottom: 2px solid #303060" colspan=10| '''Các cấu trúc giống với nhóm. Cột tính chất thể hiện chúng có những đặc điểm nào.'''
|-
!!! [[Hàm bộ phận|Toàn phần]]*!![[kết hợp|Tính kết hợp]]!! [[Phần tử đơn vị|Phần từ đơn vị]]!![[Phần tử nghịch đảo]]!! [[Giao hoán]]
|-
! [[Magma (đại số)|Magma]]
| {{Có}} || {{Không}} || {{Không}} || {{Không}} || {{Không}}
|-
! [[Nửa nhóm]]
| {{Có}} || {{Có}} || {{Không}} || {{Không}} || {{Không}}
|-
! [[Monoid]] ([[vị nhóm]])
| {{Có}} || {{Có}} || {{Có}} || {{Không}} || {{Không}}
|-
! Nhóm
| {{Có}} || {{Có}} || {{Có}} || {{Có}} || {{Không}}
|-
! [[Nhóm Abel]]
| {{Có}} || {{Có}} || {{Có}} || {{Có}} || {{Có}}
|-
! [[Tựa nhóm|Vòng]]
| {{Có}} || {{Không}} || {{Có}} || {{Có}} || {{Không}}
|-
! [[Tựa nhóm]]
| {{Có}} || {{Không}} || {{Không}} || {{Có}} || {{Không}}
|-
! [[Groupoid|Groupoid (Phỏng nhóm)]]
| {{Không}} || {{Có}} || {{Có}} || {{Có}} || {{Không}}
|-
! [[Phạm trù (toán học)|Phạm trù nhỏ]]
| {{Không}} || {{Có}} || {{Có}} || {{Không}} || {{Không}}
|-
! [[Nửa phạm trù]]
| {{Không}} || {{Có}} || {{Không}} || {{Không}} || {{Không}}
|-
| || colspan="10" | <small>*[[Bao đóng (toán học)|Bao đóng]], nhiều tác giả sử dụng để định nghĩa các cấu trúc giống nhóm, là tương đương về mặt tiên đề với tính toàn phần, mặc dù chúng xác định khác nhau.</small>
|}
Trong đại số trừu tượng, những cấu trúc tổng quát hơn được xác định bằng cách nới lỏng một số tiên đề nhóm.<ref name="MacLane">{{Harvard citations|nb = yes|last = Mac Lane|year = 1998}}</ref><ref>{{Harvard citations|nb = yes|last1 = Denecke|last2 = Wismath|year = 2002}}</ref><ref>{{Harvard citations|nb = yes|last1 = Romanowska|last2 = Smith|year=2002}}</ref>

Ví dụ, nếu yêu cầu rằng mọi phần tử phải có phần tử nghịch đảo bị loại bỏ, thì cấu trúc đại số thu được gọi là [[monoid]]. Tập hợp [[số tự nhiên]] '''N''' (bao gồm 0) với phép cộng tạo thành một monoid, cũng như đối với số nguyên khác 0 dưới phép nhân, <math>\mathbb{Z}^*</math>, xem ở trên. Có một phương pháp tổng quát để thêm vào một cách hình thức các phần tử nghịch đảo đối với bất kỳ monoid nào (có tính chất giao hoán), rất giống với cách mà <math>\mathbb{Z}</math> thu được từ <math>\mathbb{N}</math>, cách này còn gọi là [[nhóm Grothendieck]].

Các [[groupoid]] giống với nhóm ngoại trừ phép kết hợp ''a'' • ''b'' không cần thiết phải xác định với mọi ''a'' và ''b''. Chúng xuất hiện trong việc nghiên cứu những dạng phức tạp hơn của đối xứng, thường trong các cấu trúc [[tô pô]] và [[giải tích toán học]], như [[groupoid cơ bản]] hay chùm (stack).

Cuối cùng, có thể tổng quát hóa cho bất kỳ khái niệm nào bằng cách thay thế phép toán hai ngôi bởi một mảng bất kỳ n-ary (tức là phép toán có ''n'' tham số). Cũng với sự tổng quát hóa thông thường của các tiên đề nhóm sự kết hợp này hình thành lên [[nhóm ''n''-ary]].<ref>{{Harvard citations|nb = yes|last = Dudek|year = 2001}}</ref>(xem thêm [[đại số phổ dụng]])

Bảng kế bên liệt kê danh sách một vài cấu trúc tổng quát hóa của nhóm.
==Xem thêm==
* [[Nhóm giao hoán|Nhóm Abel]]
* [[Nhóm cơ bản]]
* [[Nhóm lũy linh]]
* [[Nhóm giải được]]

==Chú thích==
{{clear}}
{{Div col|colwidth=25em}}<span class="small">
{{cnote|a|Tạp chí [[Mathematical Reviews]] liệt kê 3.224 bài báo nghiên cứu về lý thuyết nhóm và sự tổng quát của nó trong năm 2005.}}
{{cnote|aa|Kết quả phân loại công bố vào năm 1983, nhưng các nhà toán học tìm thấy có những kẽ hở trong chứng minh. Xem [[phân loại nhóm đơn giản hữu hạn]] để biết thêm thông tin.}}
{{cnote|b|Tiên đề đóng đã hàm chứa điều kiện rằng • là phép toán hai ngôi. Một số tác giả do vậy bỏ tiên đề này đi. Tuy nhiên, quá trình xây dựng nhóm thường bắt đầu bằng một phép toán xác định trên một siêu tập hợp, do vậy tính đóng là đòi hỏi trong phép chứng minh hệ đó là một nhóm. {{Harvard citations|nb = yes|last = Lang|year = 2002}}}}
{{cnote|c|Xem, ví dụ, sách của Lang (2002, 2005) và Herstein (1996, 1975).}}
{{cnote|d|Tuy nhiên, một nhóm không được xác định bởi dàn của các nhóm con của nó. Xem {{Harvard citations|nb = yes|last = Suzuki|year = 1951}}.}}
{{cnote|e|Thực tế rằng phép toán nhóm mở rộng sự [[dạng chính tắc|chính tắc]] này là một ví dụ của [[Thuộc tính phổ quát|tính chất phổ quát]].}}
{{cnote|f|Ví dụ, nếu ''G'' là hữu hạn, thì kích thước (hay bậc) của nhóm con bất kỳ và nhóm thương bất kỳ chia hết cho kích thước của nhóm ''G'', như chỉ ra bởi định lý Lagrange.}}
{{cnote|g|Từ "homomorphism" phép đồng phôi dẫn xuất từ tiếng [[Hy Lạp cổ đại|Hy Lạp]] ὁμός—đồng dạng hay giống nhau và [[wikt:μορφή|μορφή]]—có nghĩa là cấu trúc.}}
{{cnote|h|Ký hiệu cộng cho các phần tử của nhóm xiclic có thể viết là {{nowrap|''t'' • ''a'', ''t'' thuộc '''Z'''}}.}}
{{cnote|i|Xem [[định lý Seifert–van Kampen]].}}
{{cnote|j|Một ví dụ đó là [[nhóm đối đồng điều]] của một nhóm mà bằng kỳ dị đối đồng điều (singular homology) của không gian phân loại (classifying space) của nó.}}
{{cnote|k|Phần tử là kết quả của phép nhân một phần tử với phần tử nghịch đảo của nó gọi là phần tử đơn vị, xem {{Harvard citations|nb = yes|last = Lang|year = 2002|loc =§II.1, trang 84}}.}}
{{cnote|l|Sự chuyển tiếp từ số nguyên sang số hữu tỉ bằng cách cộng thêm phân số được tổng quát hóa bằng [[trường thương]].}}
{{cnote|m|Điều tương tự cũng đúng đối với bất kỳ [[trường (toán học)|trường]] ''F'' thay vì '''Q'''. Xem {{Harvard citations|nb = yes|last = Lang|year = 2005|loc = §III.1, trang 86}}.}}
{{cnote|n|Ví dụ, một nhóm con hữu hạn của nhóm nhân của một trường cần thiết phải tuần hoàn (xiclic). Xem {{Harvard citations|nb = yes|last = Lang|year = 2002|loc = Theorem IV.1.9}}. Khái niệm [[xoắn (đại số)|xoắn]] của một [[môđun (toán học)|môđun]] và đại số đơn giản là những ví dụ khác của nguyên lý này.}}
 {{cnote|o|Tính chất thiết lập mở ra một định nghĩa cho số nguyên tố. Xem [[phần tử nguyên tố]].}}
{{cnote|p|Ví dụ, xem giao thức [[Diffie-Hellman]] sử dụng [[logarit rời rạc]].}}
{{cnote|q|Các nhà toán học biết tới nhóm có bậc lớn nhất là 2000. Đếm cả hệ đẳng cấu, có khoảng 49 tỷ nhóm. Xem {{Harvard citations|nb = yes|last1 = Besche|last2 = Eick|last3 = O'Brien|year = 2001}}.}}
{{cnote|r|Khoảng trống giữa sự phân loại nhóm đơn giản và với mọi nhóm nằm ở "vấn đề mở rộng", một vấn đề quá khó để giải trong trường hợp tổng quát. Xem {{Harvard citations|nb = yes|last = Aschbacher|year = 2004|loc = trang 737}}.}}
{{cnote|s|Một cách tương đương, nhóm không tầm thường là đơn giản nếu và chỉ nếu nhóm thương là nhóm tầm thường và chính là nhóm đó. Xem {{Harvard citations|nb = yes|last = Michler|year = 2006}}, {{Harvard citations|nb = yes|last = Carter|year = 1989}}.}}
{{cnote|t|Một cách phức tạp hơn, mỗi nhóm là nhóm đối xứng của một số [[đồ thị (toán học)|đồ thị]]; xem [[định lý Frucht]], {{Harvard citations|nb = yes|last = Frucht|year = 1939}}.}}
{{cnote|u|Chính xác hơn, tác dụng đơn đạo (monodromy) trên [[không gian vectơ]] của nghiệm các phương trình vi phân được xét tới. Xem {{Harvard citations|nb = yes|last = Kuga|year=1993|loc = pp. 105–113}}.}}
{{cnote|v|Xem [[mêtric Schwarzschild]] cho ví dụ phép đối xứng làm giảm một cách đáng kể sự phức tạp của một hệ vật lý.}}
{{cnote|w|Điều này là trọng yếu đối với sự phân loại nhóm đơn giản hữu hạn. Xem {{Harvard citations|nb = yes|last = Aschbacher|year = 2004}}.}}
{{cnote|x|Xem, ví dụ như [[bổ đề Schur]] cho tác động của tác dụng nhóm tới [[môđun đơn giản]]. Ví dụ có sự tham gia nhiều hơn là tác dụng của [[nhóm Galois tuyệt đối]] trên [[đối đồng điều Étale]].}}
{{cnote|y|Đơn ánh và toàn ánh tương ứng với phép [[đơn cấu]] và phép [[toàn cấu]]. Chúng có thể trao đổi cho nhau khi sử dụng trong [[Tương đương phạm trù|phạm trù đối ngẫu]].}}
</span>
{{Div col end}}

==Trích dẫn==
{{tham khảo|3|colwidth=35em}}

==Tham khảo==
* Lê Thị Thanh Nhàn, Vũ Mạnh Xuân, 2007, ''Giáo trình Lý thuyết nhóm'', NXB ĐHQGHN
===Tham khảo chung===
*{{Chú thích
 | last1=Artin
 | first1=Michael
 | title=Algebra
 | publisher=Prentice Hall
 | isbn=978-0130047632
 | year=1991
 }}, Chương 2 trình bày các khái niệm đối với mức hiểu biết của sinh viên cho những khái niệm nêu trong bài này.
*{{Chú thích | last1=Devlin | first1=Keith | title=The Language of Mathematics: Making the Invisible Visible | publisher=Owl Books | isbn=978-0-8050-7254-9 | year=2000}}, Chương 5 trình bày cách giải thích dễ hiểu cho đa số người quan tâm về nhóm.
* Fulton, William; Harris, Joe (1991), ''Representation theory. A first course'', Graduate Texts in Mathematics, Readings in Mathematics '''129''', New York: Springer-Verlag, ISBN 978-0-387-97495-8, MR [http://www.ams.org/mathscinet-getitem?mr=1153249 1153249], ISBN 978-0-387-97527-6.
*{{Chú thích | last=Hall | first=G. G. | title=Applied group theory | publisher=American Elsevier Publishing Co., Inc., New York | mr=0219593 | year=1967}}, cuốn sách giới thiệu đại cương.
*{{Chú thích | last1=Herstein | first1=Israel Nathan| title=Abstract algebra | publisher=Prentice Hall Inc. | location=Upper Saddle River, NJ | edition=3rd | isbn=978-0-13-374562-7 | mr=1375019 | year=1996}}.
*{{Chú thích | last1=Herstein | first1=Israel Nathan | title=Topics in algebra | publisher=Xerox College Publishing | location=Lexington, Mass. | edition=2nd | mr=0356988 | year=1975}}.
* Lang, Serge (2002), Algebra, [https://link.springer.com/book/10.1007%2F978-1-4613-0041-0 Graduate Texts in Mathematics '''211'''] (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR [http://www.ams.org/mathscinet-getitem?mr=1878556 1878556]
*{{Chú thích | last1=Lang | first1=Serge | title=Undergraduate Algebra | publisher=Springer-Verlag | location=Berlin, New York | edition=3rd | isbn=978-0-387-22025-3 | year=2005 | url = https://link.springer.com/book/10.1007%2F0-387-27475-8 | doi = 10.1007/0-387-27475-8 | archiveurl = http://web.archive.org/web/20140701101042/http://sciencelib.net/182/undergraduate-algebra-3rd-ed-s-lang-springer-2005-ww.html | archive-date = ngày 1 tháng 7 năm 2014}}.
*{{Chú thích | last1=Ledermann | first1=Walter | title=Introduction to the theory of finite groups | publisher=Oliver and Boyd, Edinburgh and London | mr=0054593 | year=1953}}.
*{{Chú thích | last1=Ledermann | first1=Walter | title=Introduction to group theory | publisher=Barnes and Noble | location=New York | oclc=795613 | year=1973}}.
*{{Chú thích | last1=Robinson | first1=Derek John Scott | title=A course in the theory of groups | publisher=Springer-Verlag | location=Berlin, New York | isbn=978-0-387-94461-6 | year=1996}}.
*[http://planetmath.org/group Group] tại [[PlanetMath]], với giấy phép sử dụng [[GFDL]]
*{{MathWorld |title=Group |urlname=Group}}
*{{Britannica|247054|Group (mathematics)}}
*{{SpringerEOM
 | title=Group
 | id= Group&oldid=29866
 | last=Kargapolov M.I. & Merzlyakov Yu.I.
 | first=
 | author-link=
 | last2=
 | first2=
 | author2-link=
}}

===Tham khảo chuyên đề===
*{{Chú thích | last1=Artin | first1=Emil | author1-link=Emil Artin | title=Galois Theory | publisher=Dover Publications | location=New York | isbn=978-0-486-62342-9 | year=1998}}.
*{{Chú thích | last1=Aschbacher | first1=Michael | title=The Status of the Classification of the Finite Simple Groups | url=http://www.ams.org/notices/200407/fea-aschbacher.pdf |format=PDF| year=2004 | journal=Notices of the American Mathematical Society | volume=51 | issue=7 | pages=736–740}}.
*{{Chú thích | last = Becchi| first = C.|arxiv=hep-ph/9705211|title=Introduction to Gauge Theories|year = 1997|bibcode = 1997hep.ph....5211B| pages = 5211 }}.
*{{Chú thích | last1=Besche | first1=Hans Ulrich | last2=Eick | first2=Bettina | last3=O'Brien | first3=E. A. | title=The groups of order at most 2000 | url=http://www.ams.org/era/2001-07-01/S1079-6762-01-00087-7/home.html | mr=1826989 | year=2001 | journal=Electronic Research Announcements of the American Mathematical Society | volume=7 | pages=1–4 | doi=10.1090/S1079-6762-01-00087-7}}.
*{{Chú thích | last1=Bishop | first1=David H. L. | title=Group theory and chemistry | publisher=Dover Publications | location=New York | isbn=978-0-486-67355-4 | year=1993}}.
*{{Chú thích | last1=Borel | first1=Armand | title=Linear algebraic groups | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | series=Graduate Texts in Mathematics | isbn=978-0-387-97370-8 | mr=1102012 | year=1991 | volume=126}}.
*{{Chú thích | last1=Carter | first1=Roger W. | title=Simple groups of Lie type | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-471-50683-6 | year=1989}}.
*{{Chú thích | last1=Conway | first1=John Horton | last2=Delgado Friedrichs | first2=Olaf | last3=Huson | first3=Daniel H. | last4=Thurston | first4=William trang | author4-link=William Thurston | title=On three-dimensional space groups | arxiv=math.MG/9911185 | mr=1865535 | year=2001 | journal=Beiträge zur Algebra und Geometrie | volume=42 | issue=2 | pages=475–507}}.
*{{fr icon}} {{Chú thích | last1=Coornaert | first1=M. | last2=Delzant | first2=T. | last3=Papadopoulos | first3=A. | title=Géométrie et théorie des groupes [Geometry and Group Theory]| publisher=Springer-Verlag | location=Berlin, New York | series=Lecture Notes in Mathematics | isbn=978-3-540-52977-4 | mr=1075994 | year=1990 | volume=1441}}.
*{{Chú thích | last1=Denecke | first1=Klaus | last2=Wismath | first2=Shelly L. | title=Universal algebra and applications in theoretical computer science | publisher=CRC Press | location=London | isbn=978-1-58488-254-1 | year=2002}}.
*{{Chú thích | last=Dudek |first=W.A. |title=On some old problems in n-ary groups |url=http://www.quasigroups.eu/contents/download/2001/8_3.pdf |journal=Quasigroups and Related Systems |year=2001 |volume=8 |pages= 15–36}}.
*{{de icon}} {{Chú thích | authorlink=R. Frucht |last1=Frucht | first1=R. | title=Herstellung von Graphen mit vorgegebener abstrakter Gruppe [Construction of Graphs with Prescribed Group] | url=http://www.numdam.org/article/CM_1939__6__239_0.pdf | year=1939 | journal=Compositio Mathematica | volume=6 | pages=239–250}}.
*{{Chú thích | last = Goldstein | first = Herbert | year = 1980 | title = Classical Mechanics (textbook) | edition = 2nd | publisher = Addison-Wesley Publishing | location = Reading, MA | isbn = 0-201-02918-9 | pages = 588–596}}.
*{{Chú thích | last1=Hatcher | first1=Allen | title=Algebraic topology | url=http://www.math.cornell.edu/~hatcher/AT/ATpage.html | publisher=Cambridge University Press | isbn=978-0-521-79540-1 | year=2002}}.
*{{Chú thích | last1=Husain | first1=Taqdir | title=Introduction to Topological Groups | publisher=W.B. Saunders Company | location=Philadelphia | isbn=978-0-89874-193-3 | year=1966}}
*{{Chú thích | last1 = Jahn | first1=H.|last2=Teller|first2=E.|author2-link=Edward Teller| title = Stability of Polyatomic Molecules in Degenerate Electronic States. I. Orbital Degeneracy | year = 1937 | journal = Proceedings of the Royal Society A | volume = 161 | issue = 905 | pages = 220–235 | doi = 10.1098/rspa.1937.0142 | bibcode=1937RSPSA.161..220J}}.
*{{Chú thích | last1=Kuipers | first1=Jack B. | title=Quaternions and rotation sequences—A primer with applications to orbits, aerospace, and virtual reality | publisher=Princeton University Press | isbn=978-0-691-05872-6 | mr=1670862 | year=1999}}.
*{{Chú thích |last1=Kuga | first1=Michio | title=Galois' dream: group theory and differential equations | publisher=Birkhäuser Boston | location=Boston, MA | isbn=978-0-8176-3688-3 | mr=1199112 | year=1993}}.
*{{Chú thích |last1=Kurzweil | first1=Hans | last2=Stellmacher | first2=Bernd | title=The theory of finite groups | publisher=Springer-Verlag | location=Berlin, New York | series=Universitext | isbn=978-0-387-40510-0 | mr=2014408 | year=2004}}.
*{{Chú thích |last1=Lay | first1=David | title=Linear Algebra and Its Applications | publisher=[[Addison-Wesley]] | isbn=978-0-201-70970-4 | year=2003}}.
*{{Chú thích |last1=Mac Lane | first1=Saunders | title=Categories for the Working Mathematician | publisher=Springer-Verlag | location=Berlin, New York | edition=2nd | isbn=978-0-387-98403-2 | year=1998}}.
*{{Chú thích |last1=Michler | first1=Gerhard | title=Theory of finite simple groups | publisher=Cambridge University Press | isbn=978-0-521-86625-5 | year=2006}}.
*{{Chú thích |last1=Milne | first1=James S. | title=Étale cohomology | publisher=Princeton University Press | isbn=978-0-691-08238-7 | year=1980}}
*{{Chú thích |last1=Mumford | first1=David | last2=Fogarty | first2=J. | last3=Kirwan | first3=F. | title=Geometric invariant theory | publisher=Springer-Verlag | location=Berlin, New York | edition=3rd | isbn=978-3-540-56963-3 | mr=1304906 | year=1994 | volume=34}}.
*{{Chú thích |last1=Naber | first1=Gregory L. | title=The geometry of Minkowski spacetime | publisher=Dover Publications | location=New York | isbn=978-0-486-43235-9 | mr=2044239 | year=2003}}.
*{{Chú thích
| last=Neukirch
| first=Jürgen
| author-link=Jürgen Neukirch
| title=Algebraic Number Theory
| publisher=[[Springer-Verlag]]
| location=Berlin
| series=Grundlehren der mathematischen Wissenschaften
| isbn=978-3-540-65399-8
| id={{MathSciNet | id = 1697859}}
| zbl=0956.11021
| url=http://www.plouffe.fr/simon/math/Algebraic%20Number%20Theory.pdf
| year=1999
| volume=322
| access-date=2015-03-02
| archive-date=2015-09-24
| archive-url=https://web.archive.org/web/20150924074621/http://www.plouffe.fr/simon/math/Algebraic%20Number%20Theory.pdf
}}
*{{Chú thích |last1=Romanowska | first1=A.B. | last2=Smith | first2=J.D.H. | title=Modes | publisher=[[World Scientific]] | isbn=978-981-02-4942-7 | year=2002}}.
*{{Chú thích |last1=Ronan | first1=Mark |title=Symmetry and the Monster: The Story of One of the Greatest Quests of Mathematics | publisher=Oxford University Press | isbn=978-0-19-280723-6 | year=2007}}.
*{{Chú thích |last1=Rosen | first1=Kenneth H. | title=Elementary number theory and its applications | publisher=Addison-Wesley | edition=4th | isbn=978-0-201-87073-2 | mr=1739433 | year=2000}}.
*{{Chú thích | last = Rudin | first = Walter | title = Fourier Analysis on Groups|publisher=Wiley-Blackwell|series=Wiley Classics|year=1990|isbn=0-471-52364-X}}.
*{{Chú thích |last1=Seress | first1=Ákos | title=An introduction to computational group theory | url = http://www.ams.org/notices/199706/seress.pdf | mr=1452069 | year=1997 | journal=Notices of the American Mathematical Society | volume=44 | issue=6 | pages=671–679}}.
*{{Chú thích |last1=Serre | first1=Jean-Pierre | title=Linear representations of finite groups | publisher=Springer-Verlag | location=Berlin, New York | isbn=978-0-387-90190-9 | mr=0450380 | year=1977}}.
*{{Chú thích |last1=Shatz | first1=Stephen S. | title=Profinite groups, arithmetic, and geometry | publisher=Princeton University Press | isbn=978-0-691-08017-8 | mr=0347778 | year=1972}}
*{{Chú thích |last = Suzuki|first= Michio|title = On the lattice of subgroups of finite groups|journal = Transactions of the American Mathematical Society| volume = 70| issue = 2| year = 1951| pages = 345–371| doi = 10.2307/1990375|jstor = 1990375}}.
*{{Chú thích |last1=Warner | first1=Frank | title=Foundations of Differentiable Manifolds and Lie Groups | publisher=Springer-Verlag | location=Berlin, New York | isbn=978-0-387-90894-6 | year=1983}}.
*{{Chú thích |last1=Weinberg | first1=Steven | author1-link=Steven Weinberg | title=Gravitation and Cosmology | publisher=John Wiley & Sons | location=New York | year=1972 |isbn=0-471-92567-5}}.
*{{Chú thích |last1=Welsh | first1=Dominic | title=Codes and cryptography | publisher=Clarendon Press | location=Oxford | isbn=978-0-19-853287-3 | year=1989}}.
*{{Chú thích |last1=Weyl | first1=Hermann | author1-link=Hermann Weyl | title=Symmetry | publisher=Princeton University Press | isbn=978-0-691-02374-8 | year=1952}}.

===Tư liệu lịch sử===

*{{Chú thích |last1=Borel | first1=Armand | author1-link=Armand Borel | title=Essays in the History of Lie Groups and Algebraic Groups | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-0288-5 | year=2001}}
*{{Chú thích |last1=Cayley | first1=Arthur | author1-link=Arthur Cayley | title=The collected mathematical papers of Arthur Cayley | url=http://quod.lib.umich.edu/cgi/t/text/pageviewer-idx?c=umhistmath;cc=umhistmath;rgn=full%20text;idno=ABS3153.0001.001;didno=ABS3153.0001.001;view=image;seq=00000140 | publisher=Cambridge University Press | year=1889 | volume=II (1851–1860)}}.
*{{Chú thích |last1=O'Connor | first1=J.J | last2=Robertson | first2=E.F. | title=The development of group theory | url=http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Development_group_theory.html|year=1996}}.
*{{Chú thích |last1=Curtis | first1=Charles W. | title=Pioneers of Representation Theory: Frobenius, Burnside, Schur, and Brauer | publisher=American Mathematical Society | location=Providence, R.I. | series=History of Mathematics | isbn=978-0-8218-2677-5 | year=2003}}.
*{{de icon}} {{Chú thích | last1=von Dyck | year=1882 | first1=Walther | title=Gruppentheoretische Studien (Group-theoretical Studies) | doi=10.1007/BF01443322 | journal=[[Mathematische Annalen]] | volume=20 | issue=1 | pages=1–44 | url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0020&DMDID=DMDLOG_0007&L=1 | access-date=2014-08-30 | archive-date=2014-02-22 | archive-url=https://web.archive.org/web/20140222213905/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0020&DMDID=DMDLOG_0007&L=1 }}.
*{{fr icon}} {{Chú thích |last1=Galois | first1=Évariste | author1-link=Évariste Galois | editor1-last=Tannery | editor1-first=Jules | title=Manuscrits de Évariste Galois <nowiki>[Évariste Galois' Manuscripts]</nowiki> | url=http://quod.lib.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=AAN9280 | publisher=Gauthier-Villars | location=Paris | year=1908}} (Galois work was first published by [[Joseph Liouville]] in 1843).
*{{fr icon}} {{Chú thích |last1=Jordan | first1=Camille | author-link=Camille Jordan | title=Traité des substitutions et des équations algébriques <nowiki>[Study of Substitutions and Algebraic Equations]</nowiki> | url=http://www.archive.org/details/traitdessubstit00jordgoog | publisher=Gauthier-Villars | location=Paris | year=1870 }}.
*{{Chú thích |doi=10.2307/2690312 | last1=Kleiner | first1=Israel | title=The evolution of group theory: a brief survey | mr=863090 | year=1986 | journal=Mathematics Magazine | volume=59 | issue=4 | pages=195–215 }}.
*{{de icon}} {{Chú thích |last1=Lie | first1=Sophus | author1-link=Sophus Lie | title=Gesammelte Abhandlungen. Band 1 [Collected papers. Volume 1] | publisher=Johnson Reprint Corp. | location=New York | mr=0392459 | year=1973}}.
*{{Chú thích |last1=Mackey | first1=George Whitelaw | title=The theory of unitary group representations | publisher=University of Chicago Press | mr=0396826 | year=1976}}
*{{Chú thích |last1=Smith | first1=David Eugene | title=History of Modern Mathematics | url=http://www.gutenberg.org/ebooks/8746 | series=Mathematical Monographs, No. 1 | year=1906}}.
*{{Chú thích |last1=Wussing | first1=Hans | title=The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory | publisher=Dover Publications | location=New York | isbn=978-0-486-45868-7 | year=2007}}.
== Liên kết ngoài ==
{{thể loại Commons|Group theory|Lý thuyết nhóm}}
{{Chủ đề|Toán học|Đại số}}
*{{MathWorld |title=Group |urlname=Group }}
*{{PlanetMath |urlname=Grouptheory|title=group mathematics}}
*{{Britannica|247054|Group (mathematics)}}
*{{TĐBKVN|22404|Nhóm}}
{{Kiểm soát tính nhất quán}}
{{Group navbox}}
{{Đại số}}
{{Sao chọn lọc|phiên bản chọn lọc = 42578882|thời gian = 11 tháng 9 năm 2018}}

<span class="small">

{{DEFAULTSORT:Nhóm (đại số)}}
[[Thể loại:Cấu trúc đại số]]
[[Thể loại:Lý thuyết nhóm| ]]
[[Thể loại:Đối xứng]]