自由李代数中方程的不可判定性
逻辑
2017-08-25 v1 环与代数
摘要
本文证明了在任意域上秩至少为三的自由李代数中，有限方程组的不可判定性。我们证明了在特征为零的域上的此类自由李代数中，整数环 可由正存在公式来解释。
引用
@article{arxiv.1708.07419,
title = {Undecidability of Equations in Free Lie Algebras},
author = {Olga Kharlampovich and Alexei Myasnikov},
journal= {arXiv preprint arXiv:1708.07419},
year = {2017}
}
备注
arXiv admin note: text overlap with arXiv:1606.03617