Odd-order and CN implies solvable: Difference between revisions

From Groupprops
No edit summary
No edit summary
Line 3: Line 3:
==Statement==
==Statement==


Any [[fact about::odd-order group;2| ]][[uses property satisfaction of::odd-order group]] that is also a [[fact about::finite CN-group;2| ]][[fact about::CN-group;2| ]][[CN-group]] (and hence a [[uses property satisfaction of::finite CN-group]]) must be a [[fact about::solvable group;3| ]][[fact about::finite solvable group;3| ]][[proves property satisfaction of::solvable group]] (and hence, a [[proves property satisfaction of::finite solvable group]].
Any [[fact about::odd-order group;2| ]][[uses property satisfaction of::odd-order group]] that is also a [[fact about::finite CN-group;2| ]][[fact about::CN-group;2| ]][[CN-group]] (and hence a [[uses property satisfaction of::finite CN-group]]) must be a [[fact about::solvable group;3| ]][[fact about::finite solvable group;3| ]][[proves property satisfaction of::solvable group]] (and hence, a [[proves property satisfaction of::finite solvable group]]).


Note that the [[odd-order theorem]] says that ''every'' odd-order group is solvable, and therefore, this result is too weak to be of any use beyond what the odd-order theorem already tells us. However, it is a lot easier to prove than the odd-order theorem, and its utility lies in the way it helps pave the way for a proof of the odd-order theorem.
Note that the [[odd-order theorem]] says that ''every'' odd-order group is solvable, and therefore, this result is too weak to be of any use beyond what the odd-order theorem already tells us. However, it is a lot easier to prove than the odd-order theorem, and its utility lies in the way it helps pave the way for a proof of the odd-order theorem.

Revision as of 20:15, 9 July 2013

The result stated here is superseded by the following result, which is both stronger and simpler: odd-order implies solvable. In other words, the latter result has weaker and easier-to-verify hypotheses, and/or stronger and easier-to-use conclusions.
The main purpose of including this result is that it has a considerably easier proof, and/or was historically proved before the stronger result.

Statement

Any odd-order group that is also a CN-group (and hence a finite CN-group) must be a solvable group (and hence, a finite solvable group).

Note that the odd-order theorem says that every odd-order group is solvable, and therefore, this result is too weak to be of any use beyond what the odd-order theorem already tells us. However, it is a lot easier to prove than the odd-order theorem, and its utility lies in the way it helps pave the way for a proof of the odd-order theorem.

References

Journal references

Textbook references