Revision as of 15:20, 7 May 2013 editHyperbaric oxygen (talk | contribs)23 edits seems reasonable to me← Previous edit |
Revision as of 22:00, 7 May 2013 edit undoMathsci (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers66,107 edits blocked sock making trolling remarksNext edit → |
Line 5: |
Line 5: |
|
| historical = |
|
| historical = |
|
}} |
|
}} |
|
|
|
|
==Noncommutative versus Not-necessarily commutative== |
|
|
There is a perpetual problem with terms like non-commutative and non-associative, in that we usually intend to include objects that actually are commutative, associative, or whatever. There's another problem here in that ]s are commutative by definition, so that there is no such thing as a noncommutative Jordan algebra taken literally. |
|
|
|
|
|
I would not expand the introduction beyond all reasonable limits so suggest some wording such as |
|
|
|
|
|
:A noncommutative Jordan algebra is a generalisation of a Jordan algebra in which the condition of commutativity is replaced by a weaker condition. The definition includes Jordan algebras as a special case. |
|
|
|
|
|
That still seems clumsy. Any better suggestions? ] (]) 15:20, 7 May 2013 (UTC) |
|
|
|
|
|
==Defining axioms== |
|
|
The definition in the 1955 paper of Schafer is not the same as that in the article. Schafer begins by defining a noncommutative Jordan algebra as satisfying the Jordan condition (1) |
|
|
:<math> (x^2a)x = x^2(ax) </math> |
|
|
together with the flexible condition (4) |
|
|
:<math> (xa)x = x(ax) </math> |
|
|
Indeed, Schafer notes that this is also the definition of Albert in 1948 (which Albert found unsatisfying!). Some discussion needs to be made about the equivalence of the definitions in the article and in the references: Schafer notes that under the assumption of (4) the condition (1) is equivalent to any of the conditions (5) of the article. ] (]) 15:20, 7 May 2013 (UTC) |
|