Difference between revisions of "Jordan magma"

From Groupprops
Jump to: navigation, search
(Created page with '{{magma property}} ==Definition== A magma <math>(S,*)</math> is termed a ''''Jordan magma''' if it satisfies the following two conditions: # Commutativity: <math>\! x * y …')
 
Line 3: Line 3:
 
==Definition==
 
==Definition==
  
A [[magma]] <math>(S,*)</math> is termed a ''''Jordan magma''' if it satisfies the following two conditions:
+
A [[magma]] <math>(S,*)</math> is termed a '''Jordan magma''' if it satisfies the following two conditions:
  
 
# Commutativity: <math>\! x * y = y * x \ \forall \ x,y \in S</math>.
 
# Commutativity: <math>\! x * y = y * x \ \forall \ x,y \in S</math>.

Revision as of 00:46, 4 March 2010

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)).

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
Power-associative magma powers are well-defined Jordan implies power-associative |FULL LIST, MORE INFO