PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: Very high
flexible algebra (Definition)

A non-associative algebra $ A$ is flexible if $ [\ a,b,a\ ]=0$ for all $ a,b\in A$, where $ [\ , , ]$ is the associator on $ A$. In other words, we have $ (ab)a=a(ba)$ for all $ a,b\in A$. Any associative algebra is clearly flexible. Furthermore, any alternative algebra with characteristic $ \neq 2$ is flexible.

Given an element $ a$ in a flexible algebra $ A$, define the left power of $ a$ iteratively as follows:

  1. $ L^1(a)=a$,
  2. $ L^n(a)=a\cdot L^{n-1}(a)$.
Similarly, we can define the right power of $ a$ as:
  1. $ R^1(a)=a$,
  2. $ R^n(a)=R^{n-1}(a)\cdot a$.
Then, we can show that $ L^{n}(a)=R^{n}(a)$ for all positive integers $ n$. As a result, in a flexible algebra, one can define the (multiplicative) power of an element $ a$ as $ a^n$ unambiguously.



"flexible algebra" is owned by CWoo.
(view preamble | get metadata)

View style:

See Also: associator, alternative algebra

Also defines:  left power, right power, flexible
Log in to rate this entry.
(view current ratings)

Cross-references: power, multiplicative, integers, positive, characteristic, alternative algebra, algebra, associative, associator, non-associative algebra
There are 11 references to this entry.

This is version 8 of flexible algebra, born on 2004-10-10, modified 2008-10-07.
Object id is 6351, canonical name is FlexibleAlgebra.
Accessed 2456 times total.

Classification:
AMS MSC17A20 (Nonassociative rings and algebras :: General nonassociative rings :: Flexible algebras)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)