A computer algebra solution to a problem in finite groups.

DOI10.4171/RMI/355zbMath1071.20025OpenAlexW2007048379MaRDI QIDQ1884040

Gert-Martin Greuel

Publication date: 25 October 2004

Published in: Revista Matemática Iberoamericana (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/39610

zbMATH Keywords

soluble groupsidentitiesGröbner basesrational pointsalgebraic varietieslawsfinite varietiesHasse-Weil bounds

Mathematics Subject Classification ID

Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Rational points (14G05) Software, source code, etc. for problems pertaining to group theory (20-04) Quasivarieties and varieties of groups (20E10) Commutator calculus (20F12)

Uses Software

• CoCoA
• Macaulay2
• SINGULAR

Cites Work

• Thompson's problem (\(\sigma^2=3\)) With two appendices. I: The numerical verification of Thompson's identity by Andrew Odlyzko: II: A check of the Ree group conjecture for small fields by David Hunt
• Geometrical equivalence of groups
• SINGULAR
• Nonsolvable finite groups all of whose local subgroups are solvable
• Unnamed Item
• Unnamed Item
• Unnamed Item