Every proper subgroup of a nonabelian group is nonabelian.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
We note the following counterexample to prove that the statement is false
Let G be any non abelian group .
consider an element a ∈ G
Then the subgroup of G generated by this element a is
< a > = a n : n ∈ Z which is abelian.
Of course, we should also check that < a > = G , but that's obvious.
I think I'm right in saying that the inverse on it's own is sufficient to form a subgroup. If not then in some groups you may have the inverse (say I ) and an element a such that a = a − 1 ⟹ a a = I
Problem Loading...
Note Loading...
Set Loading...
We will provide a counterexample to show the statement is false.
Let G be a nonabelian group with identity element e. Consider the trivial subgroup {e}, which is clearly abelian. As G is nonabelian it follows that G cannot be the trivial subgroup {e}, and so, {e} is in fact a proper abelian subgroup of G.