K group
From Wikipedia, the free encyclopedia
In mathematics, in the realm of group theory, a group is termed a K group or a complemented group if every subgroup of it has a lattice theoretic complement. That is, G is a K group if for every subgroup H of G there is a subgroup L that intersects H trivially and that, along with H generates G.
Every finite simple group is a K group. The proof of this requires the classification of finite simple groups.
