گروه فرادوری

گروهی که زیرگروهی بهنجار و دوری دارد به‌طوری‌که گروه خارج قسمتی متناظر نیز دوری است