ในทางคณิตศาสตร์ในสาขาทฤษฎีกลุ่มกลุ่มย่อยของกลุ่ม หนึ่ง จะเรียกว่าเป็นกลุ่มย่อยพหุปกติ (polynormal)ถ้าการปิดของกลุ่มย่อยนั้นภายใต้การผันแปรโดยสมาชิกใดๆ ของกลุ่มนั้น สามารถทำได้ผ่านการปิดภายใต้การผันแปรโดยสมาชิกบางตัวในกลุ่มย่อยที่สร้างขึ้นด้วยเช่นกัน

ในทางสัญลักษณ์ กลุ่มย่อยของกลุ่มหนึ่งเรียกว่ากลุ่มย่อยพหุปกติ (polynormal) ถ้าสำหรับกลุ่มย่อยใดๆกลุ่มย่อยนั้นจะเหมือนกับ กลุ่มย่อย นั้น ${\displaystyle H}$${\displaystyle G}$${\displaystyle g\in G}$${\displaystyle K=H^{<g>}}$${\displaystyle H^{H^{<g>}}}$

ต่อไปนี้คือความสัมพันธ์กับคุณสมบัติของกลุ่มย่อยอื่นๆ:

• ทุกกลุ่มย่อยที่เป็นพรอนอร์มอล แบบอ่อนล้วน เป็นพหุนอร์มอล
• กลุ่มย่อยเหนือธรรมชาติทุก กลุ่ม เป็นแบบโพลีนอร์มอล^{[ 1 ]}