..как доказать, что индекс [G:(H intersect K)]=[G:H]*[G:K]

[bak_buk]

G - бесконечная группа; H,K - её подгруппы.

Пасиб.

[Sonic86]

Пусть $n=[G:H], k=[G:K]$, тогда смежные классы $G$ по $H$ - $a_1H,\ldots,a_nH$, аналогично смежные классы и $G$ по $K$. Выпишите теперь исходя из этого все смежные классы $G$ по $H \cap K$.

(формулы)

Здесь написано как набирать формулы topic183