65.137 PrimitiveUnityRoot

PrimitiveUnityRoot( F, n )

PrimitiveUnityRoot returns a primitive n'th root of unity in an extension field of F. This is a finite field element a with the property <a>^<n>=1 mod n, and n is the smallest integer such that this equality holds.

    gap> PrimitiveUnityRoot( GF(2), 15 );
    Z(2^4)
    gap> last^15;
    Z(2)^0
    gap> PrimitiveUnityRoot( GF(8), 21 );
    Z(2^6)^3 

Previous Up Top Next
Index

GAP 3.4.4
April 1997