Multiplicative Identity Property

The Identity property for Multiplication specifically.

$$\exists I\text{ s.t. }\forall A\in S,IA=AI=A$$ $$\text{Let }I=1\forall A\in S,1\cdot A=A\cdot 1=A$$