ÄÐÎÁÍÀß ÊÎÍÃÐÓÝÍÖÈß

ÄÐÎÁÍÀß ÊÎÍÃÐÓÝÍÖÈß - êîíãðóýíöèÿ η/θ ôàêòîðñèñòåìû A/θ, îïðåäåëÿåìàÿ ôîðìóëîé

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

ãäå η - íåêîòîðàÿ êîíãðóýíöèÿ àëãåáðàè÷åñêîé ñèñòåìû A, ñîäåðæàùàÿ äàííóþ êîíãðóýíöèþ θ, è [à]_θ = {õ ∈ A|õθà}. Ôàêòîðñèñòåìà (A/θ)/(η/θ) èçîìîðôíà ñèñòåìå A/η.

Ä. Ì. Ñìèðíîâ.

Èñòî÷íèêè:

1. Ìàòåìàòè÷åñêàÿ ýíöèêëîïåäèÿ: Ãë. ðåä. È. Ì. Âèíîãðàäîâ, ò. 2 Ä - Êîî.-Ì.: «Ñîâåòñêàÿ Ýíöèêëîïåäèÿ», 1979.-1104 ñòá., èë.