Filters compatible with isomorphism testing

DOI10.1016/J.JPAA.2020.106528MaRDI QIDQ2200949zbMATH OpenOpenAlexFDO

Authors Joshua Maglione

Publication date 24 September 2020

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

filtergraded Lie ringnilpotent group

Mathematics Subject Classification ID

Finite nilpotent groups, (p)-groups (20D15) Nilpotent groups (20F18) Associated Lie structures for groups (20F40)

Abstract: Like the lower central series of a nilpotent group, filters generalize the connection between nilpotent groups and graded Lie rings. However, unlike the case with the lower central series, the associated graded Lie ring may share few features with the original group: e.g. the associated Lie ring may be trivial or arbitrarily large. We determine properties of filters such that the Lie ring and group are in bijection. We prove that, under such conditions, every isomorphism between groups is induced by an isomorphism between graded Lie rings.

Review text

There are several general methods to associate a Lie ring to a nilpotent group. A common theme is to make group-theoretic problems easier by employing linear algebra in the context of the Lie ring. A recent development generalizes approaches from \textit{W. Magnus} [Ann. Math. (2) 52, 111--126 (1950; Zbl 0037.30401); J. Reine Angew. Math. 182, 142--149 (1940; Zbl 0025.24201; JFM 66.1208.03)] and \textit{M. Lazard} [Ann. Sci. Éc. Norm. Supér. (3) 71, 101--190 (1954; Zbl 0055.25103)]. \textit{J. B. Wilson} [J. Group Theory 16, No. 6, 875--897 (2013; Zbl 1298.20051)] defined filters as a means to allow refinements of the well-studied upper and lower central series associated to nilpotent groups, while still connected to a graded Lie ring. In the paper under review, the authors describe a process of lifting isomorphisms between the associated Lie rings to (potential) isomorphisms between the groups, which has applications to isomorphism testing of finite \(p\)-groups. In detail, the authors obtain the following theorem: Theorem. If \(\Phi\) is a finite, inertia-free, faithful-filter functor, then all isomorphisms between groups \(G\) and \(H\) are lifts of \(M\)-graded isomorphisms between \(L(\Phi(G))\) and \(L(\Phi(H))\).

Recommendations

• More characteristic subgroups, Lie rings, and isomorphism tests for p-groups.
• Testing isomorphism of graded algebras
• Efficient characteristic refinements for finite groups
• A fast isomorphism test for groups whose Lie algebra has genus 2
• Isomorphism testing for \(p\)-groups

Cites work

• A connection between the Baker-Hausdorff formula and a problem of Burnside
• Algorithms for group isomorphism via group extensions and cohomology
• APPLICATION OF COMPUTERS TO QUESTIONS LIKE THOSE OF BURNSIDE, II
• Automorphism group computation and isomorphism testing in finite groups
• Computing isometry groups of Hermitian maps
• Computing subgroups by exhibition in finite solvable groups
• CONSTRUCTING AUTOMORPHISM GROUPS OF p-GROUPS
• Efficient characteristic refinements for finite groups
• Groups and Rings Having Automorphisms without Non-Trivial Fixed Elements
• scientific article; zbMATH DE number 3672557 (Why is no real title available?)
• scientific article; zbMATH DE number 3758564 (Why is no real title available?)
• scientific article; zbMATH DE number 534859 (Why is no real title available?)
• scientific article; zbMATH DE number 1120361 (Why is no real title available?)
• scientific article; zbMATH DE number 2012819 (Why is no real title available?)
• scientific article; zbMATH DE number 1849958 (Why is no real title available?)
• scientific article; zbMATH DE number 3198114 (Why is no real title available?)
• Isomorphism testing for \(p\)-groups
• Longer nilpotent series for classical unipotent subgroups
• More characteristic subgroups, Lie rings, and isomorphism tests for p-groups.
• Most small \(p\)-groups have an automorphism of order 2
• Non-unique factorizations: a survey
• Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups
• Special polycyclic generating sequences for finite soluble groups.
• Sur les groupes nilpotents et les anneaux de Lie
• Testing isomorphism of graded algebras
• Über Gruppen und zugeordneten Liesche Ringe.

Cited in

(6)

• Tensor isomorphism by conjugacy of Lie algebras
• Efficient characteristic refinements for finite groups
• The Determination of the Lie Algebra Associated to the Lower Central Series of a Group
• More characteristic subgroups, Lie rings, and isomorphism tests for p-groups.
• Categorification of characteristic structures
• Smooth cuboids in group theory

Describes a project that uses

Uses Software

• TensorSpace

This page was built for publication: Filters compatible with isomorphism testing

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