Efficient characteristic refinements for finite groups

DOI10.1016/J.JSC.2016.07.007MaRDI QIDQ346563zbMATH OpenOpenAlexFDO

Authors Joshua Maglione

Publication date 29 November 2016

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

Full work available at URL https://arxiv.org/abs/1607.01344

zbMATH Keywords

filtersisomorphism\(p\)-groupsLie algebras

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Automorphisms of abstract finite groups (20D45) Finite nilpotent groups, (p)-groups (20D15) Associated Lie structures for groups (20F40) Software, source code, etc. for problems pertaining to group theory (20-04)

Abstract: Filters were introduced by J.B. Wilson in 2013 to generalize work of Lazard with associated graded Lie rings. It holds promise in improving isomorphism tests, but the formulas introduced then were impractical for computation. Here, we provide an efficient algorithm for these formulas, and we demonstrate their usefulness on several examples of $p$-groups.

Recommendations

• More characteristic subgroups, Lie rings, and isomorphism tests for p-groups.
• Automorphism group computation and isomorphism testing in finite groups
• Filters compatible with isomorphism testing
• CONSTRUCTING AUTOMORPHISM GROUPS OF p-GROUPS
• A fast isomorphism test for groups whose Lie algebra has genus 2

Cites work

• scientific article; zbMATH DE number 1256646 (Why is no real title available?)
• scientific article; zbMATH DE number 2133330 (Why is no real title available?)
• scientific article; zbMATH DE number 1370593 (Why is no real title available?)
• scientific article; zbMATH DE number 1849958 (Why is no real title available?)
• scientific article; zbMATH DE number 3294681 (Why is no real title available?)
• Automorphism group computation and isomorphism testing in finite groups
• CONSTRUCTING AUTOMORPHISM GROUPS OF p-GROUPS
• Collection from the left and other strategies
• Longer nilpotent series for classical unipotent subgroups
• More characteristic subgroups, Lie rings, and isomorphism tests for p-groups.
• Symbolic Collection using Deep Thought
• The Magma algebra system. I: The user language

Cited in

(7)

• Smooth cuboids in group theory
• More characteristic subgroups, Lie rings, and isomorphism tests for p-groups.
• Enumerating isoclinism classes of semi-extraspecial groups
• Filters compatible with isomorphism testing
• New Lie products for groups and their automorphisms
• Testing isomorphism of graded algebras
• Most small \(p\)-groups have an automorphism of order 2

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Efficient characteristic refinements for finite groups

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