Identity element for multiplication There exists an integer \(1\) such that \(1\ne0\) and whenever \(m\in \mathbb{Z}\), $$ m\cdot 1=m $$