All exact Borel subalgebras and all directed bocses are normal

Abstract

Recently, Brzeziński, Koenig and Külshammer have introduced the notion of normal exact Borel subalgebra of a quasihereditary algebra. They have shown that there exists a one-to-one correspondence between normal directed bocses and quasihereditary algebras with a normal and homological exact Borel subalgebra. In this short note, we prove that every exact Borel subalgebra is automatically normal. As a corollary, we conclude that every directed bocs has a group-like element. These results simplify Brzeziński, Koenig and Külshammer's bijection.

6 pages; v2: added Remark 2.3 and condition (4) in Definition 2.2

Cited by in corpus (2)

• All quasihereditary algebras with a regular exact Borel subalgebra
• The $\mathrm{Ext}$-algebra of standard modules over dual extension algebras