Definition
If are two abelian groups, a bilinear map is anticommutative if for all we have
More generally, a multilinear map is anticommutative if for all we have
where is the sign of the permutation .
In mathematics, anticommutativity is a specific property of some non-commutative mathematical operations. Swapping the position of two arguments of an antisymmetric operation yields a result which is the inverse of the result with unswapped arguments. The notion inverse refers to a group structure on the operation's codomain, possibly with another operation. Subtraction is an anticommutative operation because commuting the operands of a − b gives b − a = −(a − b); for example, 2 − 10 = −(10 − 2) = −8. Another prominent example of an anticommutative operation is the Lie bracket.
In mathematical physics, where symmetry is of central importance, or even just in multilinear algebra these operations are mostly (multilinear with respect to some vector structures and then) called antisymmetric operations, and when they are not already of arity greater than two, extended in an associative setting to cover more than two arguments.
If are two abelian groups, a bilinear map is anticommutative if for all we have
More generally, a multilinear map is anticommutative if for all we have
where is the sign of the permutation .
If the abelian group has no 2-torsion, implying that if then , then any anticommutative bilinear map satisfies
More generally, by transposing two elements, any anticommutative multilinear map satisfies
if any of the are equal; such a map is said to be alternating . Conversely, using multilinearity, any alternating map is anticommutative. In the binary case this works as follows: if is alternating then by bilinearity we have
and the proof in the multilinear case is the same but in only two of the inputs.
Examples of anticommutative binary operations include:
In mathematics, an associative algebraA over a commutative ring K is a ring A together with a ring homomorphism from K into the center of A. This is thus an algebraic structure with an addition, a multiplication, and a scalar multiplication. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a module or vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over K. A standard first example of a K-algebra is a ring of square matrices over a commutative ring K, with the usual matrix multiplication.
In mathematics, the determinant is a scalar-valued function of the entries of a square matrix. The determinant of a matrix A is commonly denoted det(A), det A, or |A|. Its value characterizes some properties of the matrix and the linear map represented, on a given basis, by the matrix. In particular, the determinant is nonzero if and only if the matrix is invertible and the corresponding linear map is an isomorphism.
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type. The word homomorphism comes from the Ancient Greek language: ὁμός meaning "same" and μορφή meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).
In mathematics, a Lie algebra is a vector space together with an operation called the Lie bracket, an alternating bilinear map , that satisfies the Jacobi identity. In other words, a Lie algebra is an algebra over a field for which the multiplication operation is alternating and satisfies the Jacobi identity. The Lie bracket of two vectors and is denoted . A Lie algebra is typically a non-associative algebra. However, every associative algebra gives rise to a Lie algebra, consisting of the same vector space with the commutator Lie bracket, .
In mathematics, the tensor product of two vector spaces V and W is a vector space to which is associated a bilinear map that maps a pair to an element of denoted .
In mathematics, the unitary group of degree n, denoted U(n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(n, C), and it has as a subgroup the special unitary group, consisting of those unitary matrices with determinant 1.
In mathematics, the exterior algebra or Grassmann algebra of a vector space is an associative algebra that contains which has a product, called exterior product or wedge product and denoted with , such that for every vector in The exterior algebra is named after Hermann Grassmann, and the names of the product come from the "wedge" symbol and the fact that the product of two elements of is "outside"
In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a ‑grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry.
In abstract algebra and multilinear algebra, a multilinear form on a vector space over a field is a map
In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree p and q to form a composite cocycle of degree p + q. This defines an associative (and distributive) graded commutative product operation in cohomology, turning the cohomology of a space X into a graded ring, H∗(X), called the cohomology ring. The cup product was introduced in work of J. W. Alexander, Eduard Čech and Hassler Whitney from 1935–1938, and, in full generality, by Samuel Eilenberg in 1944.
In mathematics, a sesquilinear form is a generalization of a bilinear form that, in turn, is a generalization of the concept of the dot product of Euclidean space. A bilinear form is linear in each of its arguments, but a sesquilinear form allows one of the arguments to be "twisted" in a semilinear manner, thus the name; which originates from the Latin numerical prefix sesqui- meaning "one and a half". The basic concept of the dot product – producing a scalar from a pair of vectors – can be generalized by allowing a broader range of scalar values and, perhaps simultaneously, by widening the definition of a vector.
When studying and formulating Albert Einstein's theory of general relativity, various mathematical structures and techniques are utilized. The main tools used in this geometrical theory of gravitation are tensor fields defined on a Lorentzian manifold representing spacetime. This article is a general description of the mathematics of general relativity.
In differential geometry, a Lie-algebra-valued form is a differential form with values in a Lie algebra. Such forms have important applications in the theory of connections on a principal bundle as well as in the theory of Cartan connections.
In mathematics, the algebraic bracket or Nijenhuis–Richardson bracket is a graded Lie algebra structure on the space of alternating multilinear forms of a vector space to itself, introduced by A. Nijenhuis and R. W. Richardson, Jr. It is related to but not the same as the Frölicher–Nijenhuis bracket and the Schouten–Nijenhuis bracket.
In algebra, the Leibniz formula, named in honor of Gottfried Leibniz, expresses the determinant of a square matrix in terms of permutations of the matrix elements. If is an matrix, where is the entry in the -th row and -th column of , the formula is
A non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative. That is, an algebraic structure A is a non-associative algebra over a field K if it is a vector space over K and is equipped with a K-bilinear binary multiplication operation A × A → A which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary. For example, the expressions (ab)(cd), (a(bc))d and a(b(cd)) may all yield different answers.
In mathematics, more specifically in multilinear algebra, an alternating multilinear map is a multilinear map with all arguments belonging to the same vector space that is zero whenever any pair of its arguments is equal. This generalizes directly to a module over a commutative ring.
In ring theory, a branch of mathematics, a ring R is a polynomial identity ring if there is, for some N > 0, an element P ≠ 0 of the free algebra, Z⟨X1, X2, ..., XN⟩, over the ring of integers in N variables X1, X2, ..., XN such that
In mathematics, the term "graded" has a number of meanings, mostly related:
In mathematics, in particular abstract algebra and topology, a homotopy Lie algebra is a generalisation of the concept of a differential graded Lie algebra. To be a little more specific, the Jacobi identity only holds up to homotopy. Therefore, a differential graded Lie algebra can be seen as a homotopy Lie algebra where the Jacobi identity holds on the nose. These homotopy algebras are useful in classifying deformation problems over characteristic 0 in deformation theory because deformation functors are classified by quasi-isomorphism classes of -algebras. This was later extended to all characteristics by Jonathan Pridham.
