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

Subgroup Test

A simple criterion to determine if a subset of a group is a subgroup without verifying all group axioms.
📜

The statement of the theorem

A non-empty subset HH of a group GG is a subgroup if and only if for all a,bHa, b \in H, ab1Hab^{-1} \in H.
Source: Wikipedia