25.8 Size for Ag Groups

AgGroupOps.Size( G )

Let G be an ag group with induced generating system (g_1, ..., g_n) where the relative order of g_i is o_i. Then the size of G is o_1 * ... * o_n.

AgGroupOps.Size allows a factor argument (see FactorArg) for G. It uses Index (see Index) in such a case.

Previous Up Top Next
Index