二次丢番图方程、海森堡群与形式语言
群论
2023-06-05 v2 数论
摘要
我们利用 EDT0L 语言表示整数环中二元二次方程的解。借此我们表明，EDT0L 语言可用于描述海森堡群中单变量方程的解。这是通过将海森堡群中求解单变量方程的问题归约为整数环中求解方程，并利用整数环与幂零群之间的强关联来实现的。
引用
@article{arxiv.2203.04849,
title = {Quadratic Diophantine equations, the Heisenberg group and formal languages},
author = {Alex Levine},
journal= {arXiv preprint arXiv:2203.04849},
year = {2023}
}
备注
33 pages