Let $k$ be a field, and define $k^\times := k \setminus \{0_k\}$. Then $k^\times$ is an abelian group under the multiplication inherited from $k$. Its identity element is $1_k$, and the inverse of an element $a \in k^\times$ is its field inverse $a^{-1}$.