Computing double cosets in soluble groups

DOI10.1006/JSCO.1999.1005MaRDI QIDQ5928888zbMATH OpenOpenAlexFDO

Authors Michael C. Slattery

Publication date 14 June 2001

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1999.1005

zbMATH Keywords

algorithmsdouble cosetsfinite soluble groupsorbit-stabilizerspolycyclic presentationstransversals

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Symbolic computation and algebraic computation (68W30)

Review text

The use of orbit-stabilizers and orbit techniques for computing representatives of double cosets in a finite soluble group \(G\) given by a polycyclic presentation is discussed. Algorithms for computing the orbit-stabilizers and a complete set of double-coset representatives for a given pair of subgroups of the group \(G\) are given. Some results for an implementation are obtained. A method for finding two-sided transversals is given.

Recommendations

• scientific article; zbMATH DE number 3871630
• scientific article; zbMATH DE number 3922932
• Double coset decomposition of groups
• scientific article; zbMATH DE number 1222252
• scientific article; zbMATH DE number 3558069
• Group decomposition by double coset matrices
• Double Cosets Involving Involutions in Algebraic Groups
• Double coset decompositions and computational harmonic analysis on groups
• Intersections of double cosets in algebraic groups
• scientific article; zbMATH DE number 1256646

Cites work

• A finite soluble quotient algorithm
• Computing character degrees in p-groups
• Computing intersections and normalizers in soluble groups
• Computing modular and projective character degrees of soluble groups
• Double coset enumeration
• Enumeration of double cosets
• Extraspecial towers and Weil representations
• scientific article; zbMATH DE number 3871623 (Why is no real title available?)
• On Holt's algorithm
• On Representatives of Subsets
• Some remarks on the computation of complements and normalizers in soluble groups
• Some remarks on the computation of conjugacy classes of soluble groups
• The Magma algebra system. I: The user language

Cited in

(4)

• Statistical enumeration of groups by double cosets
• Canonical representation of polynomial expressions with indices
• scientific article; zbMATH DE number 3871630 (Why is no real title available?)
• Group decomposition by double coset matrices

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Computing double cosets in soluble groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5928888)