论文信息 - A Proof of Ehrenfeucht's Conjecture

A Proof of Ehrenfeucht's Conjecture

Abstract Ehrenfeucht's Conjecture states that each subset S of a finitely generated free monoid has a finite subset T such that if two endomorphisms of the monoid agree on T , then they agree on S . It is the purpose of this note to verify the conjecture.

Michael H. Albert | J. Lawrence

[1] Arto Salomaa,et al. Test Sets and Checking Words for Homomorphism Equivalence , 1980, J. Comput. Syst. Sci..

[2] M. H. Albert,et al. The descending chain condition on solution sets for systems of equations in groups , 1986 .

[3] Juhani Karhumäki,et al. The Ehrenfeucht Conjecutre: A Compactness Claim for Finitely Generated Free Monoids , 1984, Theor. Comput. Sci..

[4] Karel Culik,et al. Systems of equations over a free monoid and Ehrenfeucht's conjecture , 1983, Discret. Math..

[5] G. Baumslag,et al. Groups with free 2-generator subsemigroups , 1982 .

[6] P. Hall,et al. Finiteness Conditions for Soluble Groups , 1954 .