Фактор-структура

Фактор-структура — в універсальній алгебрі, це результат розбиття множини елементів алгебричної структури відношенням конгруенції.

Конгруенція — відношення еквівалентності, що сумісне зі всіма операціями даної структури.

Елементами фактор-структури є класи еквівалентності даного відношення, а операції є тими ж самими, що і в початкової структури.

Прикладами фактор-структури є

• фактор-множина,
• фактор-група,
• фактор-кільце,
• фактор-модуль,
• фактор-простір,
• фактор-алгебра (алгебри над полем).

Якщо A — множина елементів алгебричної структури ${\mathcal {A}}$, а E — відношення еквівалентності на A. Відношення E називається сумісним з (чи має властивість підстановки по відношенню до) n-арною операцією f, якщо із $(a_{i},\;b_{i})\in E$ випливає $(f(a_{1},a_{2},\ldots ,a_{n}),f(b_{1},b_{2},\ldots ,b_{n}))\in E$ для всіх $a_{i},\;b_{i}\in A$ з $1\leq i\leq n$. Відношення еквівалентності сумісне зі всіма операціями алгебричної структури називається конгруенцією для цієї алгебраїчної структури (чи універсальної алгебри).

Теорема про гомоморфізми

...

Ґратка конгруенцій

...

Умова Мальцева

...

Див. також

• Універсальна алгебра
• Підструктура (математика)
• Теорема про гомоморфізми
• Теореми про ізоморфізми

Джерела

• Bourbaki. Algebra, Part I. — Hermann, 1973. — С. 516. — (Елементи математики)(англ.)
• Кон П. Универсальная алгебра. — Москва : Мир, 1968. — 351 с.(рос.)
• Курош А. Г. Общая алгебра. — М. : Мир, 1970. — 162 с.(рос.)

• Мальцев А. И. Алгебраические системы. — Москва : Наука, 1970. — 392 с.(рос.)
• Артамонов В.А., Салий В.Н., Скорняков Л.А. и др. Общая алгебра / Под ред. Л.А.Скорнякова. — М. : Наука, 1991. — Т. 2. — 480 с. — (СМБ) — ISBN 5-02-014427-4.(рос.)