Normal closure (group theory)In group theory, the normal closure of a subset of a group is the smallest normal subgroup of containing Formally, if is a group and is a subset of the normal closure of is the intersection of all normal subgroups of containing : The normal closure is the smallest normal subgroup of containing in the sense that is a subset of every normal subgroup of that contains The subgroup is generated by the set of all conjugates of elements of in Therefore one can also write Any normal subgroup is equal to its normal
Trivial groupIn mathematics, a trivial group or zero group is a group consisting of a single element. All such groups are isomorphic, so one often speaks of the trivial group. The single element of the trivial group is the identity element and so it is usually denoted as such: or depending on the context. If the group operation is denoted then it is defined by The similarly defined is also a group since its only element is its own inverse, and is hence the same as the trivial group.
CokernelThe cokernel of a linear mapping of vector spaces f : X → Y is the quotient space Y / im(f) of the codomain of f by the image of f. The dimension of the cokernel is called the corank of f. Cokernels are to the , hence the name: the kernel is a subobject of the domain (it maps to the domain), while the cokernel is a quotient object of the codomain (it maps from the codomain).
SubobjectIn , a branch of mathematics, a subobject is, roughly speaking, an that sits inside another object in the same . The notion is a generalization of concepts such as subsets from set theory, subgroups from group theory, and subspaces from topology. Since the detailed structure of objects is immaterial in category theory, the definition of subobject relies on a morphism that describes how one object sits inside another, rather than relying on the use of elements. The concept to a subobject is a .
Forgetful functorIn mathematics, in the area of , a forgetful functor (also known as a stripping functor) 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure.
EpimorphismIn , an epimorphism (also called an epic morphism or, colloquially, an epi) is a morphism f : X → Y that is right-cancellative in the sense that, for all objects Z and all morphisms , Epimorphisms are categorical analogues of onto or surjective functions (and in the the concept corresponds exactly to the surjective functions), but they may not exactly coincide in all contexts; for example, the inclusion is a ring epimorphism. The of an epimorphism is a monomorphism (i.e. an epimorphism in a C is a monomorphism in the Cop).
Category of abelian groupsIn mathematics, the Ab has the abelian groups as and group homomorphisms as morphisms. This is the prototype of an : indeed, every can be embedded in Ab. The zero object of Ab is the trivial group {0} which consists only of its neutral element. The monomorphisms in Ab are the injective group homomorphisms, the epimorphisms are the surjective group homomorphisms, and the isomorphisms are the bijective group homomorphisms. Ab is a of Grp, the .
Kernel (category theory)In and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms, the kernels of module homomorphisms and certain other kernels from algebra. Intuitively, the kernel of the morphism f : X → Y is the "most general" morphism k : K → X that yields zero when composed with (followed by) f. Note that kernel pairs and difference kernels (also known as binary equalisers) sometimes go by the name "kernel"; while related, these aren't quite the same thing and are not discussed in this article.
Complete categoryIn mathematics, a complete category is a in which all small s exist. That is, a category C is complete if every F : J → C (where J is ) has a limit in C. , a cocomplete category is one in which all small colimits exist. A bicomplete category is a category which is both complete and cocomplete. The existence of all limits (even when J is a proper class) is too strong to be practically relevant. Any category with this property is necessarily a : for any two objects there can be at most one morphism from one object to the other.
Zero morphismIn , a branch of mathematics, a zero morphism is a special kind of morphism exhibiting properties like the morphisms to and from a zero object. Suppose C is a , and f : X → Y is a morphism in C. The morphism f is called a constant morphism (or sometimes left zero morphism) if for any W in C and any g, h : W → X, fg = fh. Dually, f is called a coconstant morphism (or sometimes right zero morphism) if for any object Z in C and any g, h : Y → Z, gf = hf. A zero morphism is one that is both a constant morphism and a coconstant morphism.
