Frobenius algebra with relaxed associativity constraint

Abstract

Frobenius algebra is formulated within the Abelian monoidal category of operad of graphs. A not necessarily associative algebra [Formula: see text] is said to be a Frobenius algebra if there exists a [Formula: see text]-module isomorphism. A new concept of a solvable Frobenius algebra is introduced: an algebra [Formula: see text] is said to be a solvable Frobenius algebra if it possesses a nonzero one-sided [Formula: see text]-module morphism with nontrivial radical. In the category of operad of graphs, we can express the necessary and sufficient conditions for an algebra to be a solvable Frobenius algebra. The notion of a solvable Frobenius algebra makes it possible to find all commutative nonassociative Frobenius algebras (Conjecture 10.1), and to find all Frobenius structures for commutative associative Frobenius algebras. Frobenius algebra allows [Formula: see text]-permuted opposite algebra to be extended to [Formula: see text]-permuted algebras.