Pronormal subgroup

In mathematics, especially in the field of group theory, a pronormal subgroup is a subgroup that is embedded in a nice way.

Pronormality is a simultaneous generalization of both normal subgroups and abnormal subgroups such as Sylow subgroups, (Doerk & Hawkes 1992, I.§6).

(Here Hg denotes the conjugate subgroup gHg-1.)

Here are some relations with other subgroup properties:

This group theory-related article is a stub.