# 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 …')

## Definition

Suppose is a magma, i.e., is a set and is a binary operation on . Then, an element is termed a **square element** or **square** if there exists such that .

Note that 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.