Let ##e_1, e_2## denote the identities of ##A(p)## and ##A'## respectively.
If ##(a_1, a_2) \in A##, ##(a_1, a_2) = (e_1, e_2)## iff ##a_1 = e_1## and ##a_2 = e_2##.
Suppose ##(a_1, a_2)## has order ##p^k## for some ##k > 0##. Then it must be that
##a_1^{p^k} = e_1## and ##a_2^{p^k} =...