亚阿贝尔群的铺砌与子幺半群

本文证明，对于秩为 2 的自由亚阿贝尔群以及圈积 $\mathbb Z\wr (\mathbb Z\times \mathbb Z)$，有限生成子幺半群的成员判定问题是不可判定的。我们还证明，对于有限秩的自由 $(\mathbb Z\times \mathbb Z)$-模，子半模成员判定问题是不可判定的。该证明涉及通过铺砌对图灵机进行编码。我们还证明，对于二维点灯者群，有理子集成员判定问题是不可判定的。