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
Index (see Index) in such a case.
Previous Up Top Next