问答题 设G是有限群，H·K≤G且|G：H|与|G：K|互素：则|G：H∩K|=|G：H|·|G：K|。

问答题 设R是唯一分解整环，a，b，c∈R，假设a|c且b|c，如果a与b互素，证明：ab|c。

问答题 设H和K是群G的有限子群，证明|HK|·|H∩K|=|H|·|K|。