Skip to main content

Semi-groups lineaires de rang borne Decidabilite de la finitude

  • 192 Accesses

Part of the Lecture Notes in Mathematics book series (LNM,volume 586)

Abstract

Nous voulons souligner, pour conclure, le caractère hautement calculable de la réduction faite ici de la finitude et de sa décidabilité. Précisons.

Pour tout demi-groupe M de type fini et à rang borné, les calculs menant au théorème 1 permettent de calculer un entier β(M) tel que la finitude de M ou sa décidabilité, soient caractérisées par celles des Im-noyaux engendrés par des "mots" de M de longueur (en générateurs) au plus égale à β(M). En d’autres termes, si S est un ensemble fini de générateur, ces propriétés de finitude et de décidabilité de la finitude nécessitent le seul calcul de Sβ(M).

This is a preview of subscription content, access via your institution.

Buying options

eBook
USD   19.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   26.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. JACOB G. Un théorème de factorisation des produits d’endomorphismes de KN; à paraître, J. of Algebra.

    Google Scholar 

  2. KAPLANSKY I. Fields and Rings; 1969 Chicago Lect. notes of Math., Univ. of Chicago press.

    Google Scholar 

  3. Mc NAUGHTON R. and ZALCSTEIN I. The Burnside problem for semi-groups; J. of Algebra (1975).

    Google Scholar 

  4. SCHUR I. Über Gruppen periodischer Substitutionen; Sitzungsbericht Preuss. Akad. Wiss. (1911) 619–627.

    Google Scholar 

  5. SCHÜTZENBERGER M.P. On finite monoids having only trivial subgroups; Inf. and Control 8 (1965) 190–194.

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. SCHÜTZENBERGER M.P. Finite counting Automata; Inf and Control 5 (1962) 91–107.

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. SUPRUNENKO D. Soluble and Nilpotent linear groups; 1958; Transl. Of Mathematical Monographs, 1963, Amer. Math. Soc. Providence, Rhode-Island.

    MATH  Google Scholar 

  8. ZALCSTEIN I. Locally testable semi-groups; Semi-group forum 5 (1973), 216–227.

    Google Scholar 

  9. JACOB G. Un algorithme calculant le cardinal — fini ou infini — des demi-groupes de matrices; T.C.S. à paraître.

    Google Scholar 

  10. JACOB G. La finitude des représentations linéaires est décidable; soumis pour publication au J. of Algebra.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1977 Springer-Verlag

About this paper

Cite this paper

Jacob, G. (1977). Semi-groups lineaires de rang borne Decidabilite de la finitude. In: Malliavin, M.P. (eds) Séminaire d’Algèbre Paul Dubreil Paris 1975–1976 (29ème Année). Lecture Notes in Mathematics, vol 586. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0087128

Download citation

  • DOI: https://doi.org/10.1007/BFb0087128

  • Received:

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08243-9

  • Online ISBN: 978-3-540-37369-8

  • eBook Packages: Springer Book Archive