補群
補群(、英: complement) とは、数学(特に群論として知られる代数学の分野) において、部分群に対して定義される補集合のような概念である。