Alternativity: Difference between revisions

Content deleted Content added

Inline

Revision as of 00:41, 19 September 2006

In abstract algebra, a magma G is said to be left alternative if (xx)y=x(xy) for all x and y in G and right alternative if y(xx)=(yx)x for all x and y in G. A magma that is both left and right alternative is said to be alternative.

Any associative magma (semigroup) is clearly alternative. More generally, a magma in which every pair of elements generates an associative submagma must be alternative. The converse, however, is not true, in contrast to the situation in alternative algebras. In fact, an alternative magma need not even be power-associative.

Revision as of 14:20, 27 May 2006 edit Jörg Knappen~enwiki (talk \| contribs) 112 edits de: ← Previous edit		Revision as of 00:41, 19 September 2006 edit undo Without a trace (talk \| contribs) 8 edits No edit summary Next edit →
Line 1:		Line 1:
	In [[abstract algebra]], a [[magma (algebra)\|magma]] ''G'' is said to be '''left alternative''' if (''xx'')''y''=''x''(''xy'') for all ''x'' and ''y'' in ''G'' and '''right alternative''' if ''y''(''xx'')=(''yx'')''x'' for all ''x'' and ''y'' in ''G''. A magma that is both left and right alternative is said to be '''alternative'''.		In [[Cornholio\|abstract algebra]], a [[magma (algebra)\|magma]] ''G'' is said to be '''left alternative''' if (''xx'')''y''=''x''(''xy'') for all ''x'' and ''y'' in ''G'' and '''right alternative''' if ''y''(''xx'')=(''yx'')''x'' for all ''x'' and ''y'' in ''G''. A magma that is both left and right alternative is said to be '''alternative'''.

	Any [[associativity\|associative]] magma ([[semigroup]]) is clearly alternative. More generally, a magma in which every pair of elements generates an associative submagma must be alternative. The converse, however, is not true, in contrast to the situation in [[alternative algebra]]s. In fact, an alternative magma need not even be [[power-associative]].		Any [[associativity\|associative]] magma ([[semigroup]]) is clearly alternative. More generally, a magma in which every pair of elements generates an associative submagma must be alternative. The converse, however, is not true, in contrast to the situation in [[alternative algebra]]s. In fact, an alternative magma need not even be [[power-associative]].