Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Computing isometry groups of Hermitian maps

Authors: Peter A. Brooksbank and James B. Wilson
Journal: Trans. Amer. Math. Soc. 364 (2012), 1975-1996
MSC (2010): Primary 20G40
Published electronically: November 17, 2011
MathSciNet review: 2869196
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: A theorem is proved on the structure of the group of isometries of a Hermitian map $ b\colon V\times V\to 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 $ \operatorname {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.

References [Enhancements On Off] (What's this?)

  • [Al] A. A. Albert, Structure of algebras, Revised printing. American Mathematical Society Colloquium Publications, Vol. XXIV, AMS, Providence, R.I., 1961. MR 0123587 (23:A912)
  • [BF] E. Bayer-Fluckiger, Principe de Hasse faible pour les systèmes de formes quadratiques, J. Reine Angew. Math. 308 (1987), pp. 53-59. MR 895284 (88g:11015)
  • [BCP] W. Bosma, J. Cannon, and C. Playoust, The algebra system I: The user language, J. Symbolic Comput. 24 (1997), 235-265. MR 1484478
  • [BO1] P.A. Brooksbank, E.A. O'Brien, On intersections of classical groups, J. Group Theory 11 (2008), 465-478. MR 2429348 (2009d:20115)
  • [BO2] P.A. Brooksbank, E.A. O'Brien, Constructing the group preserving a system of forms, Internat. J. Algebra Comput. 18, no. 2 (2008), 227-241. MR 2403820 (2009g:20020)
  • [EG] W. Eberly, M. Giesbrecht, Efficient decomposition of associative algebras over finite fields, J. Symbolic Comp. 29 (2000), 441-458. MR 1751390 (2001a:16079)
  • [CR] C. W. Curtis, I. Reiner, Methods of representation theory, vol. I, John Wiley & Sons, New York, 1981. MR 632548 (82i:20001)
  • [ELO] B. Eick, C.R. Leedham-Green, and E.A. O'Brien, Constructing automorphism groups of $ p$-groups, Comm. Algebra 30, no. 5 (2002), 2271-2295. MR 1904637 (2003d:20027)
  • [GG] D. Goldstein, R.M. Guralnick, Alternating forms and self-adjoint operators, J. Algebra 308 (2007), 330-349. MR 2290925 (2008b:20050)
  • [HR] D.F. Holt, S. Rees, Testing modules for irreducibility, J. Austral. Math. Soc. (Series A) 57 (1994), 1-16. MR 1279282 (95e:20023)
  • [Iv] G. Ivanyos, Fast randomized algorithms for the structure of matrix algebras over finite fields, pp. 175-183 in: International Symposium on Symbolic and Algebraic Computation (ISSAC) 2000, ACM, New York, 2000. MR 1805121
  • [IL] G. Ivanyos, K. Lux, Treating the exceptional cases of the MeatAxe, Experiment. Math. 9 (2000), 373-381. MR 1795309 (2001j:16067)
  • [Ja] N. Jacobson, Lectures in abstract algebra, Volume II: Linear algebra. Reprint of the 1953 edition [Van Nostrand, Toronto, Ont.], GTM 31, Springer-Verlag, New York, 1975. MR 0369381 (51:5614)
  • [Le] D. W. Lewis, Involutions and anti-automorphisms of algebras, Bull. London Math. Soc. 38, no. 4 (2006), 529-545. MR 2249484 (2007f:16079)
  • [Ró] L. Rónyai, Computing the structure of finite algebras, J. Symbolic Comput. 9, no. 3 (1990), 355-373. MR 1056632 (91h:68093)
  • [St] R. Steinberg, Generators for simple groups. Canad. J. Math. 14 (1962), 277-283. MR 0143801 (26:1351)
  • [Ta] E.J. Taft, Invariant Wedderburn factors, Illinois J. Math. 1 (1957), 565-573. MR 0098124 (20:4586)
  • [Ty] D. E. Taylor, Pairs of generators for matrix groups I, The Cayley Bulletin 3 (1987), 76-85.
  • [RT] L. J. Ryland, D. E. Taylor, Matrix generators for the orthogonal groups. J. Symbolic Comput. 25, no. 3 (1998), 351-360. MR 1615330 (99d:20078)
  • [Wa] A. Wagner, On the classification of the classical groups, Math. Z. 97 (1967), 66-76. MR 0209366 (35:264)
  • [We] A. Weil, Algebras with involutions and the classical groups, J. Indian Math. Soc. (N.S.) 24 (1960), 589-623. MR 0136682 (25:147)
  • [Wi1] J. B. Wilson, Decomposing $ p$-groups via Jordan algebras, J. Algebra 322 (2009), 2642-2679. MR 2559855
  • [Wi2] J. B. Wilson, Finding central decompositions of $ p$-groups, J. Group Theory 12 (2009), 813-830. MR 2582050
  • [Wi3] J. B. Wilson, Optimal Gram-Schmidt algorithms (submitted). arXiv:0910.0435.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 20G40

Retrieve articles in all journals with MSC (2010): 20G40

Additional Information

Peter A. Brooksbank
Affiliation: Department of Mathematics, Bucknell University, Lewisburg, Pennsylvannia 17837

James B. Wilson
Affiliation: Department of Mathematics, The Ohio State University, Columbus, Ohio 43210
Address at time of publication: Department of Mathematics, Colorado State University, Fort Collins, Colorado 80523

Keywords: $*$-algebra, Hermitian map, classical group, isometry group, polynomial-time algorithm
Received by editor(s): June 19, 2009
Received by editor(s) in revised form: November 18, 2009, March 25, 2010, May 20, 2010, and May 26, 2010
Published electronically: November 17, 2011
Article copyright: © Copyright 2011 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.

American Mathematical Society