map_act

Mathlib.Algebra.Quandle

URI: https://scilib.ai/kg/mathlib#ShelfHom.map_act

English

A shelf homomorphism preserves the action: f(x ◃ y) = f(x) ◃ f(y).

Русский

Гомоморфизм полки сохраняет операцию: f(x ◃ y) = f(x) ◃ f(y).

LaTeX

$$$f(x \triangleleft y) = f(x) \triangleleft f(y)$$$

Lean4

@[simp]
theorem map_act (f : S₁ →◃ S₂) {x y : S₁} : f (x ◃ y) = f x ◃ f y :=
  map_act' f

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru