در گروه جمعی Z48 کار میکنیم. برای a∈Zn زیرگروه دوری ⟨a⟩ برابر با ⟨gcd(a,n)⟩ است و مرتبهٔ آن برابر است با
∣⟨a⟩∣=gcd(a,n)n.
دو زیرگروه.
∣H∣=∣⟨4⟩∣=gcd(4,48)48=448=12,∣K∣=∣⟨6⟩∣=gcd(6,48)48=648=8.
حاصلضرب HK. چون Z48 آبلی است، H و K نرمال هستند، پس HK یک زیرگروه است و در اینجا برابر با مجموع آنهاست:
HK=H+K=⟨4⟩+⟨6⟩=⟨4,6⟩=⟨gcd(4,6)⟩=⟨2⟩.
بنابراین
∣HK∣=∣⟨2⟩∣=gcd(2,48)48=248=24.
بررسی متقابل با فرمول حاصلضرب. برای زیرگروههای متناهی داریم
∣HK∣=∣H∩K∣∣H∣∣K∣.
اشتراک دو زیرگروه دوری از Zn توسط lcm مولدها تولید میشود:
H∩K=⟨4⟩∩⟨6⟩=⟨lcm(4,6)⟩=⟨12⟩,∣H∩K∣=1248=4.
پس
∣HK∣=412⋅8=24.
هر دو راه به ∣HK∣=24 میرسند، که گزینهٔ ۴ است.
نکتهٔ کنکوری: در Zn، مجموع و اشتراک زیرگروههای دوری به نظریهٔ اعداد تقلیل مییابد: ⟨a⟩+⟨b⟩=⟨gcd(a,b)⟩ و ⟨a⟩∩⟨b⟩=⟨lcm(a,b)⟩، پس هرگز لازم نیست عناصر را فهرست کنید.