Обобщение теоремы об эквивалентности координатного и алгебраического определений гладкого многообразия

В работе обобщается теорема об эквивалентности координатного и алгебраического определения гладкого многообразия. При алгебраическом определении точкой называют гомоморфизм из алгебры гладких действительных функций, заданных на многообразии, в поле действительных чисел. Рассматривается обобщение для случая, когда поле действительных чисел заменяется на произвольную ассоциативную нормированную алгебру, в общем случае некоммутативную.