ДРОБНАЯ КОНГРУЭНЦИЯ

ДРОБНАЯ КОНГРУЭНЦИЯ - конгруэнция η/θ факторсистемы A/θ, определяемая формулой

[x]_θ(η/θ)[y]_θ ⇔ xηy,

где η - некоторая конгруэнция алгебраической системы A, содержащая данную конгруэнцию θ, и [а]_θ = {х ∈ A|хθа}. Факторсистема (A/θ)/(η/θ) изоморфна системе A/η.

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

Источники:

1. Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил.