Hopf theory MOC

Biïdeal

Let be a -bimonoid. A biïdeal is at once a (two-sided) ideal and coïdeal.

• The kernel of a -bimonoid morphism is a biïdeal.
• Given a biïdeal one may construct a quotient -bimonoid , giving the converse of the above.

See also

• If is a Hopf algebra, there are cases where biïdeal coïncides with Hopf ideal.

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