The study of groups.
There are many generalizations and related structures; for example the vertical categorifications of groups like 2-groups, horizontal categorifications as groupoids, groups with structure, like topological groups, Lie groups, thus also Lie groupoids, Lie infinity-groupoids; and noncommutative generalizations like quantum groups. Lie and algebraic group(oid)s have their infinitesimal precursors like formal groups, local Lie groups, tangent Lie algebras, tangent Lie algebroids etc. In the smooth context the relation between Lie groupoids and Lie algebroids is the subject of Lie theory.
Lecture notes
Textbook accounts
in general
in a more general context of algebra:
and in relation to applications in (quantum) physics:
Eugene P. Wigner: Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren, Springer (1931) [doi:10.1007/978-3-663-02555-9, pdf]
Eugene P. Wigner: Group theory: And its application to the quantum mechanics of atomic spectra, 5, Academic
Press (1959) [doi:978-0-12-750550-3]
Shlomo Sternberg, Group Theory and Physics, Cambridge University Press 1994 (ISBN:9780521558853)
See also:
Formalization in univalent foundations of mathematics (homotopy type theory with the univalence axiom)
and implementation in Agda:
On aspects of group theory seen inside homotopy theory/-group theory:
Last revised on September 4, 2023 at 17:32:54. See the history of this page for a list of all contributions to it.