Item:Q6196: Difference between revisions

← Older edit

Revision as of 20:31, 31 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,236 edits ‎Created claim: subclass of (P1): quasi-bialgebra (Q6199) ← Older edit	Latest revision as of 20:31, 31 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,236 edits ‎Created claim: defining formula (P333): \begin{aligned}\Delta\circ\nabla&=\nabla\otimes\nabla\circ(\operatorname{id}\otimes\sigma\otimes\operatorname{id})\circ\Delta\otimes\Delta\\\epsilon\otimes\epsilon&=\epsilon\circ\nabla\\\eta\otimes\eta&=\Delta\circ\eta\\\epsilon\circ\eta&=\operatorname{id} \end{aligned}
	Property / defining formula
		${\begin{aligned}\Delta \circ \nabla &=\nabla \otimes \nabla \circ (\operatorname {id} \otimes \sigma \otimes \operatorname {id} )\circ \Delta \otimes \Delta \\\epsilon \otimes \epsilon &=\epsilon \circ \nabla \\\eta \otimes \eta &=\Delta \circ \eta \\\epsilon \circ \eta &=\operatorname {id} \end{aligned}}$ `\begin{aligned}\Delta\circ\nabla&=\nabla\otimes\nabla\circ(\operatorname{id}\otimes\sigma\otimes\operatorname{id})\circ\Delta\otimes\Delta\\\epsilon\otimes\epsilon&=\epsilon\circ\nabla\\\eta\otimes\eta&=\Delta\circ\eta\\\epsilon\circ\eta&=\operatorname{id} \end{aligned}`
	Property / defining formula: ${\begin{aligned}\Delta \circ \nabla &=\nabla \otimes \nabla \circ (\operatorname {id} \otimes \sigma \otimes \operatorname {id} )\circ \Delta \otimes \Delta \\\epsilon \otimes \epsilon &=\epsilon \circ \nabla \\\eta \otimes \eta &=\Delta \circ \eta \\\epsilon \circ \eta &=\operatorname {id} \end{aligned}}$ / rank
		Normal rank