В математике производная Фокса — это алгебраическая конструкция в теории свободных групп , которая имеет много общего с обычной производной исчисления . Производная Фокса и связанные с ней концепции часто называются исчислением Фокса или (исходный термин Фокса) свободным дифференциальным исчислением . Производная Фокса была разработана в серии из пяти статей математика Ральфа Фокса , опубликованных в Annals of Mathematics , начиная с 1953 года .
Определение
Если G — свободная группа с единичным элементом e и образующими g i , то производная Фокса по g i является функцией из G в целочисленное групповое кольцо , которое обозначается , и подчиняется следующим аксиомам :
Первые две аксиомы идентичны аналогичным свойствам частной производной исчисления, а третья представляет собой модифицированную версию правила произведения . Как следствие аксиом, мы имеем следующую формулу для обратных величин