Relation To Groups
Group-like structures | |||||
Totality* | Associativity | Identity | Inverses | Commutativity | |
---|---|---|---|---|---|
Magma | Yes | No | No | No | No |
Semigroup | Yes | Yes | No | No | No |
Monoid | Yes | Yes | Yes | No | No |
Group | Yes | Yes | Yes | Yes | No |
Abelian Group | Yes | Yes | Yes | Yes | Yes |
Loop | Yes | No | Yes | Yes | No |
Quasigroup | Yes | No | No | Yes | No |
Groupoid | No | Yes | Yes | Yes | No |
Category | No | Yes | Yes | No | No |
Semicategory | No | Yes | No | No | No |
If a groupoid has only one object, then the set of its morphisms forms a group. Using the algebraic definition, such a groupoid is literally just a group. Many concepts of group theory generalize to groupoids, with the notion of functor replacing that of group homomorphism.
If x is an object of the groupoid G, then the set of all morphisms from x to x forms a group G(x). If there is a morphism f from x to y, then the groups G(x) and G(y) are isomorphic, with an isomorphism given by the mapping g → fgf −1.
Every connected groupoid (that is, one in which any two objects are connected by at least one morphism) is isomorphic to a groupoid of the following form. Pick a group G and a set (or class) X. Let the objects of the groupoid be the elements of X. For elements x and y of X, let the set of morphisms from x to y be G. Composition of morphisms is the group operation of G. If the groupoid is not connected, then it is isomorphic to a disjoint union of groupoids of the above type (possibly with different groups G for each connected component). Thus any groupoid may be given (up to isomorphism) by a set of ordered pairs (X,G).
Note that the isomorphism described above is not unique, and there is no natural choice. Choosing such an isomorphism for a connected groupoid essentially amounts to picking one object x0, a group isomorphism h from G(x0) to G, and for each x other than x0, a morphism in G from x0 to x.
In category-theoretic terms, each connected component of a groupoid is equivalent (but not isomorphic) to a groupoid with a single object, that is, a single group. Thus any groupoid is equivalent to a multiset of unrelated groups. In other words, for equivalence instead of isomorphism, one need not specify the sets X, only the groups G.
Consider the examples in the previous section. The general linear groupoid is both equivalent and isomorphic to the disjoint union of the various general linear groups GLn(F). On the other hand:
- The fundamental groupoid of X is equivalent to the collection of the fundamental groups of each path-connected component of X, but an isomorphism requires specifying the set of points in each component;
- The set X with the equivalence relation is equivalent (as a groupoid) to one copy of the trivial group for each equivalence class, but an isomorphism requires specifying what each equivalence class is:
- The set X equipped with an action of the group G is equivalent (as a groupoid) to one copy of G for each orbit of the action, but an isomorphism requires specifying what set each orbit is.
The collapse of a groupoid into a mere collection of groups loses some information, even from a category-theoretic point of view, because it is not natural. Thus when groupoids arise in terms of other structures, as in the above examples, it can be helpful to maintain the full groupoid. Otherwise, one must choose a way to view each G(x) in terms of a single group, and this choice can be arbitrary. In our example from topology, you would have to make a coherent choice of paths (or equivalence classes of paths) from each point p to each point q in the same path-connected component.
As a more illuminating example, the classification of groupoids with one endomorphism does not reduce to purely group theoretic considerations. This is analogous to the fact that the classification of vector spaces with one endomorphism is nontrivial.
Morphisms of groupoids come in more kinds than those of groups: we have, for example, fibrations, covering morphisms, universal morphisms, and quotient morphisms. Thus a subgroup H of a group G yields an action of G on the set of cosets of H in G and hence a covering morphism p from, say, K to G, where K is a groupoid with vertex groups isomorphic to H. In this way, presentations of the group G can be "lifted" to presentations of the groupoid K, and this is a useful way of obtaining information about presentations of the subgroup H. For further information, see the books by Higgins and by Brown in the References.
Another useful fact is that the category of groupoids, unlike that of groups, is cartesian closed.
Read more about this topic: Groupoid
Famous quotes containing the words relation to, relation and/or groups:
“The adolescent does not develop her identity and individuality by moving outside her family. She is not triggered by some magic unconscious dynamic whereby she rejects her family in favour of her peers or of a larger society.... She continues to develop in relation to her parents. Her mother continues to have more influence over her than either her father or her friends.”
—Terri Apter (20th century)
“Any relation to the land, the habit of tilling it, or mining it, or even hunting on it, generates the feeling of patriotism. He who keeps shop on it, or he who merely uses it as a support to his desk and ledger, or to his manufactory, values it less.”
—Ralph Waldo Emerson (18031882)
“Writers and politicians are natural rivals. Both groups try to make the world in their own images; they fight for the same territory.”
—Salman Rushdie (b. 1947)