Pure subgroup

From Wikipedia, the free encyclopedia

This is a term in mathematics, in the realm of group theory.

A subgroup S of a (typically abelian) group G is said to be pure if whenever an element of S has an n^th root in G, it necessarily has an n^th root in S.

Pure subgroups are also called isolated subgroups or serving subgroups.