>>375
いちおう修正

#AをAの濃度とする

可算無限濃度の群G={g_i | i∈N}とその正規部分群Hに対して、

#(G/H)=lim(n→∞) #{g_i | i < n}/#{g_j | g_j ∈ H , j < n}

は常に成立するか？成立しないのならば反例を挙げよ.