2013/03/04 by Bulacu, Daniel, Torrecillas, Blas
#16S34 #16T05 #18D05 #18D10 #6W30 #FOS: Mathematics #Quantum Algebra (math.QA) #Representation Theory (math.RT) #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.1303.0802
We characterize Frobenius and separable monoidal algebra extensions i: R\ra S in terms given by R and S. For instance, under some conditions, we show that the extension is Frobenius, respectively separable, if and only if S is a Frobenius, respectively separable, algebra in the category of bimodules over R. In the case when R is separable we show that the extension is separable if and only if S is a separable algebra. Similarly, in the case when R is Frobenius and separable in a sovereign monoidal category we show that the extension is Frobenius if and only if S is a Frobenius algebra and the restriction at R of its Nakayama automorphism is equal to the Nakayama automorphism of R. As applications, we obtain several characterizations for an algebra extension associated to a wreath to be Frobenius, respectively separable.