Elementary abelian group of prime-square order

Definition
Let $$p$$ be a prime number. We define the group $$E_{p^2}$$ as the elementary abelian group whose order is $$p^2$$. We define it as the external direct product of two copies of the group of prime order $$\mathbb{Z}/p\mathbb{Z}$$.