Subgroup

Definition

The universal algebraic definition

Let $G$ be a group. A subset $H$ of $G$ is termed a subgroup if:

• Whenever $a,b$ belong to $H$, so does $ab$
• Whenever $a$ belongs to $H$, so does $a^{-1}$
• $e$ belongs to $H$

Definition via the subgroup condition

The equivalence of this definition with the earlier one is often called the subgroup condition. For full proof, refer: Sufficiency of subgroup condition

It has two forms (left and right):

• A subset of a group is termed a subgroup if it is nonempty and is closed under the left quotient of elements. In other words, a subset $H$ of a group $G$ is termed a subgroup if and only if $H$ is nonempty and $a^{-1}b\in H$ whenever $a,b\in H$
• A subset of a group is termed a subgroup if it is nonempty and is closed under the right quotient of elements. In other words, a subset $H$ of a group $G$ is termed a subgroup if and only if $H$ is nonempty and $a{b}^{-1}\in H$ whenever $a,b\in H$

Definition in terms of injective homomorphisms

A subgroup of a group can also be defined as another abstract group along with an injective homomorphism (or embedding) from that abstract group to the given group. Here, the other abstract group can be naturally identified via its image under the homomorphism, which is the subgroup in a more literal sense.

Often, when we want to emphasize the subgroup not just as an abstract group but in its role as a subgroup, we use the term embedding and think of it as an injective homomorphism.

Equivalence of subgroups

Given a subgroup $H_1\le G_1$ and a subgroup $H_2\le G_2$, we say that these two subgroups are equivalent if there is an isomorphism $\sigma$ from $G_1$ to $G_2$ such that $H_1$ maps to $H_2$ under that isomorphism.

In particular, if $G_1=G_2=G$, then $H_1$ and $H_2$ are equivalent as subgroups if there is an automorphism of $G$ under which $H_1$ maps to $H_2$.

This notion of equivalence of subgroups is important when dealing with and defining the notion of subgroup property.

Metaproperties

Intersection-closedness

YES: This subgroup property is intersection-closed: an arbitrary (nonempty) intersection of subgroups with this property, also has this property.
ABOUT THIS PROPERTY: View variations of this property that are intersection-closed | View variations of this property that are not intersection-closed
ABOUT INTERSECTION-CLOSEDNESS: View all intersection-closed subgroup properties (or, strongly intersection-closed properties) | View all subgroup properties that are not intersection-closed | Read a survey article on proving intersection-closedness | Read a survey article on disproving intersection-closedness

An arbitrary intersection of subgroups is a subgroup. For full proof, refer: Intersection of subgroups is subgroup Thus, given any subset of a group, it makes sense to talk of the smallest subgroup containing that subset.

Join-closedness

YES: This subgroup property is join-closed: an arbitrary (nonempty) join of subgroups with this property, also has this property.
ABOUT THIS PROPERTY: View variations of this property that are join-closed | View variations of this property that are not join-closed
ABOUT JOIN-CLOSEDNESS: View all join-closed subgroup properties (or, strongly join-closed properties) | View all subgroup properties that are not join-closed | Read a survey article on proving join-closedness | Read a survey article on disproving join-closedness

Given any subset, we can talk of the subgroup generated by that subset. One way of viewing this is as the intersection of all subgroups containing that subset. Another way of viewing it is as the set of all elements in the group that can be expressed using elements of the subset, and the group operations.

Hence, in particular, given a family of subgroups, we can talk of the subgroup generated by them, as simply the subgroup generated by their union. This is the smallest subgroup containing all of them.

Transitivity

This subgroup property is transitive: a subgroup with this property in a subgroup with this property, also has this property in the whole group.
ABOUT THIS PROPERTY: View variations of this property that are transitive | View variations of this property that are not transitive
ABOUT TRANSITIVITY: View a complete list of transitive subgroup properties|View a complete list of facts related to transitivity of subgroup properties |Read a survey article on proving transitivity

Any subgroup of a subgroup is again a subgroup. This follows directly from any of the equivalent definitions of subgroup.

Trimness

This subgroup property is trim -- it is both trivially true (true for the trivial subgroup) and identity-true (true for a group as a subgroup of itself).
View other trim subgroup properties | View other trivially true subgroup properties | View other identity-true subgroup properties

There are two extreme kinds of subgroups: the trivial subgroup, which comprises only the identity element, and the whole group, which comprises all elements.

Intermediate subgroup condition

YES: This subgroup property satisfies the intermediate subgroup condition: if a subgroup has the property in the whole group, it has the property in every intermediate subgroup.
ABOUT THIS PROPERTY: View variations of this property satisfying intermediate subgroup condition | View variations of this property not satisfying intermediate subgroup condition
ABOUT INTERMEDIATE SUBROUP CONDITION:View all properties satisfying intermediate subgroup condition | View facts about intermediate subgroup condition

The property of being a subgroup satisfies the intermediate subgroup condition. That is, if $H\le G$ is a subgroup and $K$ is a subgroup of $G$ containing $H$, then $H$ is a subgroup of $K$ (not merely a subset).

Image condition

YES: This subgroup property satisfies the image condition, i.e., under any surjective homomorphism, the image of a subgroup satisfying the property also satisfies the property
View other subgroup properties satisfying image condition

The image of a subgroup under any homomorphism of groups is again a subgroup.

Inverse image condition

This subgroup property satisfies the inverse image condition. In other words, the inverse image under any homomorphism of a subgroup satisfying the property also satisfies the property. In particular, this property satisfies the transfer condition and intermediate subgroup condition.

The inverse image of a subgroup under any homomorphism of groups is again a subgroup.

The union of any ascending chain of subgroups is again a subgroup. In fact, it is precisely the subgroup generated by the members of the ascending chain.