# Semantic search

Central factor implies normal, Central factor implies transitively normal, Central factor is centralizer-closed, Central factor is not finite-intersection-closed, Central factor is not finite-join-closed, Central factor is not quotient-transitive, Central factor is transitive, Central factor is upper join-closed, Central factor not implies direct factor, Central factor satisfies image condition, Central factor satisfies intermediate subgroup condition, Characteristic central factor of WNSCDIN implies WNSCDIN, Cocentral implies central factor, Conjugacy-closed normal not implies central factor, Conjugacy-closed subgroup of ambivalent group is ambivalent, Direct factor implies central factor, Image-potentially direct factor equals central factor, Induced class function from conjugacy-closed normal subgroup is index of subgroup times class function inside the subgroup and zero outside the subgroup, Join of finitely many direct factors implies central factor, Locally inner automorphism-balanced not implies central factor, Maximal implies central factor or self-centralizing, Normal not implies central factor, Transitively normal not implies central factor