加载中…
We show that for any finite group and for any there exists a word such that a -tuple in satisfies if and only if it generates a solvable subgroup. In particular, if itself is not solvable, then it cannot be obtained as a quotient of the one relator group . As a corollary, the probability that a word is satisfied in a fixed non-solvable group can be made arbitrarily small, answering a question of Alon Amit.

生成讲解博客的中文版本

生成AI智能校验的中文版本