Subalgebras of FA-presentable algebras
Subalgebras of FA-presentable algebras
复制标题
FA 可表示代数的子代数
DOI：
10.1007/s00012-014-0293-0
复制
发表时间：
2014
影响因子：
0.6
通讯作者：
Cain A
中科院分区：
文献类型：
--
作者：
Cain A
自动演示（也称为 FA 演示）的引入将有限模型理论扩展到无限结构，同时保留基本决策问题的可解性。本文研究 FA 可表示的代数。首先，给出一个例子来表明，有限生成的 FA 可表示代数类在形成有限生成子代数时不是封闭的，即使在仅具有一元运算的代数类中也是如此。相反，具有单个一元运算的 FA 可表示代数的有限生成子代数本身是 FA 可表示的。此外，证明了一元 FA 可表示的代数类在形成有限生成子代数时是封闭的，并且此类子代数的隶属度问题是可判定的。
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First, an example is given to show that the class of finitely generated FA-presentable algebras is not closed under forming finitely generated subalgebras, even within the class of algebras with only unary operations. In contrast, a finitely generated subalgebra of an FA-presentable algebra with a single unary operation is itself FA-presentable. Furthermore, it is proven that the class of unary FA-presentable algebras is closed under forming finitely generated subalgebras and that the membership problem for such subalgebras is decidable.
登录
查看更多内容
DOI：
10.1016/j.ic.2009.02.005
发表时间：
2009
期刊：
Inf. Comput.
影响因子：
--
作者：
Alan J. Cain;G. Oliver;N. Ruškuc;R. Thomas
通讯作者：
R. Thomas
影响因子：
0.9
作者：
G. Oliver;R. Thomas
通讯作者：
R. Thomas
FA-可表示的群和环
影响因子：
0.9
作者：
A. Nies;R. Thomas
通讯作者：
R. Thomas
数学 半线性方程的先验界限和 Lipschitz 域的一类新的临界指数作者：Joe McKenna
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
M. Ahmedou;W. Reichel
通讯作者：
W. Reichel
有限自动机可表现的阿贝尔群
影响因子：
0.8
作者：
A. Nies;P. Semukhin
通讯作者：
P. Semukhin