Consider the following two conditions for a group $G$:

(1) $G$ does not satisfy a nontrivial law.

(2) $G$ contains a non-abelian free subgroup.

Obviously (2) implies (1) and it is easy to construct torsion groups that do not satisfy any law (e.g., the direct product of all finite groups). Thus (1) does not imply (2) in general. However the following question seems open:

Are (1) and (2) equivalent for profinite groups?

Here is a similar question:

Suppose that a residually finite group does not satisfy a law. Does its profinite completion contain a nonabelian free subgroup?

These questions may be thought of as possible generalizations of the Tits alternative to residually finite (or profinite) groups.

The answer to the second question is positive for finitely generated p-groups. This follows from [Wilson, Zelmanov, *Identities for Lie algebras of pro-p groups*, JPAA 81(192), 103-109], where the authors prove that if $G$ is a finitely generated residually finite p-group, then either it is finite (and hence satisfies a law), or its profinite completion contains a nonabelian free group. In the general case they only prove that if the profinite completion of a residually finite group does not contain a nonabelian free subgroup, then some Lie algebra associated to the group satisfies a law.

Some residually finite groups satisfying laws.Geometric group theory, 45–50, Trends Math., Birkhäuser, Basel (2007), it was shown:Corollary 10.There exists a pro-p-group, topologically finitely generated, that satisfies a non-trivial group law, and is not virtually solvable. $\endgroup$1more comment