On logically cyclic groups.
A group \(G\) is called logically cyclic if there is an element \(s\in G\) such that every element of \(G\) can be defined by a first-order formula with parameter \(s\). The paper under review investigates the structure of such groups. A cyclic group is logically cyclic, but the converse fails, as shown by the additive group of rational numbers. The author shows that a logically cyclic finite group is cyclic. Concerning infinite groups, the author determines the structure of a logically cyclic group \(G\) in the particular cases when \(G\) is either finitely generated (in that case, \(G\) is either cyclic or isomorphic to \(\mathbb Z\times\mathbb Z_2\)), or divisible (then \(G\) is the additive group of \(\mathbb Q\)), or torsion-free (then \(G\) embeds in the additive group of \(\mathbb Q\)).
- ON A CLASS OF CYCLICALLY PRESENTED GROUPS
- On cyclically ordered groups
- On a certain class of cyclically presented groups.
- Cyclic n-ary groups and their generalizations.
- A note on cyclic separability of groups.
- A characterization of finite cyclic groups.
- scientific article; zbMATH DE number 2099012
- Cyclic properties: from linear logic to pregroups
- scientific article; zbMATH DE number 6339
This page was built for publication: On logically cyclic groups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2260299)
