The group class SJ is not countably recognizable

Abstract

A group is an {\it $\SJ$-group} if it admits a general abelian series all of whose terms are subnormal of finite defect in the whole group. We construct a group $G$ which is not an~\hbox{$\SJ$-group}, although every countable subgroup of $G$ is an $\SJ$-group.

arXiv comment22 pages