Assertion: abelian group's subgroup | /r/CapableOf | give the name
Facets:
value: to the theory
type: TRANSITIVE-OBJECT
Source sentences:
text: The finite abelian extension corresponding to an open subgroup of finite index is called the class field for that subgroup, which gave the name to the theory.