Ромб (решётка)

Ромб (от др.-греч. ῥόμβος — ромб^[1]), или диамант (нем. Diamant, буквально — алмаз^[2]), ${\displaystyle M_{3}}$, ${\displaystyle {\mathfrak {M}}_{3}}$ (англ. diamond^[3]) — абстрактная алгебраическая решётка из 5 элементов с диаграммой Хассе, показанной справа^[4][5].

Эту решётку можно построить, например, на множестве ${\displaystyle \{1,\,2,\,3\}}$ и его трёх подмножествах ${\displaystyle a=\{1\}}$, ${\displaystyle b=\{2\}}$, ${\displaystyle c=\{3\}}$ с обычными отношениями включения и равенства множеств. Эта решётка — наименьшая модулярная недистрибутивная, так как три её средние элемента ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$ отвечают модулярному, но не дистрибутивному закону. Действительно^[4]:

${\displaystyle a+(b\cdot c)=a\neq 1=(a+b)\cdot (a+c)}$.

Описания ромба ${\displaystyle M_{3}}$

${\displaystyle +}$ ${\displaystyle \cdot }$	${\displaystyle 0}$	${\displaystyle a}$	${\displaystyle b}$	${\displaystyle c}$	${\displaystyle 1}$
${\displaystyle 0}$		${\displaystyle a}$	${\displaystyle b}$	${\displaystyle c}$	${\displaystyle 1}$
${\displaystyle a}$	${\displaystyle 0}$		${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$
${\displaystyle b}$	${\displaystyle 0}$	${\displaystyle 0}$		${\displaystyle 1}$	${\displaystyle 1}$
${\displaystyle c}$	${\displaystyle 0}$	${\displaystyle 0}$	${\displaystyle 0}$		${\displaystyle 1}$
${\displaystyle 1}$	${\displaystyle 0}$	${\displaystyle a}$	${\displaystyle b}$	${\displaystyle c}$
Таблицы сложения и умножения

Диаграмма Эйлера

${\displaystyle {}-\!\!\!\langle \,=\{\langle 0,\,a\rangle ,\langle 0,\,b\rangle ,\langle 0,\,c\rangle ,\langle a,\,1\rangle ,\langle b,\,1\rangle ,\langle c,\,1\rangle \}}$

Отношение покрываемости

Ромб ${\displaystyle M_{3}}$ образуется, например, всеми подгруппами четверной группы Клейна^[4].

Две пятиэлементные решётки, пятиугольник ${\displaystyle N_{5}}$ и ромб ${\displaystyle M_{3}}$, — типичные примеры недистрибутивной решётки, которые играют важную роль в теории решёток^[5].

• Неизоморфные диаграммы Хассе решёток с 5 элементами
• Само­двой­ст­вен­ная
• Пяти­у­голь­ник ${\displaystyle N_{5}}$^[6][7]. Само­двой­ст­вен­ная
• Ромб ${\displaystyle M_{3}}$^[4][7]. Самодвой­ственная
• Двой­ст­вен­ная сле­ду­ю­щей
• Двой­ст­вен­ная пре­ды­ду­щей

Модулярная решётка дистрибутивна тогда и только тогда, когда ромб ${\displaystyle M_{3}}$ в ней не содержится, то есть не изоморфен какой-либо подрешётке^[5][4].

Решётка дистрибутивна тогда и только тогда, когда ни пятиугольник ${\displaystyle N_{5}}$, ни ромб ${\displaystyle M_{3}}$ в ней не содержатся, то есть они не изоморфны каким-либо подрешёткам^[5][8].

1. ↑ Ромб, 1988.
2. ↑ Диамант. БСЭ 3, 1972.
3. ↑ George Grätzer. General Lattice Theory, 1978, Chapter II. Distributive Lattices. 1. Characterization Theorems and Representation Theorems, p. 59.
4. ↑ ^{1 2 3 4 5} Салий В. Н. Решетки с единственными дополнениями, 1984, Глава первая. § 3. Модулярные решётки. 5, с. 32.
5. ↑ ^{1 2 3 4} Гретцер Г. Общая теория решёток, 1982, Глава II. Дистрибутивные решетки. § 1. Теоремы характеризации и теоремы представления, с. 87.
6. ↑ Салий В. Н. Решетки с единственными дополнениями, 1984, Глава первая. § 3. Модулярные решётки. 3, с. 30.
7. ↑ ^{1 2} Гуров С. И. Булевы алгебры, упорядоченные множества, решётки: определения, свойства, примеры, 2013, 4.1 Решёточно упорядоченные множества и решётки, с. 128.
8. ↑ Салий В. Н. Решетки с единственными дополнениями, 1984, Глава первая. § 3. Модулярные решётки. 3, с. 34.

• Гретцер Г.. Общая теория решёток = George Grätzer. General Lattice Theory (1978) (рус.) / Пер. с англ. А. Д. Больбота, В. А. Горбунова и В. И. Туманова под ред. Д. М. Смирнова. — М.: «Мир», 1982. — 452 с.: ил. — 6000 экз.
• Гуров С. И. Булевы алгебры, упорядоченные множества, решётки: определения, свойства, примеры (рус.). — 2-е изд. — М.: URSS : Книжный дом «Либроком», 2013. — 221 с., ил. — (Основы защиты информации. Секретно для пользы = Secreto ad utilitatem). — ISBN 978-5-397-03899-7.
• Диамант // Большая советская энциклопедия. (В 30 томах) (рус.) / гл. ред. А. М. Прохоров. — 3-е изд. — М.: Советская энциклопедия, 1972. — Т. 8 Дебитор — Евкалипт. — С. 237. — 592 с., ил., 22 л. ил., 1 карта-вклейка. — 628 тыс. экз.
• Ромб // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров. Ред. кол. С. И. Адян, Н. С. Бахвалов, В. И. Битюцков, А. П. Ершов, Л. Д. Кудрявцев, А. Л. Онищик, А. П. Юшкевич. — М.: «Советская энциклопедия», 1988. — С. 533. — 847 с., ил. — 148 900 экз.
• Салий В. Н. Решетки с единственными дополнениями (рус.). — М.: «Наука», 1984. — 128 с., ил. — 4400 экз.
• George Grätzer. General Lattice Theory (англ.). — New York · San Francisco: Academic Press, 1978. — xiii+381 p. — (Pure and applied mathematics). — ISBN 0-12-295750-4.