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!