Skip to main content
edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Source Link
Ken W. Smith
  • 1k
  • 1
  • 9
  • 15

Is the largest normal abelian subgroup of a finite 2-group $P$ of order at least the square root of the order of $P$?

Let $G$ be a group of order $2^n$. Does $G$ have a normal abelian subgroup of order at least $2^{n/2}$?

(This is true, via computations in GAP, for $n \le 8$. The question is similar to one posed here: https://math.stackexchange.com/questions/44275/abelian-subgroups-of-p-groups/44283#44283 However, that question, and answer, involves groups of order $p^n$, for odd primes $p$, and I need $p$ to be even!)