From Groupprops
Jump to: navigation, search
This term is related to: transitivity
View other terms related to transitivity | View facts related to transitivity


Symbol-free definition

A subgroup property is said to be a transitivizer of another subgroup property if it is transitive and its conjunction with the other subgroup property is also transitive.

Definition with symbols

A subgroup property p is termed a transitivizer for a subgroup property q if p is transitive and the logical conjunction of p with q is also transitive.