Hopf theory MOC

Tracelike

Let $H$ be a Hopf $K$ -algebra. An invertible element $𝑢 \in H$ is called tracelike¹ iff

𝑢 𝑥 = 𝜎 2 (𝑥) 𝑢

for all $𝑥 \in H$ . #m/def/hopf

Properties

Trace form from a tracelike

#state/develop | #lang/en | #SemBr

This is my own terminology, in Casimir Invariants for Hopf Algebras, a Hopf algebra equipped with such a $𝑢$ is called “trace type.” ↩