# Jordan implies powers up to the fifth are well-defined

This article gives the statement and possibly, proof, of an implication relation between two magma properties. That is, it states that every magma satisfying the first magma property (i.e., Jordan magma) must also satisfy the second magma property (i.e., magma in which powers up to the fifth are well-defined)

View all magma property implications | View all magma property non-implications

Get more facts about Jordan magma|Get more facts about magma in which powers up to the fifth are well-defined

## Contents

## Statement

Suppose is a Jordan magma, i.e., it is a commutative magma satisfying the following identity:

Then cubes, fourth powers, and fifth powers are well-defined in . In other words, we have the following for all :

This quantity is denoted by . Note that we will henceforth abbreviate as .

This quantity is denoted by .

This quantity is denoted by .

## Related facts

### Related facts for non-associative rings

- Jordan implies power-associative: When we are dealing with non-associative rings instead of magmas, the condition of being a Jordan ring is strong enough to guarantee being a power-associative ring, which means that all powers (including sixth and higher powers) are well-defined.

## Proof

Since is commutative, some of the equalities are direct. We do the proof in three stages.

### The cube is well-defined

**To prove**: .

**Proof**: This follows from the fact that since the magma is commutative, and commute.

### The fourth power is well-defined

**To prove**: <math! x * x^3 = x^2 * x^2 = x^3 * x</math>.

**Proof**: Since the magma is commutative, we have . It thus suffices to show the equality .

To do this, we write:

In an intermediate step, we used Jordan's identity, setting .

### The fifth power is well-defined

**To prove**: .

**Proof**: Since the magma is commutative, we obtain and . It thus suffices to show that .

To do this, we write:

In an intermediate step, we used Jordan's identity, setting .