25.6 Elements for Ag Groups

AgGroupOps.Elements( G )

Let G be an ag group with canonical generating system (g_1, ..., g_n) where the relative order of g_i is o_i. Then { g_1^{e_1} ... g_n^{e_n} ; 0 leq e_i < o_i } is the set of elements of G.

Previous Up Top Next
Index