Nhóm (toán học)

Trong toán học, một **nhóm** (group) là một tập hợp cá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à tính đóng, tính kết hợp, 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.

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 đ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. Để khám phá nhóm, các nhà toán học phải nêu ra nhiều 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 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. 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.

## Đị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 \mathbb{Z} chứa các số ...,-4,-3,-2,-1,0,1,2,3,4,... 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ỳ a và b, 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*. 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

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ử *a* và *b* bất kỳ để tạo ra một phần tử khác, viết là  hoặc *ab*. Để trở thành một nhóm, tập hợp và phép toán, , phải thỏa mãn bốn yêu cầu gọi là *tiên đề nhóm*:

;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*.
;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 *e* • *a* = *a* • *e* = *a* được thỏa mãn. Phần tử này là duy nhất (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
:*a* • *b* = *b* • *a*
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ì *a* + *b* = *b* + *a* đố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 *a* • *b* = *b* • *a* 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*G*, 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 . Tập cơ bản *G* được sử dụng một cách ngắn gọn cho tập . 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 " hay "phần tử của tập cơ bản *G* của nhóm ". 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 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, đố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:

:* 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à r1, r2 và r3;
:* đố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 (fh và fv), hoặc qua hai đường chéo (fd và fc).

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ụ, r1 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à fh 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 D4. 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. 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ư
:*b* • *a* ("á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 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° (r3) sau đó lật ngược hình vuông theo phương ngang (fh) 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 (fd). Sử dụng các ký hiệu ở trên, ô kết quả được tô màu xanh trong bảng nhóm:
:fh • r3 = fd.

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:

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 D4 lại quan trọng:  nhưng  Nói cách khác D4 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ử

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. Độ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 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. 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.

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. 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.

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 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. 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ố.

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). 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. Đế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. 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. 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.

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 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. 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.

## 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*. Ví dụ, áp dụng cách 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.

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.

### 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.

Để 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 đó

:

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 *x* • *a* = *b*. Thực vậy, nhân vế phải của phương trình với phần tử nghịch đảo *a*&minus;1 thu được nghiệm *x* = *x* • *a* • *a*&minus;1 = *b* • *a*&minus;1. Tương tự có chính xác một nghiệm *y* thuộc *G* trong phương trình *a* • *y* = *b*, hay *y* = *a*&minus;1 • *b*. 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
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  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.

Để 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. 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ù, trong trường hợp này là phạm trù các nhóm.

### Đồng cấu nhóm

*Đồng cấu nhóm* là những hàm bảo tồn cấu trúc nhóm. Hàm  giữa hai nhóm (*G*,•) và (*H*,∗) được gọi là *đồng cấu* nếu phương trình
:
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 , và  đố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.

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  và , 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à,  và  đố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  đối với các phần tử *g* thuộc *G* là tương đương logic với chứng minh , 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

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*. Cụ thể là, phần tử đơn vị của *G* cũng thuộc *H*, và bất cứ *h*1 và *h*2 thuộc *H*, thì  và *h*1&minus;1 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 *R* = {id, r1, r2, r3}, 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ử *g*, *h* ∈ *H* nếu  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ể.

Bất kỳ tập con *S* nào của nhóm *G*, nhóm con 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*. Trong ví dụ giới thiệu ở trên, nhóm con tạo bởi r2 và fv chứa hai phần tử này, phần tử đơn vị id và fh = fv • r2. Đế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)

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 D4 ở 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 r2 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**) để 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à

:*gH* = {*g • h*:*h* ∈ *H*} và *Hg* = {*h • g*:*h* ∈ *H*}.

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]]. Trường hợp đầu tiên *g*<sub>1</sub>*H* = *g*<sub>2</sub>*H* xảy ra [[tương đương logic|nếu và chỉ nếu]] , 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 *U* = f<sub>c</sub>*R* = {f<sub>c</sub>, f<sub>v</sub>, f<sub>d</sub>, f<sub>h</sub>} (tô màu lam trong bảng nhóm). Nhóm con *R* cũng là chuẩn tắc, bởi vì f<sub>c</sub>*R* = *U* = *R*f<sub>c</sub> và tương tự cho bất kỳ phần tử khác ngoài f<sub>c</sub>.

===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*".
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*: (*gN*) • (*hN*) = (*gh*)*N* 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ạ  đặ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 *eN * = *N* 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à (*gN*)<sup>&minus;1</sup> = (*g*<sup>&minus;1</sup>)*N*.


Các phần tử của nhóm thương  chính là *R*, phần tử đơn vị là *U* = f<sub>v</sub>*R*. Phép toán nhóm trên thương nêu ở bên phải. Ví dụ, *U* • *U* = f<sub>v</sub>*R* • f<sub>v</sub>*R* = (f<sub>v</sub> • f<sub>v</sub>)*R* = *R*. Cả nhóm con *R* = {id, r<sub>1</sub>, r<sub>2</sub>, r<sub>3</sub>}, 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  đượ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*: bất kỳ một nhóm là thương của [[nhóm tự do]] trên *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,
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]] , 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 . 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==


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]]. 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. 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. 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]]. 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ố]].

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. 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ụ, ''a'' = 2 là một số nguyên, nhưng nghiệm duy nhất cho phương trình ''a • b'' = 1 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).

==== 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. 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ỉ  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 ''x'' • 0 = 1), (**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'' **Q** \ {0} = {''q'' ∈ **Q** | ''q'' ≠ 0} tạo thành nhóm Abel dưới phép toán nhân, ký hiệu là . 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.

===Đồng dư ===

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 mô đun ''p''. 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 *p* = 5, tồn tại một nhóm với bốn phần tử 1, 2, 3, 4. Trong nhóm này, 4 • 4 = 1, 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. 16 &minus; 1 = 15, 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. 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  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  bằng 1. Trong trường hợp *p* = 5 ở trên, phần tử nghịch đảo của 4 là 4, của 3 là 2, do 3 • 2 = 6 ≡ 1 (mod 5). 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. Các nhóm này được ký hiệu là **F***p*×. 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.

### Nhóm xiclic

*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*. Trong ký hiệu phép nhân, các phần tử của nhóm là:
:..., *a*&minus;3, *a*&minus;2, *a*&minus;1, *a*0 = *e*, *a*, *a*2, *a*3,...,
với *a*2 có nghĩa là *a* • *a*, và *a<sup>&minus;3</sup>* thay cho *a*&minus;1 • *a*&minus;1 • *a*&minus;1=(*a* • *a* • *a*)&minus;1 v.v. Phần tử *a* gọi là phần tử sinh hay 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 phức bậc ''n'' của đơn vị, xác định bởi số phức *z* thỏa mãn *z**n* = 1. 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 *n* = 6. 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 ngược chiều kim đồng hồ một góc 60°. Sử dụng trong một số lý thuyết trường, có thể chứng minh được nhóm **F***p*× là xiclic: ví dụ, nếu *p* = 5, 3 là phần tử sinh do 31 = 3, 32 = 9 ≡ 4, 33 ≡ 2, và 34 ≡ 1.

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. 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 và giao hoán tử, miêu tả sự mở rộng cho những nhóm phi Abel.

### Nhóm đối xứng

*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. 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. 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. Một nhóm được nói là 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.

Trong lĩnh vực hóa học, như tinh thể học, nhóm không gian và 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. 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ử.

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.

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.

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. 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. 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.

### Nhóm tuyến tính tổng quát và lý thuyết biểu diễn

Nhóm ma trận chứa cá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* *GL*(*n*, **R**) chứa mọi ma trận khả nghịch *n* x *n* với các phần tử thực. 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.

*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. Nó nghiên cứu nhóm thông qua 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**3. 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ể.

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. 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ộ).

### 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. Ví dụ, nghiệm của phương trình bậc hai *ax*2 + *bx* + *c* = 0 cho bởi công thức
:x = \frac{-b \pm \sqrt {b^2-4ac}}{2a}.
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à 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. 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à 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.

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 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

Nhóm gọi là *hữu hạn* nếu nó có 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. Một lớp quan trọng là *[[nhóm đối xứng]]* *S**N*, 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 ''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**N* đố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*3 như là nhóm đối xứng của tam giác đều.

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

: \underbrace{a \cdots a}_{n \text{ factors}},

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**n* 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.

Đố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 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 r1 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ạ fvv.v bằng 2. Cả hai đều là ước của 8 đúng như định lý Lagrange tiên đoán. Nhóm **F***p*× ở trên có bậc .

### Phân loại các nhóm đơn hữu hạn

Các nhà toán học thường nỗ lực thu được 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***p*. Cũng có thể chứng minh nhóm có bậc *p*2 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*3, vì nhóm phi Abel D4 có bậc 8 = 23 như chỉ ra ở trên. Những hệ thống máy tính đại số được dùng để liệt kê ra những nhóm nhỏ, nhưng không có cách phân loại mọi nhóm hữu hạn. Một bước trung gian là phân loại các nhóm đơn hữu hạn. 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 đó. Đị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. 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.

## 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ù, 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ô

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à,  và *g*&minus;1 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ô. 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, , 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 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:
: \int f(x)\,dx = \int f(x+c)\,dx
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ố. 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. 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.

### 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 nhìn trên cục bộ giống như không gian Euclid với chiều thích hợp. 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 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*.

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. Phép quay, cũng như 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. 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. 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ử. 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).

## Tổng quát hóa

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.

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, \mathbb{Z}^*, 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à \mathbb{Z} thu được từ \mathbb{N}, 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.(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 Abel
* Nhóm cơ bản
* Nhóm lũy linh
* Nhóm giải được

## Chú thích



 



## Trích dẫn

## 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ươ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ươ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 1153249, ISBN 978-0-387-97527-6.
*, cuốn sách giới thiệu đại cương.
*.
*.
* Lang, Serge (2002), Algebra, Graduate Texts in Mathematics '''211''' (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556
*.
*.
*.
*.
*Group tại PlanetMath, với giấy phép sử dụng GFDL
*
*
*

### Tham khảo chuyên đề
*.
*.
*.
*.
*.
*.
*.
*.
* .
*.
*.
* .
*.
*.
*
*.
*.
*.
*.
*.
*.
*.
*
*.
*.
*
*.
*.
*.
*.
*.
*.
*
*.
*.
*.
*.
*.

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

*
*.
*.
*.
* .
*  (Galois work was first published by Joseph Liouville in 1843).
* .
*.
* .
*
*.
*.
## Liên kết ngoài

*
*
*
*