25.19 ElementaryAbelianGroup for Ag Groups

AgWordsOps.ElementaryAbelianGroup( D, n )
AgWordsOps.ElementaryAbelianGroup( D, n, str )

AgWordsOps.ElementaryAbelianGroup returns the elementary abelian group of order n, which must be a prime power.

Let n be a prime power p^r. If no str is given the names of the r generators are m<n>_1, ..., m<n>_r. Otherwise the names of the r generators are <str>1, ..., <str>r, where str must be a string of letters, digits and the special symbol ``_".

If the order n is a prime, the name of the generator is either m<n> or <str>.

    gap> ElementaryAbelianGroup( AgWords, 31 );
    Group( m31 )
    gap> ElementaryAbelianGroup( AgWords, 31^2 );
    Group( m961_1, m961_2 )
    gap> AgWordsOps.ElementaryAbelianGroup( AgWords, 31^2, "e" );
    Group( e1, e2 ) 

Previous Up Top Next
Index