局部群拟簇上κ-项的字问题
群论
2015-09-07 v1
摘要
本文研究局部群拟簇LG的κ-字问题,其中κ是由乘法和伪逆运算组成的规范签名。我们通过将任意κ-项α转化为另一个称为α的规范形式的项,并证明不同的规范形式在LG上有不同的解释,来解决这个问题。构造这些规范形式的过程包括应用由一组特定的κ-恒等式Σ确定的基本变换。因此,Σ是由LG生成的κ-簇的κ-恒等式基底。
引用
@article{arxiv.1509.01533,
title = {The word problem for $\kappa$-terms over the pseudovariety of local groups},
author = {J. C. Costa and C. Nogueira and M. L. Teixeira},
journal= {arXiv preprint arXiv:1509.01533},
year = {2015}
}