В математике алгебра Конвея , введенная Павлом Трачиком и Юзефом Пшитицким ( 1988 ) и названная в честь Джона Хортона Конвея , представляет собой алгебраическую структуру с двумя бинарными операциями | и * и бесконечное число констант a 1 , a 2 ,..., удовлетворяющих определенным тождествам . Алгебры Конвея можно использовать для построения инвариантов связей , которые являются инвариантами мотков .