Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Subgroup

A subset of a group that is itself a group under the same operation.
📜

The statement of the theorem

A subset H⊆GH \subseteq G is a subgroup if HH is a group under the operation of GG restricted to HH.