Last Updated：2022/12/24
A primitive element of a Hopf algebra is an element h∈H such that 𝛥h=1⊗h+h⊗1. It is easily seen that the bracket [x,y]:=xy-yx of two primitive elements is again a primitive element. It follows that primitive elements form a Lie algebra. For H=U(g) any element of g is primitive and in fact using the Poincaré-Birkhoff-Win theorem, one can show that the set of primitive elements of U(g) coincides with the Lie algebra g.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
It
is
easily
seen
that
the
bracket
[x,y]:=xy-yx
of
two
primitive
elements
is
again
a
primitive
element.
It
follows
that
primitive
elements
form
a
Lie
algebra.
For
H=U(g)
any
element
of
g
is
primitive
and
in
fact
using
the
Poincaré-Birkhoff-Win
theorem,
one
can
show
that
the
set
of
primitive
elements
of
U(g)
coincides
with
the
Lie
algebra
g.
