Yes. (This is corrected and expanded since the first version.) There are easy examples of simple groups $G$ such that $G\times G$ is isomorphic to a subgroup of $G$. One example is the group of finitely supported even permutations of a countable infinite set. Another is the quotient of all permutations of a countably infinite set by the finitely supported ones. Another is the infinite special linear group (direct limit of $SL_n(k)$) of a field.
Tom Goodwillie
- 55.9k
- 7
- 151
- 240