Union of two subgroups

ID: union-of-two-subgroups

The union of two subgroups is a subgroup exactly when one contains the other. Otherwise choose and . Their product cannot lie in , since would then lie in , and cannot lie in , since would then lie in . The union therefore fails closure. Unlike the union, the subgroup generated by both subgroups always exists.

New to topics? Read the docs here!