Exercise · ZW-SUBGROUP-002 · ★☆☆ Basic

What condition is enough for a subset \(H\) of a group \(G\) to be a subgroup?

Choose one option.

Show answer
  • C. \(H\) is nonempty and \(ab^{-1}\in H\) for all \(a,b\in H\)

Explanation

If \(H\) is nonempty and \(ab^{-1}\in H\), taking \(a=b\) gives the identity, then inverses, then products. Closure plus the identity alone can miss inverses, as in \(\mathbb{N}\subset\mathbb{Z}\).

Study Modern algebra I in ZWMath →

Review the concept: Subgroup

A subset \(H\) of a group \(G\) that is itself a group under the operation of \(G\).

\[H\le G\]

More practice problems: subgroup

← ZW-SUBGROUP-001 ZW-SUBGROUP-003 →