Abstract. A space X is selectively sequentially pseudocompact if for every family {Un : n ∈ N} of non-empty open subsets of X, one can choose a point xn ∈ Un for every n ∈ N in such a way that the sequence {xn : n ∈ N} has a convergent subsequence. Let G be a group from one of the following three classes: (i) V-free groups, where V is an arbitrary variety of Abelian groups; (ii) torsion Abelian groups; (iii) torsion-free Abelian groups. Under the Singular Cardinal Hypothesis SCH, we prove that if G admits a pseudocompact group topology, then it can also be equipped with a selectively sequentially pseudocompact group topology. Since selectively sequentially pseudocompact spaces are strongly pseudocompact in the sense of García-Ferreira and Ortiz-Castillo, this provides a strong positive (albeit partial) answer to a question of García-Ferreira and Tomita.The symbol N denotes the set of natural numbers and N + = N \ {0} denotes the set of positive integer numbers. The symbol Z denotes the group of integer numbers, R the set of real numbers and T the circle group {e iθ : θ ∈ R} ⊆ R 2 . The symbols ω, ω 1 and c stand for the first infinite cardinal, the first uncountable cardinal and the cardinality of the continuum, respectively. For a set X, the set of all finite subsets of X is denoted by [X] <ω , while [X] ω denotes the set of all countably infinite subsets of X.If X is a subset of a group G, then X is the smallest subgroup of G that contains X. For groups which are not necessary Abelian we use the multiplication notation, while for Abelian groups we always use the additive one. In particular, e denotes the identity element of a group and 0 is used for the zero element of an Abelian group. Recall that an element g of a group G is torsion if g n = e for some positive integer n. A group is torsion if all of its elements are torsion. A group G is bounded torsion if there exists n ∈ N such that g n = e for all g ∈ G.Let G be an Abelian group. The symbol t(G) stands for the subgroup of torsion elements of G. For each n ∈ N, note that nG = {ng : g ∈ G} is a subgroup of G and the map g → ng (g ∈ G) is a homomorphism of G onto nG. For a cardinal τ we denote by G (τ ) the direct sum of τ copies of the group G.We will say that a sequence {x n : n ∈ N} of points in a topological space X:• converges to a point x ∈ X if the set {n ∈ N : x n ∈ W } is finite for every open neighbourhood W of x in X; • is convergent if it converges to some point of X.