Ext functorIn mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological algebra, in which ideas from algebraic topology are used to define invariants of algebraic structures. The cohomology of groups, Lie algebras, and associative algebras can all be defined in terms of Ext. The name comes from the fact that the first Ext group Ext1 classifies extensions of one module by another. In the special case of abelian groups, Ext was introduced by Reinhold Baer (1934).
Group isomorphismIn abstract algebra, a group isomorphism is a function between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished.
Nerve (category theory)In , a discipline within mathematics, the nerve N(C) of a C is a simplicial set constructed from the objects and morphisms of C. The geometric realization of this simplicial set is a topological space, called the classifying space of the category C. These closely related objects can provide information about some familiar and useful categories using algebraic topology, most often homotopy theory. The nerve of a category is often used to construct topological versions of moduli spaces.
Green's identitiesIn mathematics, Green's identities are a set of three identities in vector calculus relating the bulk with the boundary of a region on which differential operators act. They are named after the mathematician George Green, who discovered Green's theorem. This identity is derived from the divergence theorem applied to the vector field F = ψ ∇φ while using an extension of the product rule that ∇ ⋅ (ψ X ) = ∇ψ ⋅X + ψ ∇⋅X: Let φ and ψ be scalar functions defined on some region U ⊂ Rd, and suppose that φ is twice continuously differentiable, and ψ is once continuously differentiable.
Identity (mathematics)In mathematics, an identity is an equality relating one mathematical expression A to another mathematical expression B, such that A and B (which might contain some variables) produce the same value for all values of the variables within a certain range of validity. In other words, A = B is an identity if A and B define the same functions, and an identity is an equality between functions that are differently defined. For example, and are identities. Identities are sometimes indicated by the triple bar symbol ≡ instead of =, the equals sign.
Vector calculus identitiesThe following are important identities involving derivatives and integrals in vector calculus. Gradient For a function in three-dimensional Cartesian coordinate variables, the gradient is the vector field: where i, j, k are the standard unit vectors for the x, y, z-axes. More generally, for a function of n variables , also called a scalar field, the gradient is the vector field: where are orthogonal unit vectors in arbitrary directions. As the name implies, the gradient is proportional to and points in the direction of the function's most rapid (positive) change.
