Биалгебра

Биалгебра — векторное пространство над полем, которое одновременно является унитальной ассоциативной алгеброй и коунитальной коассоциативной коалгеброй, так что алгебраическая и коалгебраическая структуры согласованы. А именно, коумножение и коединица являются гомоморфизмами унитальной алгебры, или, что эквивалентно, умножение и единица алгебры являются морфизмами коалгебры (эти утверждения эквивалентны, поскольку они выражаются одними и теми же коммутативными диаграммами).

Гомоморфизм биалгебр — это линейное отображение, которое является одновременно гомоморфизмом соответствующих алгебр и коалгебр. Из симметрии коммутативных диаграмм видно, что определение биалгебры является самодвойственным, поэтому, если возможно определить двойственное пространство к векторному пространству, на котором строится биалгебра (что всегда возможно, если оно конечномерно), то оно автоматически является биалгеброй.

Определение

Биалгеброй $(B,\mathrm{\nabla },\eta ,\mathrm{\Delta },ϵ)$ с умножением $\mathrm{\nabla }$, единицей $\eta$, коумножением $\mathrm{\Delta }$ и коединицей $ϵ$ над полем $K$ называется алгебраическая структура, обладающая следующими свойствами:

• $B$ является векторным пространством над полем $K$;
• заданы умножение, то есть линейное отображение $\mathrm{\nabla }$: $B\otimes B\to B$ над полем $K$ (или, что эквивалентно, полилинейное отображение $\mathrm{\nabla }$: $B\times B\to B$ над полем $K$) и единица, то есть линейное отображение $\eta$: $K\to B$, так что $(B,\mathrm{\nabla },\eta )$ является унитальной ассоциативной алгеброй;
• заданы коумножение, то есть линейное отображение $\mathrm{\Delta }$: $B\to B\otimes B$ над полем $K$, и коединица, то есть линейное отображение $ϵ$: $B\to K$, так что $(B,\mathrm{\Delta },ϵ)$ является коунитальной коассоциативной коалгеброй;
• выполняются условия совместимости, выраженные следующими коммутативными диаграммами:

1. согласованы умножение $\mathrm{\nabla }$ и коумножение $\mathrm{\Delta }$

   

   где $\tau$: $B\otimes B\to B\otimes B$ является линейным отображением, определенным как $\tau (x\otimes y)=y\otimes x$ для всех $x$ и $y$ в $B$,

2. согласованы умножение $\mathrm{\nabla }$ и коединица $ϵ$

   

3. согласованы коумножение $\mathrm{\Delta }$ и единица $\eta$

   

4. согласованы единица $\eta$ и коединица $ϵ$

   

Ссылки

• Шаблон:Citation.