שיחה:חבורת מנה

הסדר של חבורת מנה של חבורות אינסופיות =

כתוב "הסדר של חבורת המנה G/N הוא האינדקס של N בתוך G; כאשר G,N סופיות, מספר זה שווה ל- $\ {\frac {|G|}{|N|}}$ - מנת הסדרים של G,N".

מה כאשר G,N לא סופיות? נכון כי זה יכול להיות סופי ויכול להיות אינסופי, אבל כדאי אולי להוסיף כמה מילים על המקרה המשלים למקרה המתואר.