On CT and CSA groups and related ideas (Q311060): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
A group is \textit{commutative transitive} or CT if commuting is transitive (as a binary relation) on nontrivial elements. A subgroup \(H\) of a group \(G\) is \textit{malnormal,} if \(H \cap gHg^{-1}\) is trivial for every \(g \in G \setminus H\). A group is \textit{conjugately separated abelian} or CSA if maximal abelian subgroups are malnormal. These concepts have played a prominent role in the studies of fully residually free groups, limit groups and discriminating groups. They also play a role in the solution to the Tarski problems. The class of CSA groups is a proper subclass of the class of CT groups. For limit groups and finitely generated elementary free groups they are equivalent. The authors show that a finite CSA group must be abelian. When \(G\) is CT, they prove that \(G\) is not CSA if and only if \(G\) contains a nonabelian subgroup \(G_0\) which contains a nontrivial abelian subgroup \(H\) that is normal in \(G_0\). For a field \(K\), the group \(\mathrm{PSL}(2,K) \) is never CSA but is CT if \(\operatorname{char}(K)=2\) and for fields \(K\) of characteristic 0 where \(-1\) is not a sum of two squares in \(K\). For odd characteristic \(p\), \(\mathrm{PSL}(2,K)\) is never CT. Infinite CT groups \(G\) with a composition series and having no nontrivial normal abelian subgroup must be monolithic with monolith a simple nonabelian CT group. Further, if a group \(G\) is monolithic with monolith \(N\) isomorphic to \(\mathrm{PSL}(2,K)\) for a field \(K\) of characteristic 2 and \(G\) is CT, then \(G\) and \(N\) are isomorphic. A group is said to be monolithic if it has a unique minimal normal subgroup, and this is contained in every nontrivial normal subgroup. This minimal normal subgroup is termed a monolith. | |||
Property / review text: A group is \textit{commutative transitive} or CT if commuting is transitive (as a binary relation) on nontrivial elements. A subgroup \(H\) of a group \(G\) is \textit{malnormal,} if \(H \cap gHg^{-1}\) is trivial for every \(g \in G \setminus H\). A group is \textit{conjugately separated abelian} or CSA if maximal abelian subgroups are malnormal. These concepts have played a prominent role in the studies of fully residually free groups, limit groups and discriminating groups. They also play a role in the solution to the Tarski problems. The class of CSA groups is a proper subclass of the class of CT groups. For limit groups and finitely generated elementary free groups they are equivalent. The authors show that a finite CSA group must be abelian. When \(G\) is CT, they prove that \(G\) is not CSA if and only if \(G\) contains a nonabelian subgroup \(G_0\) which contains a nontrivial abelian subgroup \(H\) that is normal in \(G_0\). For a field \(K\), the group \(\mathrm{PSL}(2,K) \) is never CSA but is CT if \(\operatorname{char}(K)=2\) and for fields \(K\) of characteristic 0 where \(-1\) is not a sum of two squares in \(K\). For odd characteristic \(p\), \(\mathrm{PSL}(2,K)\) is never CT. Infinite CT groups \(G\) with a composition series and having no nontrivial normal abelian subgroup must be monolithic with monolith a simple nonabelian CT group. Further, if a group \(G\) is monolithic with monolith \(N\) isomorphic to \(\mathrm{PSL}(2,K)\) for a field \(K\) of characteristic 2 and \(G\) is CT, then \(G\) and \(N\) are isomorphic. A group is said to be monolithic if it has a unique minimal normal subgroup, and this is contained in every nontrivial normal subgroup. This minimal normal subgroup is termed a monolith. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E26 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E34 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E28 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20G15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6630523 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
commutative transitive group | |||
Property / zbMATH Keywords: commutative transitive group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
conjugately separated abelian group | |||
Property / zbMATH Keywords: conjugately separated abelian group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
monolithic group | |||
Property / zbMATH Keywords: monolithic group / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: L.N.Vaserstein and E.R.Wheland / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2270932408 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1506.02636 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5570212 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classes of Groups Generalizing a Theorem of Benjamin Baumslag / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The elementary theory of groups. A guide through the proofs of the Tarski conjectures. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3614653 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4226365 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Real Length Functions in Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3686704 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties of groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\exists\)-free groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3781908 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine geometry over groups. I: Makanin-Razborov diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine geometry over groups. II: Completions, closures and formal solutions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine geometry over groups. III: Rigid and solid solutions. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine geometry over groups. V\(_1\): Quantifier elimination. I. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Nonexistence of a Certain Type of Simple Groups of Odd Order / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups in which commutativity is a transitive relation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5616902 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:43, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On CT and CSA groups and related ideas |
scientific article |
Statements
On CT and CSA groups and related ideas (English)
0 references
28 September 2016
0 references
A group is \textit{commutative transitive} or CT if commuting is transitive (as a binary relation) on nontrivial elements. A subgroup \(H\) of a group \(G\) is \textit{malnormal,} if \(H \cap gHg^{-1}\) is trivial for every \(g \in G \setminus H\). A group is \textit{conjugately separated abelian} or CSA if maximal abelian subgroups are malnormal. These concepts have played a prominent role in the studies of fully residually free groups, limit groups and discriminating groups. They also play a role in the solution to the Tarski problems. The class of CSA groups is a proper subclass of the class of CT groups. For limit groups and finitely generated elementary free groups they are equivalent. The authors show that a finite CSA group must be abelian. When \(G\) is CT, they prove that \(G\) is not CSA if and only if \(G\) contains a nonabelian subgroup \(G_0\) which contains a nontrivial abelian subgroup \(H\) that is normal in \(G_0\). For a field \(K\), the group \(\mathrm{PSL}(2,K) \) is never CSA but is CT if \(\operatorname{char}(K)=2\) and for fields \(K\) of characteristic 0 where \(-1\) is not a sum of two squares in \(K\). For odd characteristic \(p\), \(\mathrm{PSL}(2,K)\) is never CT. Infinite CT groups \(G\) with a composition series and having no nontrivial normal abelian subgroup must be monolithic with monolith a simple nonabelian CT group. Further, if a group \(G\) is monolithic with monolith \(N\) isomorphic to \(\mathrm{PSL}(2,K)\) for a field \(K\) of characteristic 2 and \(G\) is CT, then \(G\) and \(N\) are isomorphic. A group is said to be monolithic if it has a unique minimal normal subgroup, and this is contained in every nontrivial normal subgroup. This minimal normal subgroup is termed a monolith.
0 references
commutative transitive group
0 references
conjugately separated abelian group
0 references
monolithic group
0 references
0 references