ExpAlgInterfaces with ZZ_p as group