In group theory, a "pure subgroup" refers to a specific type of subgroup within an abelian group. Specifically, a subgroup \( H \) of an abelian group \( G \) is called a **pure subgroup** if it satisfies a certain property concerning integer multiples.
New to topics? Read the docs here!