סדרה נורמלית – הבדלי גרסאות

<math>\ G=G_0\triangleright G_1\triangleright ...\cdots \triangleright G_k</math>

'''עידון''' של סדרה הוא סדרה ארוכה יותר, הכוללת את כל תת-החבורות של הסדרה הקודמת. אפשר לעדן סדרה נתונה אם קיימת חבורה <math>\ L</math> שמקיימת <math>\ G_i\triangleright L\triangleright G_{i+1}</math>, <math>\ G_i\ne L\ne G_{i+1}</math>. במקרה זה הסדרה <math>\ G=G_0\triangleright ...\cdots \triangleright G_i\triangleright L\triangleright G_{i+1}\triangleright G_k</math> היא עידון של הסדרה המקורית.