[GAP Forum] Documentation understanding of unary `Subgroup`

[Alexander Hulpke]

The unary version of `Subgroup’ is intended to have a subgroup object that is going to be further specified in the course of an algorithm. E.g. if you do not know how to get generators of a Sylow subgroup, you could still have an object representing one and have this object store e.g. order, nilpotence etc.
There is currently little, if any, functionality that uses this.

Best,

  Alexander Hulpke

-- Colorado State University, Department of Mathematics,
Weber Building, 1874 Campus Delivery, Fort Collins, CO 80523-1874, USA
email: hulpke at math.colostate.edu, Phone: ++1-970-4914288
http://www.math.colostate.edu/~hulpke