answered 11 years ago
Hello,
I fear, creating finite multiplicative groups over Zp is not possible yet.
You could create an isomorphic one , e.g. for p = 7:
AbelianGroup([7])
but that is probably not what you want...