# Notation for subgroup properties

From Groupprops

This is a notation page: it lists some important notation

## Notations for subgroup properties

- denotes the tautology subgroup property, viz or means that is a subgroup of (with no further restrictions)
- denotes the subgroup property of being a normal subgroup, viz or means that is a normal subgroup of .
- denotes the subgroup property of being a characteristic subgroup, viz means that is a characteristic subgroup of .
- denotes the subgroup property of being a subnormal subgroup, viz or means that is a subnormal subgroup of .
- denotes the subgroup property of being a maximal subgroup, viz iff is a maximal subgroup of