Misplaced Pages

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Primitive element" co-algebra – news · newspapers · books · scholar · JSTOR (May 2024)

In algebra, a primitive element of a co-algebra C (over an element g) is an element x that satisfies

${\displaystyle \mu (x)=x\otimes g+g\otimes x}$

where ${\displaystyle \mu }$ is the co-multiplication and g is an element of C that maps to the multiplicative identity 1 of the base field under the co-unit (g is called group-like).

If C is a bi-algebra, i.e., a co-algebra that is also an algebra (with certain compatibility conditions satisfied), then one usually takes g to be 1, the multiplicative identity of C. The bi-algebra C is said to be primitively generated if it is generated by primitive elements (as an algebra).

If C is a bi-algebra, then the set of primitive elements form a Lie algebra with the usual commutator bracket ${\displaystyle =xy-yx}$ (graded commutator if C is graded).

If A is a connected graded cocommutative Hopf algebra over a field of characteristic zero, then the Milnor–Moore theorem states the universal enveloping algebra of the graded Lie algebra of primitive elements of A is isomorphic to A. (This also holds under slightly weaker requirements.)

References

• http://www.encyclopediaofmath.org/index.php/Primitive_element_in_a_co-algebra

This algebra-related article is a stub. You can help Misplaced Pages by expanding it.

• v
• t
• e

• Coalgebras
• Algebra stubs