hasNormalSubgroup

114 triples
GPTKB property

Alternative names (4)
has normal subgroup is a normal subgroup of isNormalSubgroupOf minimalNormalSubgroup