Definition:Anticommutative/Structure with Two Operations

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, +, \circ}$ be an algebraic structure.

Let every element $x$ in $\struct {S, +}$ have an inverse element $-x$.


Then $\circ$ is anticommutative on $S$ with respect to $+$ if and only if:

$\forall x, y \in S: x \circ y = -\paren {y \circ x}$


Also see

  • Results about anticommutativity can be found here.


Sources