Abstract
This paper presents some algorithms in linear algebraic groups. These algorithms solve the word problem and compute the spinor norm for orthogonal groups. This gives us an algorithmic definition of the spinor norm. We compute the double coset decomposition with respect to a Siegel maximal parabolic subgroup, which is important in computing infinite-dimensional representations for some algebraic groups.
Similar content being viewed by others
References
Artin, E.: Geometric Algebra. Interscience, New York (1957)
Bhunia, S.: Computations in Classical Groups. IISER Pune, India (2017). Ph.D. thesis
Bhunia, S., Mahalanobis, A., Shinde, P., Singh, A.: The MOR Cryptosystem in Classical Groups with a Gaussian Elimination Algorithm for Symplectic and Orthogonal Groups. In: Modern Cryptography - Current Challenges and Solutions. IntechOpen, Rijeka (2019)
Brooksbank, P.: Constructive recognition of classical groups in their natural representation. J. Symbol. Comput. 35, 195–239 (2003)
Carter, R.: Simple Groups of Lie Type, Pure and Applied Mathematics, vol. 28. Wiley, New York (1972)
Carter, R.: Finite Groups of Lie Type. Wiley, New York (1993)
Chernousov, V., Ellers, E.W., Gordeev, N.: Gauss decomposition with prescribed semisimple part: short proof. J. Algebra 229(1), 314–332 (2000)
Chevalley, C.: Sur certains groupes simples. Tôhoku Math. J. (2) 7, 14–66 (1955)
Chevalley, C.: Fondements de la Géométrie Algébrique. Secrétariat Mathématique, Paris (1958)
Costi, E.: Constructive Membership Testing in Classical Groups. Ph.D. thesis, University of London, Queen Mary (2009)
Grove, L.C.: Classical Groups and Geometric Algebra, Graduate Studies in Mathematics, vol. 39. American Mathematical Society, Providence (2002)
Hahn, A.J.: Unipotent elements and the spinor norms of Wall and Zassenhaus. Arch. Math. (Basel) 32(2), 114–122 (1979)
Humphreys, J.E.: Linear Algebraic Groups, Graduate Texts in Mathematics, vol. 21. Springer, New York (1975)
Knus, M.-A., Merkurjev, A., Rost, M., Tignol, J.-P.: The Book of Involutions (English Summary) with a Preface in French by J. Tits, vol. 44, American Mathematical Society Colloquium Publications (1998)
Lipschitz, R.: Correspondence. Ann. Math. 69(1), 247–251 (1959)
Malle, G., Testerman, D.: Linear Algebraic Groups and Finite Groups of Lie Type. Cambridge University Press, Cambridge (2011)
Murray, S.H., Roney-Dougal, C.M.: Constructive homomorphisms for classical groups. J. Symbol. Comput. 46, 371–384 (2011)
O’Brien, E.A.: Towards Effective Algorithms for Linear Groups, Finite Geometries, Groups, and Computation, pp. 163–190. Walter de Gruyter, Berlin (2006)
Shinde, P.: MOR Cryptosystem with Orthogonal Groups. IISER Pune, India (2017). Ph.D. thesis
Taylor, D.E.: The Geometry of the Classical Groups. Heldermann Verlag, Lemgo (1992)
Wall, G.E.: The structure of a unitary factor group. Inst. Hautes Études Sci. Publ. Math 1, 1–23 (1959)
Zassenhaus, H.: On the spinor norm. Arch. Math. 13, 434–451 (1962)
Acknowledgements
We are indebted to the anonymous referees for their careful reading. Their comments and suggestions improved this paper. This work was supported by a SERB research Grant.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the Topical Collection on 2019 Alterman Conference on Geometric Algebra/Kahler Calculus, edited by Harikrishnan Panackal.
Rights and permissions
About this article
Cite this article
Bhunia, S., Mahalanobis, A., Shinde, P. et al. Algorithms in Linear Algebraic Groups. Adv. Appl. Clifford Algebras 30, 31 (2020). https://doi.org/10.1007/s00006-020-01054-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00006-020-01054-y
Keyword
- Symplectic similitude group
- Orthogonal similitude group
- Word problem
- Gaussian elimination
- Spinor norm
- Double coset decomposition