Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add method for Socle for finite nilpotent groups #402

Merged
merged 2 commits into from
Jan 21, 2016
Merged

Add method for Socle for finite nilpotent groups #402

merged 2 commits into from
Jan 21, 2016

Commits on Jan 21, 2016

  1. Add method for Socle for finite nilpotent groups 

    This commit adds a method of computing the Socle for finite nilpotent groups,
computing it as the Omega-parts of the Center.
This method is ranked as high as if it were for only finite nilpotent groups,
Therefore this method will run even if the group does not yet know whether
it is a nilpotent group or not. This method forces an IsNilpotent check after
a CanComputeSize and an IsFinite check.

A sidenote: it would be possible to compute the p-parts first, and then
take the center. However, for big permutation groups it is faster to
compute the SylowSystem of the Center of the group, than the other way around.
For polycyclic presentations there does not seem to be any difference, though.
    @hungaborhorvath
    hungaborhorvath committed Jan 21, 2016
    Configuration menu
    Copy the full SHA
    40f424f View commit details
    Browse the repository at this point in the history

  2. Add tst/testinstall/opers/Socle.tst

    @hungaborhorvath
    hungaborhorvath committed Jan 21, 2016
    Configuration menu
    Copy the full SHA
    8c6d6cf View commit details
    Browse the repository at this point in the history