Every nonabelian group of order 6 has a non-normal subgroup of order 2 (revisited)
7
I am fully aware that this question has already been addressed here and here. The question, however, derives from a Dummit and Foote exercise (section 4.2 exercise 10 page 122) and the answers provided make use of material that appears later in the book, or, at least, I do not clearly understand them in terms of the material that I have studied already. So, I would like to submit the following tentative proof 'from first principles' (i.e. Dummit and Foote before page 122). As I feel insecure about it, I would be grateful if you could check it. Consider a nonabelian group G of order 6. By Cauchy's theorem, the group contains at least one element of order 2, and therefore at least one subgroup of order 2. Suppose this/these subgroups are all normal. This would imply that all elements of order 2 commute w...