Gendo-Frobenius algebras and comultiplication

Gendo-Frobenius algebras are a common generalisation of Frobenius algebras and of gendo-symmetric algebras. A comultiplication is constructed for gendo-Frobenius algebras, which specialises to the known comultiplications on Frobenius and on gendo-symmetric algebras. In addition, Frobenius algebras are shown to be precisely those gendo-Frobenius algebras that have a counit compatible with this comultiplication. Moreover, a new characterisation of gendo-Frobenius algebras is given. This new characterisation is a key for constructing the comultiplication of gendo-Frobenius algebras.