Computability in Unitary Representations of Compact Groups

  • Xiaolin Ge
  • J. Ian Richards
Part of the Progress in Computer Science and Applied Logic book series (PCS, volume 12)


This paper deals with the computability of unitary representations of compact groups. An algorithm is given to effectively decompose a unitary representation into its irreducible parts. Difficulties in finding the effective procedure are caused by the absolute lack of a priori information about the irreducible representations and the obligation of making decisions from inexact data. Several lemmas on group representations (classical, i.e. computability not mentioned) have been proved in order to design the algorithm which overcomes these difficulties.

Key words

Computability group representation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Crossley, J.N. [1981], (ed.) Aspects of Effective Algebra. Proceedings of a Conference at Monash University, Australia, 1-4 August 1979, Upside Down A Book Company, Yarra Glen, Victoria, Australia.zbMATHGoogle Scholar
  2. Metakides, G., A. Nerode, R.A. Shore [1985], Recursive limits on the Hahn-Banach theorem. E. Bishop — Reflections on Him and Research, 1983 San Diego; ed. M. Rosenblatt, Contemp. Math. 39, 85–91, Amer. Math. Soc: Providence.MathSciNetCrossRefGoogle Scholar
  3. Naimark, M.A. [1971], Normed Rings. Wolters-Noordhoff Publ., Groningen.Google Scholar
  4. Pontryagin, L.S. [1966], Topological Groups. Gordon and Breach Science Publishers, Inc.Google Scholar
  5. Pour-El, M.B., J. Ian Richards [1983], Noncomputability in analysis and physics: a complete determination of the class of noncomputable linear operators. Advances in Mathematics, 48, 44–47.MathSciNetCrossRefGoogle Scholar
  6. Pour-El, M.B., J. Ian Richards [1989], Computability in Analysis and Physics. Springer-Verlag.Google Scholar
  7. Soare, R.I. [1987], Recursively Enumerable Sets and Degrees. Springer-Verlag.Google Scholar

Copyright information

© Springer Science+Business Media New York 1993

Authors and Affiliations

  • Xiaolin Ge
  • J. Ian Richards
    • 1
  1. 1.School of MathematicsUniversity of MinnesotaMinneapolisUSA

Personalised recommendations