Editing Group (mathematics) (section)

=== Equivalent definition with relaxed axioms ===
The group axioms for identity and inverses may be "weakened" to assert only the existence of a [[left identity]] and [[left inverse element|left inverse]]s. From these ''one-sided axioms'', one can prove that the left identity is also a right identity and a left inverse is also a right inverse for the same element. Since they define exactly the same structures as groups, collectively the axioms are not weaker.{{sfn|Lang|2002|loc=§I.2|p=7}}

In particular, assuming associativity and the existence of a left identity <math>e</math> (that is, {{tmath|1= e\cdot f=f }}) and a left inverse <math>f^{-1}</math> for each element <math>f</math> (that is, {{tmath|1= f^{-1}\cdot f=e }}), it follows that every left inverse is also a right inverse of the same element as follows.{{sfn|Lang|2002|loc=§I.2|p=7}}
Indeed, one has
: <math>\begin{align}
f \cdot f^{-1}
  &=e \cdot (f \cdot f^{-1}) 
       && \text{(left identity)}\\
  &=((f^{-1})^{-1} \cdot f^{-1}) \cdot (f \cdot f^{-1})
       && \text{(left inverse)}\\
  &=(f^{-1})^{-1} \cdot ((f^{-1} \cdot f) \cdot f^{-1})
       && \text{(associativity)}\\
  &=(f^{-1})^{-1} \cdot (e \cdot f^{-1})
       && \text{(left inverse)}\\
  &=(f^{-1})^{-1} \cdot f^{-1}
       && \text{(left identity)}\\
  &=e
       && \text{(left inverse)}
\end{align}</math>

Similarly, the left identity is also a right identity:{{sfn|Lang|2002|loc=§I.2|p=7}}
: <math>\begin{align}
f\cdot e 
  &= f \cdot ( f^{-1} \cdot f)
       && \text{(left inverse)}\\
  &= (f \cdot  f^{-1}) \cdot f
       && \text{(associativity)}\\
  &= e \cdot f
       && \text{(right inverse)}\\
  &= f
       && \text{(left identity)}
\end{align}</math>

These results do not hold if any of these axioms (associativity, existence of left identity and existence of left inverse) is removed. For a structure with a looser definition (like a [[semigroup]]) one may have, for example, that a left identity is not necessarily a right identity.

The same result can be obtained by only assuming the existence of a right identity and a right inverse.

However, only assuming the existence of a ''left'' identity and a ''right'' inverse (or vice versa) is not sufficient to define a group. For example, consider the set <math>G = \{ e,f \}</math> with the operator <math>\cdot</math> satisfying <math>e \cdot e = f \cdot e = e</math> and {{tmath|1= e \cdot f = f \cdot f = f }}. This structure does have a left identity (namely, {{tmath|1= e }}), and each element has a right inverse (which is <math>e</math> for both elements). Furthermore, this operation is associative (since the product of any number of elements is always equal to the rightmost element in that product, regardless of the order in which these operations are applied). However, <math>( G , \cdot )</math> is not a group, since it lacks a right identity.