Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
复制标题
残差有限性、有限可嵌入性和词问题之间的一些联系
DOI:
--
复制
发表时间:
1969
期刊:
影响因子:
--
通讯作者:
T. Evans
中科院分区:
文献类型:
--
作者:
T. Evans
Finite embeddability. An algebra A is residually finite if for any x # y in A, there is a homomorphism a of A onto a finite algebra such that xct # yu. For the notion of an incomplete or partial algebra in a variety, we refer to [4, 6]. We say that an algebra A in a variety V has the finite embeddability property if any finite incomplete F-algebra contained in A is embeddable in a finite F-algebra. A variety V is said to have the finite embeddability property if every algebra in V has the property. Thus, a variety V has the finite embeddability property if any finite incomplete K-algebra which is embeddable is embeddable in a finite F-algebra. We note also that a variety has the finite embeddability property if its finitely generated algebras have this property. To see this, let A be an algebra in a variety V whose finitely generated algebras have the finite embeddability property and let / be a finite incomplete algebra contained in A. Let B be the F-algebra freely generated by / . The algebra B is not necessarily a subalgebra of A but B contains / isomorphically [4; Lemma 1] and B is finitely generated. Hence, I is finitely embeddable and so V has the finite embeddability property.