Jordan magma

From Groupprops
Jump to: navigation, search
This article defines a property that can be evaluated for a magma, and is invariant under isomorphisms of magmas.
View other such properties

Definition

A magma (S,*) is termed a Jordan magma if it satisfies the following two conditions:

  1. Commutativity: \! x * y = y * x \ \forall \ x,y \in S.
  2. Jordan's identity: \! (x * y) * (x * x) = x * (y * (x * x)) \ \forall x,y \in S.

Relation with other properties

Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Abelian semigroup
Abelian group

Weaker properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Commutative magma any two elements commute (by definition) |FULL LIST, MORE INFO
Flexible magma x * (y * x) = (x * y) * x (via commutativity) Commutative magma|FULL LIST, MORE INFO
Magma in which cubes are well-defined x * (x * x) = (x * x) * x (via commutativity, flexibility) Commutative magma, Magma in which cubes and fourth powers are well-defined, Magma in which powers up to the fifth are well-defined|FULL LIST, MORE INFO
Magma in which cubes and fourth powers are well-defined x^3 well-defined, all parenthesizations of x^4 also equal Magma in which powers up to the fifth are well-defined|FULL LIST, MORE INFO
Magma in which powers up to the fifth are well-defined x^3, x^4, x^5 all well-defined |FULL LIST, MORE INFO