Кручение Рейдемейстера
Круче́ние Рейдеме́йстера (кручение де Рама, кручение Франца), инвариант, позволяющий различать многие структуры в дифференциальной топологии, например узлы, гладкие структуры на многообразиях, в частности на линзовых пространствах. Впервые кручение Рейдемейстера введено К. Рейдемейстером (Reidemeister. 1935) при изучении трёхмерных линз, обобщения для -мерных линз были независимо получены В. Францем и Г. Рамом (Franz. 1935, Rham. 1936).
Пусть – свободный комплекс левых -модулей, где – ассоциативное кольцо с единицей. Пусть, далее, – матричное представление кольца , т. е. гомоморфизм кольца в кольцо всех действительных -матриц. И пусть в модулях комплекса отмечены базисы , а комплекс модулей над ацикличен; тогда определено кручение Уайтхеда , где – мультипликативная группа поля действительных чисел. Число называется кручением Рейдемейстера комплекса , а также действительным кручением Рейдемейстера.
Эффективность замены кручения Уайтхеда на кручение Рейдемейстера основывается на теореме Басса (Bass. 1964): если – конечная группа, то элемент имеет конечный порядок, если для любого представления , где – кручение Рейдемейстера, индуцированное элементом .