Alternating multilinear map

In mathematics, more specifically in multilinear algebra, an alternating multilinear map is a multilinear map with all arguments belonging to the same vector space (for example, a bilinear form or a multilinear form) that is zero whenever any pair of arguments is equal. More generally, the vector space may be a module over a commutative ring. The notion of alternatization (or alternatisation) is used to derive an alternating multilinear map from any multilinear map with all arguments belonging to the same space. Let be a commutative ring and be modules over . A multilinear map of the form is said to be alternating if it satisfies the following equivalent conditions: whenever there exists such that then whenever there exists such that then Let be vector spaces over the same field. Then a multilinear map of the form is alternating iff it satisfies the following condition: if are linearly dependent then . In a Lie algebra, the Lie bracket is an alternating bilinear map. The determinant of a matrix is a multilinear alternating map of the rows or columns of the matrix. If any component of an alternating multilinear map is replaced by for any and in the base ring then the value of that map is not changed. Every alternating multilinear map is antisymmetric, meaning that or equivalently, where denotes the permutation group of order and is the sign of If is a unit in the base ring then every antisymmetric -multilinear form is alternating. Given a multilinear map of the form the alternating multilinear map defined by is said to be the alternatization of Properties The alternatization of an n-multilinear alternating map is n! times itself. The alternatization of a symmetric map is zero. The alternatization of a bilinear map is bilinear. Most notably, the alternatization of any cocycle is bilinear. This fact plays a crucial role in identifying the second cohomology group of a lattice with the group of alternating bilinear forms on a lattice.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (5)

Related courses (1)

Related lectures (9)

Alternating multilinear map

Multilinear form

In abstract algebra and multilinear algebra, a multilinear form on a vector space over a field is a map that is separately -linear in each of its arguments. More generally, one can define multilinear forms on a module over a commutative ring. The rest of this article, however, will only consider multilinear forms on finite-dimensional vector spaces. A multilinear -form on over is called a (covariant) -tensor, and the vector space of such forms is usually denoted or .

Exterior algebra

In mathematics, the exterior algebra, or Grassmann algebra, named after Hermann Grassmann, is an algebra that uses the exterior product or wedge product as its multiplication. In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogues. The exterior product of two vectors and , denoted by is called a bivector and lives in a space called the exterior square, a vector space that is distinct from the original space of vectors.

MATH-110(a): Advanced linear algebra I

L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et de démontrer rigoureusement les résultats principaux de ce sujet.

Determinants: Theory and Applications

Covers the theory of determinants and their applications in linear algebra.

Linear Algebra: Multilinear Groin and Determinants

Explores multilinear groin and determinants, including the Sarrus rule and proof by induction.

Determinants: Properties and Applications

Explores the properties and applications of determinants in linear algebra.