Finitary alternating group on infinite set implies no nontrivial identity
From Groupprops
Statement
Suppose is an infinite set and
is the finitary alternating group on
. Then,
is a group satisfying no nontrivial identity.