Изоморфные алгебры

@Андрей1992 · Регистрация: 13.06.2012

Author24 — интернет-сервис помощи студентам

Так понял из определения изоморфизма - это гомоморфизм с биекцией.
А гомоморфизм, по определению - функция f : M→P,
для всех a∈M выполняется условие:
f(φ(a))= ψ(f(a)) для любого i=1,2,3,4.
А вот, что делать дальше я в ступоре, как проверить гомоморфность с биекцией и найти изоморфизм.

@DeadPenguin · 22.03.2016, 22:26

Андрей1992, чтобы не проверять большое число вариантов, заметим, что в обоих алгебрах есть два элемента, квадраты которых совпадают с ними: a1, a4 и b1, b2. При изоморфизме это свойство должно сохраняться. Итак, рассматриваем варианты.

1) a1 -> b1, a4 -> b2. a1*a4 = a4 -> b2, b1*b2 = b3. Не подходит

2) a1 -> b2, a4 -> b1. a1*a4 = a4 -> b1, b2*b1 = b1. А вот это подошло.

Идём далее. a4*a1 = a3, b1*b2=b3. Значит, a3 -> b3. Тогда a2 -> b4. Итак, a1 -> b2, a2 -> b4, a3 -> b3, a4 -> b1.

Теперь проверяйте по таблице, будет ли это изоморфизмом.

Новые блоги и статьи Все статьи Все блоги /
Контейнеризация React приложений с Docker Reangularity 03.04.2025 Контейнеризация позволяет упаковать приложение со всеми его зависимостями в автономный контейнер, который можно запустить на любой платформе с установленным Docker. Это существенно упрощает процессы. . .	Свой попап в SwiftUI mobDevWorks 03.04.2025 SwiftUI, как декларативный фреймворк от Apple, предоставляет множество инструментов для создания пользовательских интерфейсов. В нашем распоряжении есть такие API как alerts, popovers, action sheets. . .	Антипаттерны микросервисной архитектуры ArchitectMsa 03.04.2025 Хорошо спроектированная микросервисная система может выдержать испытание временем, оставаясь гибкой, масштабируемой и устойчивой к большинству проблем. Такая архитектура обладает высоким уровнем. . .	std::mutex в C++: Советы и примеры использования bytestream 03.04.2025 std::mutex - это механизм взаимного исключения, который гарантирует, что критический участок кода выполняется только одним потоком в каждый момент времени. Это простое, но могущественное средство. . .	Не удержался от оценки концепции двигателя Стирлинга. Hrethgir 03.04.2025 Сколько не пытался - она выдавала правильные схемы, причём случайно рисовала горячие области в середине, холодные по краям, трубки с краёв в низ и магнит в соединяющей, но при этой выдавала описание. . .
Метод с двумя буферами (или double buffering) или ping-pong buffering Hrethgir 02.04.2025 Из ответов LM модели. Метод, который предполагает использование двух массивов для хранения промежуточных результатов сложения векторов, обычно применяется в сценариях, где необходимо минимизировать. . .	На любовном киберфронте Alexander-7 01.04.2025 Недавно на одном малоизвестном сайте знакомств мною заинтересовалась девушка: «Текст немного странный. Но, судя по адресу почты, иностранка», – подумал я. Поколебавшись пару суток, я ответил ей:. . .	Как работает Node.js изнутри run.dev 29.03.2025 Node. js изменил подход к разработке веб-приложений, позволив использовать JavaScript не только на стороне клиента, но и на сервере. Созданный в 2009 году Райаном Далем, этот открытый,. . .	Моки в Python: Mock Object Library py-thonny 29.03.2025 Тестирование кода требует особого подхода, когда речь идёт о компонентах, взаимодействующих с внешним миром. Мы часто сталкиваемся с непредсказуемостью HTTP-запросов, чтением данных из базы или. . .	JavaScript: Управление памятью и улучшение производительности run.dev 29.03.2025 В отличие от низкоуровневых языков программирования, JavaScript не требует ручного выделения и освобождения памяти. Здесь работает автоматический сборщик мусора, который определяет, какие объекты. . .

@Андрей1992 0 / 0 / 1 Регистрация: 13.06.2012 Сообщений: 60

	Изоморфные алгебры 22.03.2016, 22:07. Показов 1801. Ответов 1 Метки нет (Все метки) Так понял из определения изоморфизма - это гомоморфизм с биекцией. А гомоморфизм, по определению - функция f : M→P, для всех a∈M выполняется условие: f(φ(a))= ψ(f(a)) для любого i=1,2,3,4. А вот, что делать дальше я в ступоре, как проверить гомоморфность с биекцией и найти изоморфизм. 0

@DeadPenguin 66 / 66 / 31 Регистрация: 11.03.2016 Сообщений: 252
	22.03.2016, 22:26
	Сообщение было отмечено Андрей1992 как решение Решение Андрей1992, чтобы не проверять большое число вариантов, заметим, что в обоих алгебрах есть два элемента, квадраты которых совпадают с ними: a1, a4 и b1, b2. При изоморфизме это свойство должно сохраняться. Итак, рассматриваем варианты. 1) a1 -> b1, a4 -> b2. a1a4 = a4 -> b2, b1b2 = b3. Не подходит 2) a1 -> b2, a4 -> b1. a1a4 = a4 -> b1, b2b1 = b1. А вот это подошло. Идём далее. a4a1 = a3, b1b2=b3. Значит, a3 -> b3. Тогда a2 -> b4. Итак, a1 -> b2, a2 -> b4, a3 -> b3, a4 -> b1. Теперь проверяйте по таблице, будет ли это изоморфизмом. 1

Изоморфные алгебры

Решение