page_title: Group structure and the axiom of choice
hierarchical_section_title: Group structure and the axiom of choice
caption_attribution_description: English: Ernst Zermelo (1871-1953), German mathematician, in Freiburg.
context_page_description: In mathematics a group is a set together with a binary operation on the set called multiplication that obeys the group axioms. The axiom of choice is an axiom of ZFC set theory which in one form states that every set can be wellordered.
  In ZF set theory, i.e. ZFC without the axiom of choice, the following statements are equivalent:
  For every nonempty set X there exists a binary operation • such that is a group.
  The axiom of choice is true.
context_section_description: In mathematics a group is a set together with a binary operation on the set called multiplication that obeys the group axioms. The axiom of choice is an axiom of ZFC set theory which in one form states that every set can be wellordered.
  In ZF set theory, i.e. ZFC without the axiom of choice, the following statements are equivalent:
  For every nonempty set X there exists a binary operation • such that (X, •) is a group.
  The axiom of choice is true.
caption: Ernst Zermelo in 1904 proved the wellordering theorem using what was to become known as the axiom of choice.
exif: {"Image XResolution": "72", "Image YResolution": "72", "Image ResolutionUnit": "Pixels/Inch", "Image Software": "paint.net 4.2.16"}