Выдержка из книги
Бредон Г.N.
Введение в теорию компактных групп преобразований
Мы должны доказать, что ранг группы Hr ( F0, Fnf ] A) равен 1 и что если b е Я ( Fn, F0 ( ] A), где i. Но rk / / ( / % Fn A) rk Я ( X, Л) rk Я ( X) rk / / ( F) в силу 6.2 и 1.6, откуда следует в свою очередь, что гомоморфизм двойственности есть изоморфизм.