Group object

Group object

In category theory, a branch of mathematics, group objects are certain generalizations of groups which are built on more complicated structures than sets. A typical example of a group object is a topological group, a group whose underlying set is a topological space such that the group operations are continuous.

Contents

Definition

Formally, we start with a category C with finite products (i.e. C has a terminal object 1 and any two objects of C have a product). A group object in C is an object G of C together with morphisms

  • m : G × GG (thought of as the "group multiplication")
  • e : 1 → G (thought of as the "inclusion of the identity element")
  • inv: GG (thought of as the "inversion operation")

such that the following properties (modeled on the group axioms) are satisfied

  • m is associative, i.e. m(m × idG) = m (idG × m) as morphisms G × G × GG; here we identify G × (G × G) in a canonical manner with (G × G) × G.
  • e is a two-sided unit of m, i.e. m (idG × e) = p1, where p1 : G × 1 → G is the canonical projection, and m (e × idG) = p2, where p2 : 1 × GG is the canonical projection
  • inv is a two-sided inverse for m, i.e. if d : GG × G is the diagonal map, and eG : GG is the composition of the unique morphism G → 1 (also called the counit) with e, then m (idG × inv) d = eG and m (inv × idG) d = eG.

Another way to state the above is to say G is a group object in a category C if for every object X in C, there is a group structure on the morphisms hom(X, G) from X to G such that the association of X to hom(X, G) is a covariant functor (from C to the category of groups).

Examples

  • A group can be viewed as a group object in the category of sets. The map m is the group operation, the map e (whose domain is a singleton) picks out the identity element of the group, and the map inv assigns to every group element its inverse. eG : GG is the map that sends every element of G to the identity element.
  • A topological group is a group object in the category of topological spaces with continuous functions.
  • A Lie group is a group object in the category of smooth manifolds with smooth maps.
  • A Lie supergroup is a group object in the category of supermanifolds.
  • An algebraic group is a group object in the category of algebraic varieties. In modern algebraic geometry, one considers the more general group schemes, group objects in the category of schemes.
  • A localic group is a group object in the category of locales.
  • The group objects in the category of groups (or monoids) are essentially the Abelian groups. The reason for this is that, if inv is assumed to be a homomorphism, then G must be abelian. More precisely: if A is an abelian group and we denote by m the group multiplication of A, by e the inclusion of the identity element, and by inv the inversion operation on A, then (A,m,e,inv) is a group object in the category of groups (or monoids). Conversely, if (A,m,e,inv) is a group object in one of those categories, then m necessarily coincides with the given operation on A, e is the inclusion of the given identity element on A, inv is the inversion operation and A with the given operation is an abelian group. See also Eckmann-Hilton argument.
  • Given a category C with finite coproducts, a cogroup object is an object G of C together with a "comultiplication" m: GG \oplus G, a "coidentity" e: G → 0, and a "coinversion" inv: GG, which satisfy the dual versions of the axioms for group objects. Here 0 is the initial object of C. Cogroup objects occur naturally in algebraic topology.

Group theory generalized

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.[citation needed] 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 straightforward manner.[citation needed]

See also

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Group object —    In Novell NetWare Directory Services (NDS), an object that contains a list of user object names.    See also leaf object; NetWare Directory Services …   Dictionary of networking

  • Group theory — is a mathematical discipline, the part of abstract algebra that studies the algebraic structures known as groups. The development of group theory sprang from three main sources: number theory, theory of algebraic equations, and geometry. The… …   Wikipedia

  • Object Definition Language — Object Database Management Group (kurz ODMG) ist ein Zusammenschluss von Herstellern objektorientierter Datenbanksysteme zur Entwicklung gemeinsamer Normen und Standards. Die ODMG hat nach der Veröffentlichung der Release 3.0 die Arbeit… …   Deutsch Wikipedia

  • Object — may refer to: Object (philosophy), a thing, being or concept Entity, something that is tangible and within the grasp of the senses As used in object relations theories of psychoanalysis, that to which a subject relates. Object (grammar), a… …   Wikipedia

  • Object Query Language — (OQL) is a query language standard for object oriented databases modeled after SQL. OQL was developed by the Object Data Management Group (ODMG). Because of its overall complexity no vendor has ever fully implemented the complete OQL. OQL has… …   Wikipedia

  • Group — can refer to: Sociology * Group action (sociology) * Group behaviour * Groups of people, a description of various different human groups ** Peer group ** Workgroup * Group dynamics * Group (sociology), a sub set of a culture or of a society *… …   Wikipedia

  • Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …   Wikipedia

  • Object Broker — Ein Objekt Broker ist eine objektorientierte Form von Middleware, nämlich ein RPC basiertes System mit Bezug zur objektorientierten Programmierung. Der traditionelle RPC wurde zu einer Zeit entwickelt, als noch imperative Programmiersprachen… …   Deutsch Wikipedia

  • Group scheme — In mathematics, a group scheme is a group object in the category of schemes. That is, it is a scheme G with the equivalent properties* there is a group law expressible as a multiplication μ and inversion map ι on G ; or * G is a functor (as in… …   Wikipedia

  • Object Management Group — Formation 1989 Headquarters Needham, Massachusetts Website …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”