arXiv · math/9809084
The structure of Frobenius algebras and separable algebras
Abstract
We present a unified apoach to the study of separable and Frobenius algebras. The crucial observation is thsat both cases are related to the nonlinear equation $R^{12}R^{23}=R^{23}R^{13}=R^{13}R^{12}$, called the FS-equation. Given a solution of the FS-equation satisfying certain normalizing conditions, we can construct a Frobenius algebra or a separable algebra A(R). The main result of this paper in the structure of this two fundamental types of algebras: a finitely generated projective Frobenius or separable $k$-algebra $A$ is isomorphic to such A(R). If $A$ is free as a $k$-module, then A(R) can be described using generators and relations. A new characterisation of Frobenius extensions is given: $B\subset A$ is Frobenius if and only if $A$ has a $B$-coring structure such that the comultiplication $Δ$ is an $A$-bimodule map.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
S. Caenepeel, B. Ion, G. Militaru. 1999-09-28. The structure of Frobenius algebras and separable algebras. https://arxiv.org/abs/math/9809084
Cite the original work for its findings. Save a collection to share your selection of sources.