Table of contents |
2 Examples 3 Group theory generalized |
Formally, we start with a category C which has a terminal object 1 and in which any two objects have a product. A group object in C is an object G of C together with morphisms
Much of group theory can be formulated in the context of the more general group objects. The notions of group homomorphism, subgroup, normal subgroup and the isomorphism theorems are typical examples. However, results of group theory that talk about individual elements, or the order of specific elements or subgroups, normally cannot be generalized to group objects in a straight-forward manner.Definition
such that the following properties (modeled on the group axioms) are satisfied
Examples
Group theory generalized