表示论和模理论中，**弗罗贝尼乌斯代数**是一种有限维酉结合代数，具有特殊的双线性形式，赋予了代数以良好的对偶理论。1930年代，理查德·布饶尔和Cecil J. Nesbitt开始研究弗罗贝尼乌斯代数，以费迪南德·格奥尔格·弗罗贝尼乌斯命名。中山正发现了丰富的对偶理论的雏形（Nakayama 1939）、（Nakayama 1941）。让·迪厄多内利用利用这一点描述了弗罗贝尼乌斯代数（Dieudonné 1958）。弗罗贝尼乌斯代数被推广到准弗罗贝尼乌斯环，即正则表示右式为内射模的诺特环。近来，由于与拓扑量子场论的联系，人们对弗罗贝尼乌斯代数重新产生了兴趣。

定义
--

定义在域*k*上的有限维酉结合代数*A*若有非退化双线性形式*σ* : *A* × *A* → *k*，满足方程*σ*(*a*·*b*, *c*) = *σ*(*a*, *b*·*c*)，则称作**弗罗贝尼乌斯代数**。这一双线性形式被称作代数的**弗罗贝尼乌斯形式**。

等价地，我们可以给*A*加上线性泛函*λ* : *A* → *k*，使*λ*的核不包含*A*的非零左理想。

若*σ*是对称双线性形式，或等价地，*λ*满足*λ*(*a*·*b*) = *λ*(*b*·*a*)，则称弗罗贝尼乌斯代数**对称**。

向量空间中有另一个基本不相关的对称代数概念。

中山自同态
-----

对于配备上述*σ*的弗罗贝尼乌斯代数*A*，*A*的自同态*ν*，使*σ*(*a*, *b*) = *σ*(*ν*(*b*), *a*)是与*A*、*σ*相关的**中山自同态**。

例子
--

1. 任何定义在域*k*上的矩阵代数都是弗罗贝尼乌斯代数。其弗罗贝尼乌斯形式为{\displaystyle \sigma (a,\ b)={\rm {tr}}(a\cdot b)}，其中tr表示迹。
2. 任意有限维酉结合代数*A*都与其自同态环{\displaystyle {\rm {End}}(A)}自然同态。在前例的意义上，可在*A*上定义一个非退化双线性形式，就使得*A*具有弗罗贝尼乌斯代数的结构。

1. 域*k*上有限群*G*的群环*k*[*G*]都是对称弗罗贝尼乌斯代数，弗罗贝尼乌斯形式*σ*(*a*,*b*)由*a*·*b*中单位元的系数给出。
2. 对于域*k*，四维*k*代数{\displaystyle k[x,\ y]/(x^{2},\ y^{2})}是弗罗贝尼乌斯代数。这可以从下面的交换局部弗罗贝尼乌斯环的特征得出，因为它是局部环，最大理想由*x*、*y*生成，唯一的最小理想由*xy*生成。
3. 对于域*k*，三维*k*代数{\displaystyle A=k[x,\ y]/(x,\ y)^{2}}不是弗罗贝尼乌斯代数。由*x* ↦ *y* 引导的*xA*到*A*的同态不能扩展为*A*到*A*的同态，表明此环不是自内射的，因此也不是弗罗贝尼乌斯代数。
4. 任意有限维霍普夫代数都是弗罗贝尼乌斯代数，据Larson-Sweedler (1969)关于霍普夫模和积分的定理。

性质
--

* 弗罗贝尼乌斯代数的直积及张量积都是弗罗贝尼乌斯代数。
* 域上的有限维交换局部代数是弗罗贝尼乌斯代数，当且仅当其右正则模是内射的，当且仅当其极小理想唯一。
* 交换局部弗罗贝尼乌斯代数正是包含其剩余域并在其上有限维的零维局部葛仑斯坦环。
* 弗罗贝尼乌斯代数是准弗罗贝尼乌斯环，特别是，它们是左右阿廷环、是左右自内射环。
* 对于域*k*，当且仅当内射的右*A*模{\displaystyle {\rm {Hom}}\_{k}(A,\ k)}与*A*的右正则表达同构时，一个有限维酉结合代数才是弗罗贝尼乌斯代数。
* 对于无限域*k*，若有限维酉结合*k*代数只有有限多个极小右理想，则它是弗罗贝尼乌斯代数。
* 若*F*是*k*的有限维扩张，则有限维*F*代数通过标量的限制，自然就是有限维*k*代数，且只有当它是弗罗贝尼乌斯*F*代数时，它才是弗罗贝尼乌斯*k*代数。即，只要代数是有限维，弗罗贝尼乌斯性就与域无关。
* 同样，若*F*是*k*的有限维扩张，则*k*代数*A*都会自然产生*F*代数{\displaystyle F\otimes \_{k}A}，其中*A*是弗罗贝尼乌斯*k*代数，当且仅当{\displaystyle F\otimes \_{k}A}是弗罗贝尼乌斯*F*代数。
* 在右正则表达为内射的有限维酉结合代数中，弗罗贝尼乌斯代数*A*是单模*M*与其*A*对偶{\displaystyle {\rm {Hom}}\_{A}(M,\ A)}同维度的代数。其中，单模的*A*对偶总是单的。
* 有限维*双弗罗贝尼乌斯代数*或*严格双弗罗贝尼乌斯代数*是*k*向量空间*A*，其有两个乘法结构，即酉弗罗贝尼乌斯代数(*A*, • , 1)和(*A*, \star  , \iota )：必须有*A*到*k*的乘法同态\phi 、\varepsilon ，使{\displaystyle \phi (a\cdot b)}、{\displaystyle \varepsilon (a\star b)}非退化，且*A*到自身的的*k*同构*S*对这两种结构都是反自同构，于是{\displaystyle \phi (a\cdot b)=\varepsilon (S(a)\star b).}当*A*是*k*上的有限维霍普夫代数且*S*是其对径（antipode）。有限群的群代数给出了一个例子。

范畴论定义
-----

范畴论中，**弗罗贝尼乌斯对象**是在范畴中对弗罗贝尼乌斯代数的抽象定义。幺半范畴{\displaystyle (C,\otimes ,I)}中的弗罗贝尼乌斯对象{\displaystyle (A,\mu ,\eta ,\delta ,\varepsilon )}由*C*的对象*A*和4个态射组成：

{\displaystyle \mu :A\otimes A\to A,\qquad \eta :I\to A,\qquad \delta :A\to A\otimes A\qquad \mathrm {and} \qquad \varepsilon :A\to I}
使

* {\displaystyle (A,\mu ,\eta )\,}是*C*中的幺半对象；
* {\displaystyle (A,\delta ,\varepsilon )}是*C*中的余幺半对象；
* 图

、

可交换（简单起见，此处给出的图是严格幺半范畴*C*），称作**弗罗贝尼乌斯条件**。

更简洁地说，**C**中的弗罗贝尼乌斯代数是所谓弗罗贝尼乌斯幺半函子A：**1** → **C**，其中**1**是由一个对象和一个态射组成的范畴。

若{\displaystyle \mu \circ \delta =\mathrm {Id} \_{A}}，称弗罗贝尼乌斯代数**等距**或**特殊**。

应用
--

弗罗贝尼乌斯代数最初来自有限群表示论研究，并对数论、代数几何和组合数学的研究做出了贡献。它们还被用来研究霍普夫代数、编码理论和紧有向流形的上同调环。

### 拓扑量子场论

弗罗贝尼乌斯代数上的积和余积可解释为(1+1)维拓扑量子场论，应用于裤面。
更多：拓扑量子场论
最近有人发现，它们在拓扑量子场论的代数处理和公理基础中发挥着重要作用。交换弗罗贝尼乌斯代数唯一确定了（同构意义上）(1+1)维拓扑量子场论。更准确地说，交换弗罗贝尼乌斯K代数范畴等价于从{\displaystyle 2-{\textbf {Cob}}}（1维流形间的2维配边的范畴）到{\displaystyle {\textbf {Vect}}\_{K}}（K上的向量空间的范畴）的对称强幺半函子范畴。
拓扑量子场论和弗罗贝尼乌斯代数之间的对应如下：

* 1维流形是圆的不交并：拓扑量子场论将向量空间与圆联系起来，将向量空间的张量积与圆的不交并联系起来；
* 拓扑量子场论将流形间的每个配边与向量空间之间的映射联系起来（函子式地）；
* 与裤面（1个圆和2个圆之间的配边）相关联的映射给出了积射{\displaystyle V\otimes V\to V}或余积射{\displaystyle V\to V\otimes V}，取决于边界成分的分组方式是交换还是余交换；
* 根据边界分组方式的不同，与圆盘相关联的映射给出了余单位（迹）或单位（标量）。

弗罗贝尼乌斯代数及(1+1)维拓扑量子场论的这种关系可用来解释科瓦诺夫对琼斯多项式的分类。

推广
--

### 弗罗贝尼乌斯扩张

令*B*为与酉结合环*A*有同样单位元的子环。这也称作环扩张*A* | *B*，满足以下条件的环扩张称作**弗罗贝尼乌斯扩张**：

* {\displaystyle \forall b,\ c\in B,\ a\in A}，有线性映射{\displaystyle E:\ A\to B}满足双模条件{\displaystyle E(bac)=bE(a)c}。
* {\displaystyle \{x\_{i}\}\_{i=1}^{n},\ \{y\_{i}\}\_{i=1}^{n}\in A}，使得对{\displaystyle \forall a\in A}都有：

{\displaystyle \sum \_{i=1}^{n}E(ax\_{i})y\_{i}=a=\sum \_{i=1}^{n}x\_{i}E(y\_{i}a)}
映射*E*也称作弗罗贝尼乌斯同态，元素x\_{i},y\_{i}称作对偶基。（可给出弗罗贝尼乌斯扩张的等价定义：*B*-*B*双模范畴中的弗罗贝尼乌斯代数-共代数对象，刚才的等式变成了余单位*E*的余单位方程。）

例如，交换环*K*上的弗罗贝尼乌斯代数*A*，配备结合非退化双线性形式(-,-)与射影K基{\displaystyle x\_{i},y\_{i}}，则称为弗罗贝尼乌斯扩展*A* | *K*，其中*E(a)* = (*a*,1)。例子还有：与有限指数子群相联系的群代数对、半单霍普夫代数的霍普夫子代数、伽罗瓦扩张和某些有限指数的冯·诺依曼代数子因子。弗罗贝尼乌斯扩张（及扭曲版本）的另一个来源是弗罗贝尼乌斯代数的某些子代数对，当中的子代数通过上代数（overalgebra）的对称自同构得到稳定。

群环例子的细节是以下群论基本概念的应用。令*G*为群，*H*为当中有限指数*n*的子群；设{\displaystyle g\_{1},\ \ldots ,\ g\_{n}}为左陪集表示，于是*G*是陪集{\displaystyle g\_{1}H,\ \ldots ,\ g\_{n}H}的不交并。在任意交换基环k上定义群代数{\displaystyle A=k[G],\ B=k[H]}，于是*B*是*A*的子代数。通过使{\displaystyle \forall h\in H,\ E(h)=h;\ g\notin H,\ E(g)=0}，定义弗罗贝尼乌斯同态{\displaystyle E:\ A\to B}：这就从基群元素线性扩展到了*A*的所有元素，从而得到*B*-*B*双模射影

{\displaystyle E\left(\sum \_{g\in G}n\_{g}g\right)=\sum \_{h\in H}n\_{h}h\ \ \ {\text{ for }}n\_{g}\in k}
（正交归一性条件{\displaystyle E(g\_{i}^{-1}g\_{j})=\delta \_{ij}1}由此得出。）对偶基由{\displaystyle x\_{i}=g\_{i},y\_{i}=g\_{i}^{-1}}给出，因为

{\displaystyle \sum \_{i=1}^{n}g\_{i}E\left(g\_{i}^{-1}\sum \_{g\in G}n\_{g}g\right)=\sum \_{i}\sum \_{h\in H}n\_{g\_{i}h}g\_{i}h=\sum \_{g\in G}n\_{g}g}
另一个对偶基方程可通过观察得出，即G也是右陪集{\displaystyle Hg\_{1}^{-1},\ldots ,Hg\_{n}^{-1}}的不交并。

另外，根据Kreimer & Takeuchi (1989)的定理，霍普夫-伽罗瓦扩张也是弗罗贝尼乌斯扩张。简单例子是有限群*G*通过自同构作用于具有不变子代数的代数*A*：

{\displaystyle B=\{x\in A\mid \forall g\in G,g(x)=x\}.}
根据DeMeyer准则，*A*是*B*上的*G*伽罗瓦，若*A*中有元素{\displaystyle \{a\_{i}\}\_{i=1}^{n},\{b\_{i}\}\_{i=1}^{n}}满足：

{\displaystyle \forall g\in G:\ \ \sum \_{i=1}^{n}a\_{i}g(b\_{i})=\delta \_{g,1\_{G}}1\_{A}}
因此

{\displaystyle \forall g\in G:\ \ \sum \_{i=1}^{n}g(a\_{i})b\_{i}=\delta \_{g,1\_{G}}1\_{A}.}
那么*A*是*B*的弗罗贝尼乌斯扩张，{\displaystyle E:\ A\to B}定义为

{\displaystyle E(a)=\sum \_{g\in G}g(a)}
其满足

{\displaystyle \forall x\in A:\ \ \sum \_{i=1}^{n}E(xa\_{i})b\_{i}=x=\sum \_{i=1}^{n}a\_{i}E(b\_{i}x).}
（此外，可分代数扩张的例子：{\textstyle e=\sum \_{i=1}^{n}a\_{i}\otimes \_{B}b\_{i}}是可分性元，满足{\displaystyle \forall a\in A,\ ea=ae;\ '\sum \_{i=1}^{n}a\_{i}b\_{i}=1}。也是深度二子环（*A*中的*B*）的例子，因为

{\displaystyle a\otimes \_{B}1=\sum \_{g\in G}t\_{g}g(a)}
其中

{\displaystyle t\_{g}=\sum \_{i=1}^{n}a\_{i}\otimes \_{B}g(b\_{i})}
{\displaystyle \forall g\in G,\ \forall a\in A.}

1950到60年代，Kasch & Pareigis、Nakayama & Tzuzuku等人开发了完备的弗罗贝尼乌斯扩张的诱导表示理论。例如，对每个*B*模*M*，诱导模{\displaystyle A\otimes \_{B}M}（若*M*是左模）与余诱导模{\displaystyle {\rm {Hom}}\_{B}(A,\ M)}作为*A*模自然同构。Kasch (1960)的自同态环定理指出，若*A* | *B*是弗罗贝尼乌斯扩张，则{\displaystyle A\to {\rm {End}}(A\_{B})}也是弗罗贝尼乌斯扩张，其中映射由*a* ↦ *λa*(*x*)和{\displaystyle \forall a,\ x\in A,\ \lambda \_{a}(x)=ax}给出。Mueller、Morita、Onodera等人又研究了自同态环定理和逆反。

### 弗罗贝尼乌斯伴随

如上段暗示的，弗罗贝尼乌斯扩张有等价的范畴化表述。
即，给定环扩张{\displaystyle S\subset R}，从左*S*模范畴到左*R*模范畴的诱导函子{\displaystyle R\otimes \_{S}-\colon {\text{Mod}}(S)\to {\text{Mod}}(R)}有左右伴随，分别称作余限制与限制。。
当且仅当左右伴随自然同构时，该环扩张才称作"弗罗贝尼乌斯扩张"。

这就导致了对普通范畴论的明显抽象：伴随{\displaystyle F\dashv G}若也有{\displaystyle G\dashv F}，则称作弗罗贝尼乌斯伴随。
若函子*F*是弗罗贝尼乌斯伴随的一部分，即有同构的左右伴随，则是弗罗贝尼乌斯函子。

另见
--

* 双代数
* 弗罗贝尼乌斯范畴
* 矩陣範數#弗罗贝尼乌斯範数
* 弗罗贝尼乌斯内积
* 霍普夫代数
* 准弗罗贝尼乌斯李代数
* 匕首紧范畴

参考文献
----

1. ↑  Haim, Mariana.. J. Algebra. 2007, **308** (1): 215–235. CiteSeerX 10.1.1.241.966 可免费查阅. MR 2290919. S2CID 17741240. arXiv:math/0602224 可免费查阅. doi:10.1016/j.jalgebra.2006.06.005.
2. ↑  Koppinen, M.  (PDF). J. Algebra. 1996, **182** (1): 256–273. MR 1388866. doi:10.1006/jabr.1996.0170.
3. ↑  Wang, Zhihua; Li, Libin.. Front. Math. China. 2018, **13** (2): 399–415. MR 3778372. S2CID 125866864. doi:10.1007/s11464-018-0682-3.
4. ↑  Doi, Yukio; Takeuchi, Mitsuhiro.. . Contemp. Math. **267**. American Mathematical Society. 2000: 67–97. ISBN 0-8218-2126-1. MR 1800707.
5. ↑  Pavlovic, Dusko, Information and Computation, 2013, **226**: 94–116, S2CID 17127693, arXiv:1208.5205 可免费查阅, doi:10.1016/j.ic.2013.03.007
6. ↑  Bar-Natan, Dror, Geom. Topol. 2005, **9** (3): 1443–1499, Bibcode:2004math.....10495B, S2CID 1247623, arXiv:math/0410495 可免费查阅, doi:10.2140/gt.2005.9.1443
7. ↑  Paul Turner, 2006, Bibcode:2006math......6464T, arXiv:math/0606464 可免费查阅

* Brauer, R.; Nesbitt, C. Proc. Natl. Acad. Sci. USA, 1937, **23** (4): 236–240, Bibcode:1937PNAS...23..236B, PMC 1076908 可免费查阅, PMID 16588158, doi:10.1073/pnas.23.4.236 可免费查阅
* DeMeyer, F. Ingraham, E. Lect. Notes Math **181**, Springer, 1971
* Dieudonné, Jean, Illinois Journal of Mathematics, 1958, **2** (3): 346–354, ISSN 0019-2082, MR 0097427, doi:10.1215/ijm/1255454538 可免费查阅
* Frobenius, Ferdinand Georg, Sitzungsberichte der Preussischen Akademie der Wissenschaften, 1903: 504–537, JFM 34.0238.02 （德语）
* Kock, Joachim, London Mathematical Society student texts, Cambridge University Press, 2003, ISBN 978-0-521-83267-0
* Lam, T. Y. Graduate Texts in Mathematics **189**, Springer, 1999, ISBN 978-0-387-98428-5
* Lurie, Jacob,  (PDF), 2009, arXiv:0905.0465 可免费查阅
* Nakayama, Tadasi, Annals of Mathematics, Second Series (Annals of Mathematics), 1939, **40** (3): 611–633, Bibcode:1939AnMat..40..611N, JSTOR 1968946, MR 0000016, doi:10.2307/1968946
* Nakayama, Tadasi, Annals of Mathematics, Second Series (Annals of Mathematics), 1941, **42** (1): 1–21, JSTOR 1968984, MR 0004237, doi:10.2307/1968984, hdl:10338.dmlcz/140501 可免费查阅
* Nesbitt, C. Annals of Mathematics, Second Series, 1938, **39** (3): 634–658, ISSN 0003-486X, JSTOR 1968639, MR 1503429, PMC 1076908 可免费查阅, PMID 16588158, doi:10.2307/1968639
* Onodera, T. Hokkaido Mathematical Journal, 1964, **18** (1–2): 89–107, doi:10.14492/hokmj/1530691549 可免费查阅

外部链接
----

* Street, Ross.  (PDF). Annual Meeting Aust. Math. Soc. 2004. CiteSeerX 10.1.1.180.7082 可免费查阅.