Assertion: abelian group's subgroup | /r/HasProperty | k of a
Facets:
Source sentences:
text: A → B is the subgroup K of A defined by K = {x ∈ A : f(x) = 0}, together with the inclusion homomorphism i : K → A.