\(\exists\)-free groups (Q2644767): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Vladimir N. Remeslennikov / rank | |||
Property / author | |||
Property / author: Vladimir N. Remeslennikov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residually Free Groups / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00970922 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4241641878 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:11, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(\exists\)-free groups |
scientific article |
Statements
\(\exists\)-free groups (English)
0 references
1989
0 references
For a group \(G\) let \(Th_{\exists}G\) denote the set of all \(\exists\)-sentences true in \(G\). If \(F_ 1\) and \(F_ 2\) are free groups of finite rank \(\geq 2\), then \(Th_{\exists}F_ 1=Th_{\exists}F_ 2\), because each of them contains the other. So one can speak about the \(\exists\)-theory \(Th_{\exists}F\) of free non-abelian groups. Call a group \(G\) \(\exists\)-free iff \(Th_{\exists}F=Th_{\exists}G\). Call a group \(G\) \(\omega\)-residually free if for every finite subset of non-unit elements of \(G\) there exists a normal subgroup \(N\) of \(G\) such that \(G/N\) is free and \(N\) has empty intersection with the given finite subset. In the paper under review it is proved that for a finitely generated group \(G\) the following conditions are equivalent: 1. \(G\) is \(\exists\)-free, 2. \(G\) is \(\omega\)-residually free, 3. \(G\) is residually free and does not contain \(F_ 2\times Z\), 4. The relation of commutativity in \(G\) is an equivalence. The analogs for \(\omega\)-free commutative rings are also proved.
0 references
existentially free groups
0 references
\(\exists\)-sentences
0 references
free groups of finite rank
0 references
\(\exists\)-theory
0 references
finitely generated groups
0 references
\(\exists\)-free groups
0 references
\(\omega\)-residually free groups
0 references
\(\omega\)-free commutative rings
0 references