On Z/3Z(a,b,c,d)
> FROBENIUS(A,3); The prime integer 3 as an additional argument says to MAPLE working on Z/3Z
Asking for the change basis matrix
Testing the output