>>893
> pを素数、Zp={1,2,‥‥,p-1}、*をZp上の通常の乗算とする。
> a∈Zp に対し、Zpの元のp-1項組 (1*a,2*a,3*a,‥‥,(p-1)*a) を
> (1,2,‥‥,p-1) の置換σ_aとみなしたとき

σ_a＊σ_b=σ_(a*b ) 　　（左辺は置換の積）

が成立するか？ってことです。