最終更新日：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.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
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.
