.png){kind=icon}
.png){kind=icon}
Return
Ordering groups and the Identity Problem
.png){kind=icon}
OA
AI
DOI：10.1016/j.jalgebra.2025.10.051.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
The Identity Problem - deciding if the subsemigroup generated by a given finite set of elements of a group contains the identity element - is shown in this paper to correspond, for certain classes, to decision problems about ordering groups. Notably, the Identity Problem for a torsion-free nilpotent group corresponds both to the problem of deciding if a given finite set of elements extends to the positive cone of a left-order on the group, and to the Word Problem for a related lattice-ordered group. A new (independent) proof is given of the decidability of the Identity and Subgroup Problems for every finitely presented nilpotent group (initially proved by Shafrir in 2024), establishing also the decidability of the Word Problem for a family of lattice-ordered groups. In contrast, it is shown that the related Fixed-Target Submonoid Membership Problem is undecidable in nilpotent groups. Decidability of the Normal Identity Problem (with 'subsemigroup' replaced by 'normal subsemigroup') for free nilpotent groups is established using the (known) decidability of the Word Problem for certain lattice-ordered groups. Connections between orderability and the Identity Problem for a class of torsion-free metabelian groups are also explored. (c) 2025 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).
Keywords:
Nilpotent group
Identity Problem
Left-order
Bi-order
Word Problem
Lattice-ordered group
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
J
IF:
0.8
Papers:
277
Citations:
0
View more organizations