Algebras simple with respect to a Sweedler's algebra action
相对于Sweedler代数$H_4$的作用简单的代数给出了$H$ -简单但不一定是半简单的$H$ -模代数的最简单的例子。本文描述了有限维$H_4$ -单代数,并证明了它们的多项式$H_4$ -恒等式的余维与Amitsur猜想的类似.特别地,我们证明了特征$0$的代数闭域上的$H_4$ -单代数$A$的Hopf PI指数等于$\dim A$ .研究了保持$H_4$ -模代数结构的自同构群。
2014-09-23 math.RA
Universal Coacting Hopf algebra of a Finite dimensional Lie-Yamaguti algebra
本文为有限维Lie-Yamaguti代数构造了具有双代数结构的泛代数,进而导出其泛共作用Hopf代数,并发展了表示论版本,最终应用于刻画自同构群与分类阿贝尔群分次。
2025-06-02 math.RA
Cohomological Obstructions and Weak Crossed Products over Weak Hopf Algebras
设$H$是一个余交换弱Hopf代数,$(B, φ_{B})$是一个弱左$H$ -模代数.本文对扭曲卷积可逆态射$σ:H\otimes H\rightarrow B$定义了其阻塞$θ_σ$为一个3次Sweedler 3-上圈,其值在$B$的中心.证明了该障碍类在三阶Sweedler上同调群$\mathcal{H}^3_{φ_{Z(B)}}(H, Z(B))$中为零当且仅当存在一个扭曲卷积可逆2-上循环$α:H\otimes H\rightarrow B$使得$H\otimes B$与$α$保持类上同调关系并具有弱交叉积结构.因此,$σ$的阻塞类消失,当且仅当存在由$H$引起的$B$的裂隙扩展。
2021-05-06 math.RA
Integrals in Hopf algebras over rings
霍普夫代数中的积分是研究有限维霍普夫代数及其在代数上作用的重要工具。在域上,Sweedler证明了在一个霍普夫代数中积分的存在等价于有限维的霍普夫代数。在本文中,我们研究这是真实的环上的霍普夫代数。本文证明了在任何非域的交换环R上,存在R上的霍普夫代数H,它包含一个非零积分,但不是R-模生成的.相反,我们证明了Sweedler的等价性对整环上的自由霍普夫代数和投射霍普夫代数仍然成立.类似地,对于左H-模代数A,我们研究了从A到A#H的非零左A#H-线性映射对H可生成为R-模的影响.给出了可分性的例子和应用。
2003-07-03 math.QA math.RA
Cocycle twisting of E(n)-module algebras and applications to the Brauer group
本文对Hopf代数E(n)的余拟三角结构在懒惰上圈和Hopf自同构群作用下的轨道进行了分类。这被应用于检测E(n)的Brauer群$BQ(k,E(n))$的同构子群。对于E(n)上的三角结构$R$,我们证明了由$R$产生的$BQ(k,E(n))$的子群$BM(k,E(n),R)$同构于$BW(k)$和$Sym_n(k)$的直积,$BW(k)$是基域$k$的Brauer-Wall群,$Sym_n(k)$是$n \times n$对称矩阵的加法群.对于E(n)上的一般拟三角结构$R'$,我们构造了一个分裂的短正合序列,该序列以$BM(k,E(n), R')$为中间项,以$r<n$阶对称矩阵群的中心扩张为左项($r$依赖于$R'$).我们最后描述了如何在$BQ(k,E(n))$内的Hopf自同构群的图像作用于$Sym_n(k)$。
2004-04-01 math.RA math.RT
A class of twisted partial Hopf actions
提出利用分裂四元数、分裂半四元数及 1/4-四元数构造扭曲偏 Hopf 作用的新方法,并由 Sweedler Hopf 代数的扭曲偏作用得到一类新实例。
2025-07-26 math.RA
The group of strong Galois objects associated to a cocommutative Hopf quasigroup
设H是严格对称幺半范畴中具有均衡子的上交换忠实平坦Hopf拟群.本文引入了(强)Galois H-对象的概念,并证明了(强)Galois H-对象的同构类的集合是一个(群)幺半群,在霍普夫代数中,它与Chase和Sweedler引入的H-Galois对象的伽罗瓦群重合。
2016-02-19 math.RA
A sequence to compute the Brauer group of certain quasi-triangular Hopf algebras
本文通过解释Brauer群的直积分解成立的原因和描述Brauer群中出现的不可解释因子,对Brauer群的计算有了更深的理解.对于辫子monoidal范畴$\C$中的一个Hopf代数$B$,在辫子的某些假设下,本文给出了一个关于Brauer群的计算公式,并给出了一个关于Brauer群的计算公式.(若$\C$是对称的,则满足),构造了$B$ -模代数的Brauer群$\BM(\C;B)$的一个序列,推广了Beattie的序列.它允许一个证明,$\BM(\C;B) \cong \Br(\C) \times \Gal(\C;B),$其中$\Br(\C)$是Brauer群的$\C$和$\Gal(\C;B)$组的$B$ -伽罗瓦对象.我们还表明,$\BM(\C;B)$包含一个子群同构于$\Br(\C) \times \Hc(\C;B,I),$,其中$\Hc(\C;B,I)$是第二Sweedler上同调群的$B$的单位对象$I$的$\C$。这些结果被应用到拟三角形Hopf代数的Brauer群上,该代数是Radford双积$B \times H$,其中$H$是域$K$上的一个普通的Hopf代数,由拟三角形结构$\R$生成的Hopf子代数包含在$H$中,$B$是左$H$ -模范畴${}_H\M$中的一个Hopf代数.最近计算了Brauer群的霍普夫代数符合这个框架。我们最后表明,$\BM(K,H,…
2009-12-29 math.CT math.QA math.RA
Semisimplicity criteria for irreducible Hopf algebras in positive characteristic
证明了有限维不可约正特征的霍普夫代数$H$是半单的当且仅当它是交换的半单的,当且仅当其基元的限制李代数$P(H)$是环面.这推广了Hochschild关于限制李代数的定理,也推广了Demazure,Gabriel和Sweedler关于群概型的结果,在增加了有限性假设的特殊但本质的情况下.
2008-12-22 math.RA
Lie Rota--Baxter operators on the Sweedler algebra $H_4$
针对结合代数上的结合Rota–Baxter算子可诱导李与约当Rota–Baxter算子,但反向是否成立的问题,本文以四维非交换Hopf代数Sweedler代数$H_4$为对象,刻画了其伴随李代数$H_4^{(-)}$上的李Rota–Baxter算子。
2024-05-14 math.GR math.RA
Amitsur's conjecture for associative algebras with a generalized Hopf action
证明了特征为0的域上有限维结合代数的多项式恒等式的几种推广的余维数的渐近行为的类似Amitsur猜想,包括任意有限(不一定是阿贝尔)群G的G-恒等式和有限维半单霍普夫代数H的H-恒等式.此外,我们还证明了Sweedler四维代数在其对偶作用下的Hopf PI指数等于4。
2014-08-30 math.RA
Categorical Constructions for Hopf Algebras
证明了Hopf代数范畴到双代数范畴的嵌入和从Hopf代数范畴到代数范畴的遗忘函子都有右伴随,即:每个双代数都有一个Hopf上反射,每个代数上都有一个上自由霍普夫代数.这样,我们给一个肯定的回答四十岁的问题所提出的Sweedler。在这条路线上,明确地描述了霍普夫代数范畴中的余均衡器和余积.
2010-02-09 math.QA math.RA
Tate and Tate-Hochschild Cohomology for finite dimensional Hopf Algebras
设A是域k上的任意有限维霍普夫代数。我们定义了A的Tate和Tate-Hochschild上同调,并引入了使A成为分次环的上积.我们建立了这些环之间的关系。特别地,A的Tate-Hochschild上同调同构(作为代数)于其系数在伴随模中的Tate上同调。因此,A的Tate上同调环是它的Tate-Hochschild上同调环的直和项。作为一个例子,我们显式地计算了Sweedler代数H_4的Tate和Tate-Hochschild上同调。
2013-01-08 math.KT math.RA math.RT
The bicrossed products of $H_4$ and $H_8$
设$H_4$和$H_8$分别是Sweedler和Kac-Paljutkin霍普夫代数.本文证明了任何通过$H_8$和$H_4$分解的霍普夫代数(等价于任何两个Hopf霍普夫代数之间的双交叉积)必同构于下列四个Hopf代数之一:$H_8 \otimes H_4, H_{32,1}, H_{32,2}, H_{32,3}$ .给出了所有匹配对$(H_8, H_4, \triangleright, \triangleleft)$的集合的显式描述,并利用生成元和关系给出了相应的双交叉积.
2019-11-30 math.RA
Cohomology of abelian matched pairs and the Kac sequence
引入了霍普夫代数交换匹配对的上同调理论,并探讨了它与Sweedler上同调、Singer上同调和扩张理论的关系.对于一般交换匹配的霍普夫代数,得到了连接这些上同调理论的一个精确序列,推广了Kac和Masuoka关于有限群和有限维李代数的匹配序列.这个序列的低次部分的态射被显式地给出,使得能够进行具体的计算。
2002-12-09 math.RA
Kernels of representations and coideal subalgebras of Hopf algebras
定义了霍普夫代数的左、右表示核。在群代数的情形下,左核和右核重合,它们是模的通常核。在一般情况下,我们证明了这些核与\cite{AD}中定义的霍普夫代数的态射的范畴左、右霍普夫核一致.将群代数上的Brauer核定理推广到霍普夫代数上.
2010-12-14 math.QA math.RA math.RT
Algebra, group, and Hopf Rota-Baxter operators
针对部分代数系统上存在多类Rota–Baxter算子的情况,以4维非余交换Hopf代数Sweedler代数$H_4$为对象,研究群代数上不同类型Rota–Baxter算子间的关联。
2024-12-10 math.GR math.RA
On Bimeasurings
引入并研究了从双代数对到代数的双测度。本文证明了由Sweedler的泛测度余代数构造而产生的泛双测度双代数构造是有限对偶的推广,它在伴随于自身的双代数范畴上产生了一个反变函子.在Hopf模的范畴内,双测代数的解释被认为是。
2004-09-27 math.RA
Actions of some pointed Hopf algebras on path algebras of quivers
在箭图是无环的、有限的和Schurian的情况下,我们对Taft代数T(n)在箭图的路代数上的Hopf作用进行了分类.作为推论,我们看到每个容许Z_n-作用(通过有向图自同构)的图也容许Taft代数的内忠实作用。给出了Sweedler代数T(2)的作用和T(3)的作用的几个例子。然后将Taft代数作用在路代数上的结果推广到Frobenius-Lusztig核u_q(sl_2)的作用和T(n)的Drinfeld双倍的作用.
2015-01-06 math.QA math.RA
Cohomology for partial actions of Hopf algebras
本文建立了交换代数上的余交换霍普夫代数代数的部分作用的上同调理论。该理论推广了Sweedler提出的霍普夫代数的上同调理论和Dokuchaev和Khrypchenko提出的部分群作用的上同调理论。一些非平凡的例子,不是来自群体的构造。给出了交换环上的一个上交换Hopf代数$H$在交换代数$A$上的部分作用,证明了在交换环$E(A)$上存在一个新的Hopf代数$\widetilde{A}$,$H$仍然部分地作用在该代数上,并产生与原代数$A$相同的上链复形.我们还研究了交换代数的部分分裂扩张通过余交换霍普夫代数的部分作用的性质,证明了这些部分分裂扩张可以看作是交换代数的分裂扩张通过霍普夫代数胚的部分作用的性质.
2018-11-14 math.QA math.RA
Relative Rota--Baxter operators on groups and Hopf algebras
本文在任意Hopf代数上定义相对Rota--Baxter算子,构造新Hopf代数与Hopf brace,并在群上构造整数权重算子及两生成元Hopf代数族。
2023-11-15 math.GR math.RA
An infinitesimal deformation of the post-Lie and post-Hopf algebra correspondence
Mathematical Institute of Charles University(查理大学数学研究所);Département de Mathématiques, Université Libre de Bruxelles(布鲁塞尔自由大学数学系)
该研究证明后李与后霍普夫代数的伴随关系与无穷小结构相容,推广了Cartier–Milnor–Moore定理,完成了相关结构的分类并证明了无穷小后李代数operad的Koszul性。
2026-11-04 math.CT math.QA math.RA
Classifying coalgebra split extensions of Hopf algebras
对于给定的Hopf代数$A$,我们将所有的霍普夫代数$A$通过$H_4$进行余代数分裂扩张,其中$H_4$是Sweedler的四维Hopf代数.等价地,我们通过明确计算两个分类对象:上同调“群”${\mathcal H}^{2} (H_4, A)$和所有交叉积的同构类型集$A # H_4$的$\textsc{C}\textsc{r}\textsc{p} (H_4, A) :=$,对霍普夫代数代数$A # H_4$的所有交叉积进行分类.所有的交叉积$A #H_4$由生成元和关系描述并分类:它们由$A$的所有中心本原元素的集合${\mathcal Z}{\mathcal P} (A)$参数化。几个例子的详细工作:特别是,在一个领域的特征$p \geq 3$一个无限的家庭的非同构霍普夫代数的尺寸$4p$的构造。本文还描述了这些霍普夫代数的自同构群。
2012-10-17 math.QA math.RA
On the duality of generalized Lie and Hopf algebras
我们证明了在一定条件下,辫子monoidal函子的伴随对可以提升到霍普夫代数范畴之间的伴随对。这使我们得到一个抽象版本的米氏定理,指出给定一个霍普夫代数$H$,有一个自然同构的李代数$Q(H)^*\cong P(H^\circ)$,其中$Q(H)^*$是不可分解的$H$的李余代数的对偶李代数,而$P(H^\circ)$是$H$的Sweedler对偶的本原元的李代数。我们将我们的理论应用到Turaev的Hopf群-(余)代数。
2020-02-14 math.CT math.RA
On Hopf algebras of dimension $p^n$ in characteristic $p$
本文研究特征 $p$ 代数闭域上含大量群样元或高维本原 Hopf 子代数的 $p^n$ 维 Hopf 代数,刻画其结构,并应用于 $p^2$ 维分类、Radford 代数、Sweedler 上同调及点态扩张。
2023-08-21 math.QA math.RA math.RT
On actions of Drinfel'd doubles on finite dimensional algebras
令$q$是$n > 2$的单位根$n^{th}$,令$T_n(q)$是维数为$n^2$的Taft(Hopf)代数.在2001年,Susan Montgomery和Hans-Jürgen Schneider分类了$n$ -维结合代数$A$上的所有非平凡$T_n(q)$ -模代数结构。他们进一步证明,每个这样的模结构唯一地扩展,使$A$成为$T_n(q)$的Drinfel'd double上的模代数。我们探讨它是什么塔夫脱代数,导致这种独特性,通过检查行动(Drinfel'd双)霍普夫代数$H$“接近”塔夫脱代数有限维代数类似于上面的$A$。这样的霍普夫代数$H$包括4维的Sweedler(霍普夫)代数、量子线性空间的玻色化和Frobenius-Lusztig核$u_q(\mathfrak{sl}_2)$。
2018-05-25 math.QA math.RA
Some graphical aspects of Frobenius structures
本文利用图演算的方法对Frobenius代数、Frobenius结构及其与有限霍普夫代数的关系进行了综述。我们专注于“猛拉”移动来自一个封闭的结构,在一个刚性的幺半范畴,拓扑移动,和“猛拉”来自Frobenius双线性型和它的逆,例如在量子隐形传态中使用。我们讨论如何解释相关的信息流。一些照顾,以涵盖非对称Frobenius代数和中山自同构。我们回顾图形的Larson-Sweedler-Pareigis定理显示如何积分的有限霍普夫代数允许构建Frobenius结构。几个指针进一步文学给出了一个主观的倾向,以图形化的头脑工作。
2012-02-28 math.RA
The characteristic polynomial of the Adams operators on graded connected Hopf algebras
霍普夫代数$H$上的Adams算子$Ψ_n$是$H$的恒等式的卷积幂。研究了当$H$是分次连通时的Adams算子.它们也被称为Hopf幂或Sweedler幂。的主要结果是一个完整的描述的特征多项式(特征值和他们的多重性)的行动的运营商$Ψ_n$上的每个齐次组件的$H$。本征值是$n$的幂。多重性与$n$无关,实际上只取决于$H$的维数序列。这些结果特别适用于$H$的对映体($n=-1$的情况)。我们得到了亚当斯算子的迹序列的生成函数的封闭形式。在对极的情况下,生成函数与维数序列的生成函数有一个特别简单的关系。在H是余自由的情况下,我们给出了另一种描述的特征多项式和某些回文词的对极的痕迹。我们讨论了在物种和$q$ -霍普夫代数的霍普夫幺半群的平行结果。
2014-11-04 math.CO math.RA
Matched pairs and Yetter-Drinfeld braces
本文提出推广Hopf brace的新型结构Yetter-Drinfeld brace,证明其与Hopf代数上的作用匹配对等价,改进了已有定理,给出1-上同调刻画,并构造了多个具体例子。
2025-03-20 math.CT math.QA math.RA
Hom-entwining structures and Hom-Hopf-type modules
引入了Hom-coring、Hom-entwining结构和相关的EntriumHom-module的概念。证明了一个关于Hom-coring的基环扩张的定理,并利用该定理得到了Sweedler核的Hom-version。受T. Brzezinski,构造了一个与缠绕Hom-结构相关联的Hom-核,并证明了缠绕Hom-模与该Hom-核的Hom-余模的等价性.证明了该Hom-coring的对偶代数是一个$ψ$ -扭曲卷积代数。通过构造证明了Hom-Doi-Koppinen数据来自于Hom-entwining结构,并且Doi-Koppinen Hom-Hopf模与相关的Enwining Hom-models是相同的.一个类似的建设替代Hom-Doi-Koppinen基准也给出了。一系列Hom-Hopf-型模被收集作为Hom-entwining结构和相应的Ensemble Hom-modules的特例,并且所有相关的Hom-coring的结构也被考虑。
2015-05-08 math-ph math.MP math.QA
Classification of the types for which every Hopf--Galois correspondence is bijective
本研究借鉴Hopf–Galois结构与skew brace关联的方法,分类了所有Galois扩张上类型为N的Hopf–Galois结构对应均为双射的群N,拓展了此前针对G-Galois扩张的相关分类结果。
2024-10-19 math.GR math.NT math.RA
Every central simple algebra is Hopf Schur
证明了域k上的中心单代数A与域k上有限维霍普夫代数的商是Brauer等价的(即- A是霍普夫Schur).如果域的特征为零,或者如果代数有一个度与k的特征互素的伽罗瓦分裂域,我们可以把这个霍普夫代数看作是半单的。证明了若F是k的任意有限扩张,则F是k上有限维霍普夫代数的商.我们使用它,以显示为什么代数封闭性假设是必要的,在一个弱形式的Kaplansky的第十猜想,由于斯特凡
2011-12-16 math.QA math.RA
The Adams operators on connected graded Hopf algebras
该研究针对连通分次Hopf代数上的Adams算子,证明其在PBW型齐次有序基下可同时上三角化,给出对角系数与特征多项式的完整描述,重现了已有文献的核心结论且采用了不同方法。
2024-10-30 math.RA
$V$-universal Hopf algebras (co)acting on $Ω$-algebras
Vrije Universiteit Brussel(布鲁塞尔自由大学);Simion Stoilow Institute of Mathematics of the Romanian Academy(罗马尼亚科学院西蒙·斯托伊洛数学研究所);M. V. Lomonosov Moscow State University(莫斯科国立罗蒙诺索夫大学);Moscow Center for Fundamental and Applied Mathematics(莫斯科基础与应用数学中心);Moscow State Technical University of Civil Aviation(莫斯科国立民用航空技术大学);Université Libre de Bruxelles(布鲁塞尔自由大学)
该研究发展统一理论,以Ω-代数为工具,完善Manin–Tambara通用余作用双/Hopf代数的存在条件,建立V-通用作用与余作用双/Hopf代数的有限对偶同构。
2026-08-04 math.CT math.QA math.RA
Tools for working with multiplier Hopf algebras
设$(A,Δ)$是一个乘子Hopf代数.一般来说,底层代数$A$不需要有恒等式,并且余积$Δ$不将$A$映射到$A\otimes A$,而是映射到其乘子代数$M(A\otimes A)$。在本文中,我们研究{ \it一些工具},经常使用时,处理这样的乘子霍普夫代数,这是典型的工作与代数没有单位在这种情况下。{ \it基本成分}是一个单元左$A$ -模块$X$。基本结构是通过查看满足$ρ(aa')=aρ(a')$的线性映射$ρ:A\to X$来扩展模块,其中$a,a'\in A$。我们把模的作用写成乘法。当然,当$x\in X$,和当$ρ(a)=ax$,我们得到这样一个线性映射。如果$A$有恒等式,所有线性映射$ρ$对$x=ρ(1)$都有这种形式。然而,关键是在非酉代数的情况下,这种映射的空间一般严格大于$X$本身。我们得到一个{ \it扩展模块},记为$\bar X$(原因将在论文中解释)。我们研究了各种更复杂的情况下,这种扩展模块发生,我们说明了所有这一切与{ \it几个例子},从非常简单的到更复杂的迭代扩展发挥作用。我们参考文献中出现的案例。我们使用这个扩展模块的基本思想来解释,在一个更严格的方式,所谓的{ \it覆盖技术},这是需要使用{ \it Sweedler符号}的余积和相互作用。再次,我们给出了许多例子,并参考现有的文献中,这种技术的应用。
2008-06-12 math.RA
The Classification of All Crossed Products $H_4 \# k[C_{n}]$
使用在[Agore A.L.,Bontea C.G.,Militaru G.,J. Algebra Appl.12(2013),1250227,24页,arXiv:1207.0411],我们通过$k[C_n]$对$H_4$的所有余代数分裂扩张进行分类,其中$C_n$是阶$n$的循环群,并且$H_4$是Sweedler的$4$ -维Hopf代数。等价地,我们通过明确计算两个分类对象:上同调“群”${\mathcal H}^{2} ( k[C_{n}], H_4)$和所有交叉积的同构类型集$H_4 \# k[C_{n}]$的集合$\text{CRP}( k[C_{n}], H_4):=$,对Hopf代数$H_4 \# k[C_{n}]$的所有交叉积进行分类.更精确地说,所有的交叉积$H_4 \# k[C_n]$都由生成元和关系描述并分类:它们是$4n$维量子群$H_{4n, λ, t}$,由任意酉映射$t : C_n \to C_2$和$\pm 1$的$n$次根$λ$组成的所有对$(λ, t)$的集合参数化.作为应用,明确地描述了$H_{4n, λ, t}$的Hopf代数自同构群.
2014-04-23 math.QA math.RA
On Braided Differential Calculi and Quantum G-structures
Mathematical Institute of Charles University(查理大学数学研究所);Alma Mater Studiorum - Università di Bologna(博洛尼亚大学)
该研究在辫子幺正范畴发展微分演算理论,结合双积构造协变smash积微分演算,引入量子G-结构并以实例说明,为量子几何提供新理论框架。
2026-09-02 math.CT math.DG math.QA
Single sided multiplier Hopf algebras
该研究引入单侧乘子Hopf代数的概念,证明其存在唯一余单位和对极,且四个典范映射均为双射,即自动成为正则乘子Hopf代数,并以此重新考察相关已知结果。
2024-03-11 math.RA
Integrals for Bialgebras
本文提出一种基于范畴方法的双代数积分新概念,证明其在存在antipode时退化为经典定义,并通过对多种特殊双代数的测试,建立了对偶Maschke型定理及有限维情况下的积分存在唯一性定理。
2025-09-18 math.CT math.QA math.RA
Separable cowreaths in higher dimension
本文构造了维数递增的无限族可分离cowreath,通过推广四维Clifford代数和Sweedler Hopf代数到高维,并利用简化可分离态射条件确定标量约束。
2025-06-23 math.CT math.QA math.RA
Lifting of locally initial objects and universal (co)acting Hopf algebras
本文以纯范畴方式将泛(余)作用双代数/Hopf 代数的存在性归结为局部初始对象的提升问题,引入对象支集并在基幺半范畴假设下证明其存在,且方法自对偶、适用范围广泛。
2025-07-10 math.CT math.QA math.RA
Polynomial identities and noncommutative versal torsors
任何分裂的Hopf伽罗瓦对象,即,对任意一个由霍普夫代数H与一个双上圈t扭乘而得到的代数H[t],我们附加了两个“泛代数“A(H,t)和U(H,t).代数A(H,t)是通过扭曲H与最一般的形式上同调于t的双上圈u的乘法而得到的。上循环u取值于H上的有理函数域。通过构造,A(H,t)是“大”交换代数B(H,t)的分裂H-Galois扩张. H[t]的任何“形式”都可以通过B(H,t)的特殊化从A(H,t)得到,反之亦然。如果代数H[t]是单的,则A(H,t)是以B(H,t)为中心的Azumaya代数。代数U(H,t)是使用我们为任意余代数建立的多项式恒等式的一般理论构造的;它是泛余代数,其中H[t]的所有余代数恒等式都满足。我们构造了U(H,t)到A(H,t)的一个嵌入;当代数H[t]是单代数时,这个嵌入将U(H,t)的中心Z(H,t)映射到B(H,t)。在这种情况下,在附加的假设下,A(H,t)同构于B(H,t)\otimes_{Z(H,t)} U(H,t),从而将A(H,t)变成U(H,t)的中心局部化。我们的工作,这些建设的充分详细的四维Sweedler代数。
2007-08-30 math.QA math.RA