Alternatization

From formulasearchengine
Jump to navigation Jump to search

In mathematics, more specifically in multilinear algebra, the notion of alternatization (or alternatisation in British English) is used to pass from any map to an alternating map.

An alternating map is a multilinear map (e.g., a bilinear map or a multilinear form) that is equal to zero for every tuple with two adjacent elements that are equal.

Definitions

Alternating bilinear map

Let S be a set, A be an abelian group, and be a bilinear map. Then is said to be an alternating bilinear map if

Alternating bilinear form

An alternating bilinear form is a special case of alternating bilinear map. As bilinear forms can be defined as maps between vector spaces or modules, we distinguish two cases.

Vector spaces
Let V be a vector space over a field K, and be a bilinear form. Then is said to be an alternating bilinear form if [1][2]
Modules
Let M be a module over a ring R, and be a bilinear form. Then is said to be an alternating bilinear form if

Alternating multilinear form

An alternating multilinear form generalizes the concept of alternating bilinear form to n dimensions. As multilinear forms can be defined as maps between vector spaces or modules, we distinguish two cases.

Vector spaces
Let V be a vector space over a field K, and be a multilinear form. Then is said to be an alternating multilinear form if
Modules
Let M be a module over a ring R, and be a multilinear form. Then is said to be an alternating multilinear form if [3]

Alternatization of a bilinear map

Let S be a set, A be an abelian group, and be a bilinear map. the alternatization of the map is the map

Example

Properties

.
Proof for a bilinear form
                                   
                                   
                                   


  • If the characteristic of the ring R is not equal to 2, then every antisymmetric multilinear form is alternating.[5]
  • The alternatization of an alternating map is its double.
  • There may be non-bilinear maps whose alternatization is bilinear.

See also

Notes

  1. Rotman 1995, page 235.
  2. Cohn 2003, page 298.
  3. Lang 2002, page 511.
  4. Rotman 1995, page 235.
  5. Rotman 1995, page 235.

References

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

fr:Application multilinéaire#Application alternée