## You are here

Homeleft identity and right identity

## Primary tabs

# left identity and right identity

Let $G$ be a groupoid. An element $e\in G$ is called a *left identity element* if $ex=x$ for all $x\in G$. Similarly, $e$ is a *right identity element* if $xe=x$ for all $x\in G$.

An element which is both a left and a right identity is an identity element.

A groupoid may have more than one left identify element: in fact the operation defined by $xy=y$ for all $x,y\in G$ defines a groupoid (in fact, a semigroup) on any set $G$, and every element is a left identity.

But as soon as a groupoid has both a left and a right identity, they are necessarily unique and equal. For if $e$ is a left identity and $f$ is a right identity, then $f=ef=e$.

Defines:

left identity, right identity

Related:

IdentityElement, Unity

Type of Math Object:

Definition

Major Section:

Reference

## Mathematics Subject Classification

20N02*no label found*20M99

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections