# Anticommutativity

﻿
Anticommutativity

In mathematics, anticommutativity refers to the property of an operation being anticommutative, i.e. being non commutative in a precise way. Anticommutative operations are widely used in algebra, geometry, mathematical analysis and, as a consequence in physics: they are often called antisymmetric operations.

Definition

An $n$-ary operation is anticommutative if swapping the order of any two arguments negates the result. For example, a binary operation * is anticommutative if for all x and y, x*y = −y*x.

More formally, a map $scriptstyle *:A^n longrightarrow mathfrak\left\{G\right\}$ from the set of all "n"-tuples of elements in a set "$A$" (where "$n$" is a general integer) to a group $scriptstylemathfrak\left\{G\right\}$ (whose operation is written in additive notation for the sake of simplicity), is anticommutative if and only if

:

where $scriptstylesigma:\left(n\right)longrightarrow\left(n\right)$ is an arbitrary permutation of the set $\left(n\right)$ of first "$n$" non-zero integers and $mathrm\left\{sgn\right\}\left(sigma\right)$ is its sign. This equality express the following concept
* the value of the operation is unchanged, when applied to all ordered tuples constructed by even permutation of the elements of a fixed one.
* the value of the operation is the inverse of its value on a fixed tuple, when applied to all ordered tuples constructed by odd permutation to the elements of the fixed one. The need for the existence of this inverse element is the main reason for requiring the codomain $scriptstylemathfrak\left\{G\right\}$ of the operation to be at least a group.

Note that this is an abuse of notation, since the codomain of the operation needs only to be a group: "$-1$" has not a precise meaning since a multiplication is not necessarily defined on $scriptstylemathfrak\left\{G\right\}$.

Particularly important is the case "$n = 2$". A binary operation $scriptstyle *:A imes Alongrightarrow mathfrak\left\{G\right\}$ is anticommutative if and only if

:$x_1 * x_2 = -x_2 * x_1 qquadforall\left(x_1,x_2\right)in A imes A$

This means that $scriptstyle x_1 * x_2$ is the inverse of the element $scriptstyle x_2 * x_1$ in $scriptstylemathfrak\left\{G\right\}$.

Properties

If the group $scriptstylemathfrak\left\{G\right\}$ is such that

:$mathfrak\left\{-a\right\} = mathfrak\left\{a\right\} iff mathfrak\left\{a\right\} = mathfrak\left\{0\right\}qquad forall mathfrak\left\{a\right\} in mathfrak\left\{G\right\}$

i.e. "the only element equal to its inverse is the neutral element", then for all the ordered tuples such that $x_j = x_i$ for at least two different index $i,j$

:$x_1*x_2*dots*x_n = mathfrak\left\{0\right\}$

In the case "$n = 2$" this means

:$x_1*x_1 = x_2*x_2 = mathfrak\left\{0\right\}$

Examples

Anticommutative operators include:
* Subtraction
* Cross product
* Lie algebra
* Lie ring

ee also

* Commutativity
* Commutator
* exterior algebra
* Operation (mathematics)
* Symmetry in mathematics
* Particle statistics (for anticommutativity in physics).

References

*Harvrefcol
Surname = Bourbaki
Given = Nicolas
Title = Algebra. Chapters 1-3
Publisher = Springer-Verlag
Place = Berlin, Heidelberg, New York
Year = 1989
Edition = paperback
, ISBN 3-540-64243-9, chapter III, "Tensor algebras, exterior algebras, symmetric algebras".

* Weisstein, Eric W." [http://mathworld.wolfram.com/Anticommutative.html Anticommutative] ". From MathWorld--A Wolfram Web Resource.
* A.T. Gainov, " [http://eom.springer.de/A/a012580.htm Anti-commutative algebra] ", Springer-Verlag Online Encyclopaedia of Mathematics.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• anticommutativity — noun The state of being anticommutative. See Also: commutativity …   Wiktionary

• Commutator — This article is about the mathematical concept. For the relation between canonical conjugate entities, see canonical commutation relation. For the type of electrical switch, see commutator (electric). In mathematics, the commutator gives an… …   Wikipedia

• Lie algebra — In mathematics, a Lie algebra is an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds. Lie algebras were introduced to study the concept of infinitesimal transformations. The term… …   Wikipedia

• Wightman axioms — Quantum field theory (Feynman diagram) …   Wikipedia