Square element

From Groupprops
Revision as of 21:52, 8 March 2010 by Vipul (talk | contribs) (Created page with '==Definition== Suppose <math>(S,*)</math> is a magma, i.e., <math>S</math> is a set and <math>*</math> is a binary operation on <math>S</math>. Then, an element <math>x …')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

Suppose (S,*) is a magma, i.e., S is a set and * is a binary operation on S. Then, an element x \in S is termed a square element or square if there exists y \in S such that x = y * y.

Note that S may be a group or semigroup, which is the typical context of use; however, the notion of square element makes sense even for non-associative binary operations.