Source: wikibot/pronormal-subgroup
= Pronormal subgroup
{wiki=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 \\).