Skip to main content

Can a group generated by its involutions, the product of every two of which has order a power of 2, have an element of odd order?

Let $G$ be a group which is generated by the set of its involutions, and assume that the product of every two involutions in $G$ has order a power of 2. Is it possible that $G$ has an element of odd order $\neq 1$?

Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137