instBialgebra

Mathlib.RingTheory.Bialgebra.MonoidAlgebra

URI: https://scilib.ai/kg/mathlib#LaurentPolynomial.instBialgebra

English

Laurent polynomials over A inherit a bialgebra structure when A is a bialgebra over R.

Русский

Лорентовкие многочлены над A образуют биалгебру, когда A — биалгебра над R.

LaTeX

$$LaurentPolynomial.instBialgebra : Bialgebra R A[T;T^{-1}]$$

Lean4

instance instBialgebra : Bialgebra R A[T;T⁻¹] :=
  inferInstanceAs <| Bialgebra R A[ℤ]

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

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

Разделы

Аффилиация

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