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, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliographie
JACOB G. Un théorème de factorisation des produits d’endomorphismes de KN; à paraître, J. of Algebra.
KAPLANSKY I. Fields and Rings; 1969 Chicago Lect. notes of Math., Univ. of Chicago press.
Mc NAUGHTON R. and ZALCSTEIN I. The Burnside problem for semi-groups; J. of Algebra (1975).
SCHUR I. Über Gruppen periodischer Substitutionen; Sitzungsbericht Preuss. Akad. Wiss. (1911) 619–627.
SCHÜTZENBERGER M.P. On finite monoids having only trivial subgroups; Inf. and Control 8 (1965) 190–194.
SCHÜTZENBERGER M.P. Finite counting Automata; Inf and Control 5 (1962) 91–107.
SUPRUNENKO D. Soluble and Nilpotent linear groups; 1958; Transl. Of Mathematical Monographs, 1963, Amer. Math. Soc. Providence, Rhode-Island.
ZALCSTEIN I. Locally testable semi-groups; Semi-group forum 5 (1973), 216–227.
JACOB G. Un algorithme calculant le cardinal — fini ou infini — des demi-groupes de matrices; T.C.S. à paraître.
JACOB G. La finitude des représentations linéaires est décidable; soumis pour publication au J. of Algebra.
Author information
Authors and Affiliations
Editor information
Rights 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