On logically cyclic groups. (Q2260299)

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\)).