Computing isometry groups of Hermitian maps

A theorem is proved on the structure of the group of isometries of a Hermitian map b : V × V → W , where V and W are vector spaces over a finite field of odd order. Also a Las Vegas polynomial-time algorithm is presented which, given a Hermitian map, finds generators for, and determines the structure of its isometry group. The algorithm can be adapted to construct the intersection over a set of classical subgroups of GL(V ), giving rise to the first polynomial-time solution of this old problem. The approach yields new algorithmic tools for algebras with involution, which in turn have applications to other computational problems of interest. Implementations of the various algorithms in the Magma system demonstrate their practicability.

[1]  E. Bayer-Fluckiger.  Principe de Hasse faible pour les systèmes de formes quadratiques. , 1987 .

[2]  A. Weil.  Algebras with Involutions and the Classical Groups , 1960 .

[3]  David W. Lewis,et al.  Involutions and Anti‐Automorphisms of Algebras , 2006 .

[4]  Peter A. Brooksbank,et al.  On intersections of classical groups , 2008 .

[5]  D. E. Taylor.  Pairs of Generators for Matrix Groups. I , 2022, 2201.09155.

[6]  E. J. Taft.  Invariant Wedderburn factors , 1957 .

[7]  Peter A. Brooksbank,et al.  Constructing the Group Preserving a System of Forms , 2008, Int. J. Algebra Comput..

[8]  Gábor Ivanyos,et al.  Treating the Exceptional Cases of the MeatAxe , 2000, Exp. Math..

[9]  James B. Wilson.  Decomposing p-groups via Jordan algebras , 2007, 0711.0201.

[10]  Bettina Eick,et al.  CONSTRUCTING AUTOMORPHISM GROUPS OF p-GROUPS , 2002 .

[11]  S. A. Sherman,et al.  Providence , 1906 .

[12]  A. Albert.  Structure of Algebras , 1939 .

[13]  N. Jacobson.  Lectures In Abstract Algebra , 1951 .

[14]  A. Wagner.  On the classification of the classical groups , 1967 .

[15]  Donald E. Taylor,et al.  Matrix Generators for the Orthogonal Groups , 1998, J. Symb. Comput..

[16]  Lajos Rónyai,et al.  Computing the Structure of Finite Algebras , 1990, J. Symb. Comput..

[17]  Mark Giesbrecht,et al.  Efficient Decomposition of Associative Algebras over Finite Fields , 2000, J. Symb. Comput..

[18]  John J. Cannon,et al.  The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[19]  Derek F. Holt,et al.  Testing modules for irreducibility , 1994, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[20]  James B. Wilson.  Finding central decompositions of p-groups , 2008, 0801.3434.

[21]  Robert M. Guralnick,et al.  Alternating forms and self-adjoint operators , 2007 .

[22]  Irving Reiner,et al.  Methods of Representation Theory , 1981 .

[23]  Robert Steinberg,et al.  Generators for Simple Groups , 1962, Canadian Journal of Mathematics.

[24]  Gábor Ivanyos,et al.  Fast randomized algorithms for the structure of matrix algebras over finite fields (extended abstract) , 1999, ISSAC.