Satisfaction of existential theories in finitely presented groups and some embedding theorems. (Q2503408): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.apal.2006.03.002 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2074356056 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic characterization of groups with soluble word problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4516130 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Embedding Theorem for Finitely Generated Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embedding Theorems for Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subgroups of finitely presented groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4003410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040038 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145882 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Length Functions in Groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Omitting quantifier-free types in generic structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3937570 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4012134 / rank | |||
Normal rank |
Latest revision as of 20:26, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Satisfaction of existential theories in finitely presented groups and some embedding theorems. |
scientific article |
Statements
Satisfaction of existential theories in finitely presented groups and some embedding theorems. (English)
0 references
14 September 2006
0 references
A group \(G\) is called SQ-universal if every countable group is embeddable in a quotient of \(G\). The main result of the paper under review is the following theorem: For every recursively enumerable existential theory \(\Gamma\) (in the language of group theory with multiplication, inverse, and neutral element), there exists a finitely presented SQ-universal group \(H\) such that \(\Gamma\) is satisfied in every nontrivial quotient of \(H\). Furthermore, if \(\Gamma\) is satisfied in some group with soluble word problem, then \(H\) can be taken with soluble word problem. The following theorem gives a new characterization of finitely generated groups with soluble word problem: A finitely generated group \(G\) has soluble word problem iff there exists a finitely presented group \(H\) such that \(G\) is embeddable in every nontrivial quotient of \(H\). The following strong version of a classical theorem of Higman, Neumann and Neumann is proved: For every countable group \(G\), there exists a 2-generated SQ-universal group \(H\) such that \(G\) is embeddable in every nontrivial quotient of \(H\).
0 references
finitely presented groups
0 references
existential theories
0 references
SQ-universal groups
0 references
finitely generated groups
0 references
word problem
0 references