Definition:Multiplicative Identity

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\left({F, +, \times}\right)$ be a field.


Then the identity element of the multiplicative group $\left({F^*, \times}\right)$ of $F$ is called the multiplicative identity of $F$.

It is often denoted $e_F$ or $1_F$, or, if there is no danger of ambiguity, $e$ or $1$.


Note that the multiplicative identity of $F$ is the unity of the ring that $\left({F, +, \times}\right)$ is by definition of a field.


Sources