Математическая энциклопедия - дробная конгруэнция

конгруэнция h/q факторсистемы А/q, определяемая формулой

где h.некоторая конгруэнция алгебраической системы А, содержащая данную конгруэнцию q, и [а]q ={}. Факторсистема ( А/q)/(h/q). изоморфна системе А/h.

Д. М. Смирнов.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985