Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity (Q2178495): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Q483665 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Q431674 / rank | |||
Property / author | |||
Property / author: Alexei G. Myasnikov / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Vitaliĭ Roman'kov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3014828091 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1612.01242 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random Nilpotent Groups I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The decision problem for exponential diophantine equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Matrix Model for Random Nilpotent Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine Sets over Some Rings of Algebraic Integers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equations in nilpotent groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5680121 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random nilpotent groups, polycyclic presentations, and Diophantine problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine problems in solvable groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random walk in random groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4003410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3342725 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tarski-type problems for free associative algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random Walk: A Modern Introduction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Centroids of groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145882 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4658185 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: <i>ω</i>-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-finitely axiomatizable nilpotent groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3375561 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2715529 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3852386 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4740087 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A generalized theorem on freedom for pro-p-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3663506 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5193150 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4285784 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:04, 22 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity |
scientific article |
Statements
Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity (English)
0 references
11 May 2020
0 references
Let \(G=\langle x_1,\dots, x_n \mid r_1,\dots, r_m; N_c\rangle\) be a relative finite presentation of group \(G\) in a variety \(N_c\) of all nilpotent groups of class at most \(c\). Following to Magnus, the authors introduce the relation matrix M of this presentation that is an \(m\times n\) matrix whose (\(i,j\))-th entry is the sum of the exponents of the \(x_j\)'s that occur in \(r_i\). The number \(n-m\), if non-negative, is called the deficiency of the presentation. The matrix M has full rank if its rank is equal to \(\min\{n, m\}\), i.e., it is the maximum possible. The authors prove that groups given by full rank presentations with positive deficiency have a rather restricted structure. In particular, there exists a subset \(S\) of the set \(\{x_1,\dots,x_n\}\) consisting of \(n-m\) elements such that the following holds: 1. If \(m = n-1\), then the subgroup \(H\) generated by \(S\) is infinite cyclic and has finite index in \(G\). 2. If \(m\leq n- 2\), then \(H\) is a free \(c\)-step nilpotent subgroup of rank \(n-m\) which has finite index in \(G\). The central theorem of the paper states that the Diophantine problem in nilpotent groups given by full rank presentations is undecidable if \(n - m\geq 2\) and decidable otherwise. A finitely generated group \(G\) is said to be first-order rigid if for any finitely generated group \(H\) elementary equivalence \(G\equiv H\) implies isomorphism \(G\simeq H\). Furthermore, a finitely generated group G is called quasi finitely axiomatizable or QFA, if there is a sentence \(\phi \) of group theory that holds in \(G\) and such that for any finitely generated group \(H\) if \(\phi \) holds in \(H\) then \(G\simeq H\). The authors prove that every nilpotent group \(G\) given in a class \(N_c\), \(c \geq 2\), by a finite full rank presentation of deficiency at least \(2\) is QFA, hence first-order rigid.
0 references
nilpotent groups
0 references
relative presentation
0 references
full rank presentation
0 references
elementary equivalence
0 references
isomorphism
0 references