Let be a finite group, and let be a divisor of . Show that if is the only subgroup of of order , then must be normal in .
I'm not really sure what to do with this. It's been a while since I worked with cyclic groups or Lagrange's theorem, and so I may be forgetting some essential tricks.
Any help would be much appreciated!