Помогите, пожалуйста, доказать: Если группа является мощной, то она финитно аппроксимируема. Пытаюсь использовать определение мощности: Группа G называется мощной, если для любого не единичного элемента x из G и любого положительного целого n в группе G существует нормальная подгруппа N конечного индекса, такая, что xN имеет порядок n в фактор группе G/N/ задан 10 Апр '17 21:00 12345Ann |
А что тут надо доказывать? Полагаем n не равным 1 (например, n=2). Если элемент xN имеет порядок n > 1 в факторгруппе, то он неединичен. А для финитной аппроксимируемости именно это и нужно: мы имеем гомоморфизм G на конечную группу G/N, при котором x переходит не в единицу.
Спасибо, все поняла.