Frobenius algebra: Forskelle mellem versioner

'''<math>k</math>-algebra'''. Lad <math>A</math> være et <math>k</math>-vektorrum. Vi siger, at <math>A</math> er en <math>k</math>-algebra, hvis den er udstyret med en bilineær afbildning <math>\mu\colon A \otimes A \ to A</math> kaldet ''multiplikation''. Vi kalder også <math>A</math> for en ''algebra over <math>k</math>''. Vi kalder algebraen <math>A</math> '''unitær''' og '''associativ''' hvis yderligerer multiplikationen er associativ og enheds afbildningen <math>\eta\colon k \to A</math> tilfredsstiller [[unitær algebra|enhedsrelationerne]]. Således er tuplen <math>(A,\mu,\eta)</math> en [[Monodiale kategorier|monoid]].