Next: Matrix Groups
Up: Groups
Previous: Classical Groups
Finitely Presented Groups
New Features:
- Given a 2
-generator finitely presented group G
, the version of the
Plesken-Fabianska algorithm developed by Sebastin Jambor simultaneously
computes all quotients of G
which are isomorphic to some
PSL(2, q)
,
for any prime power q
.
- The intrinsic L2Quotients(G) returns a list of prime ideals of
Z[x1, x2, x12]
which contains all information about the
L2
-quotients.
- The intrinsic L2Type(P) applied to any prime ideal P
in
Z[x1, x2, x12]
, returns a string describing the type of
L2
-quotient encoded by the ideal.
- The intrinsics L2Generators(P) and L2Ideals(I) return further
information about the ideals returned by L2Quotients.
Next: Matrix Groups
Up: Groups
Previous: Classical Groups