Showing 1–2 of 2 results for author: Treier, A

On equationally Noetherian predicate structures

Authors: Ivan Buchinskiy, Matvei Kotov, Alexander Treier

Abstract: In this paper, we prove a criterion for a predicate structure to be equationally Noetherian. In this paper, we prove a criterion for a predicate structure to be equationally Noetherian. △ Less

Submitted 16 July, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

Comments: 13 pages, 4 figures. Published in the journal of Groups, Complexity, Cryptology

MSC Class: 08A99; 03C05

Knapsack problem for nilpotent groups

Authors: Alexei Mishchenko, Alexander Treier

Abstract: We prove that Knapsack problem (KP) is undecidable for any group of nilpotency class two if the number of generators (without torsion) of the derived subgroup is at least 322. This result together with the fact that if KP is undecidable for a subgroup then it undecidable for the whole group allows us extend our result to certain classes of polycyclic groups, linear groups and nilpotent groups of h… ▽ More We prove that Knapsack problem (KP) is undecidable for any group of nilpotency class two if the number of generators (without torsion) of the derived subgroup is at least 322. This result together with the fact that if KP is undecidable for a subgroup then it undecidable for the whole group allows us extend our result to certain classes of polycyclic groups, linear groups and nilpotent groups of higher nilpotency class. △ Less

Submitted 28 June, 2016; originally announced June 2016.

Comments: 14 pages