Thin subsets of topological groups (Q387901)

For a group \(G\) with identity \(e\), a subset \(A\) of \(G\) is called \textit{thin} if the sets \(gA\cap A\) and \(Ag\cap A\) are finite for each \(g\in G\smallsetminus\{e\}\); a sequence \(\langle a_n\rangle_{n\in\omega}\) of elements of a group \(G\) is said to be a \(T\)-\textit{sequence} if there exists a group topology on \(G\) in which \(\langle a_n\rangle_{n\in\omega}\) converges to the identity \(e\) of \(G\); with these concepts, the following results have been proved: \newline (i) each countable totally bounded topological group has a dense thin subset and a thin subset \(X\) such that \(e\) is the unique limit point of \(X\);\newline (ii) if \(G\) is an infinite abelian group such that for every \(g\in G\smallsetminus\{0\}\) and \(k\in\mathbb N\), the set \(\{x\in G: kx=g\}\) is finite and if \(A\) is an infinite subset of \(G\), then there exists a T-sequence \(\langle a_n\rangle_{n\in\omega}\) taking values in \(A\);\newline (iii) for every thin subset \(T\) of a countable abelian group \(G\), there exists a non-discrete group topology on \(G\) such that \(T\) is closed and discrete. Several open questions have been posed at the end of the paper.