Pronormal subgroup

A pronormal subgroup is a specific type of subgroup in group theory, particularly in the context of finite groups. A subgroup \( H \) of a group \( G \) is said to be **pronormal** if, for every \( g \in G \), the intersection of \( H \) with \( H^g \) (the conjugate of \( H \) by \( g \)) is a normal subgroup of \( H \).