On indecomposable ideals over some algebras

From MaRDI portal
Publication:2199643



Abstract: In this paper we investigate a family of algebras endowed with a suitable non-degenerate bilinear form that can be used to define two different notions of dual for a given right ideal. We apply our results to the classification of the right ideals and their duals in the cyclic group algebra, in the Taft algebra and in another example of Hopf algebra arising as bosonization.


Let \(\Bbbk\) be a field, \(S\) a finite set, \(\omega\) a permutation of \(S\) and \(N\in\mathbb{N}\). The algebras considered in the present work are the \(\Bbbk\)-algebras \(\Bbbk(\omega,N)\) generated by the elements \(\{e_s,x\mid s\in S\}\) subject to the relations \[ e_se_t=\delta_{s,t}e_s,\quad 1=\sum_{s\in S}e_s,\quad x^N=0\quad\mbox{and}\quad e_sx=xe_{\omega(s)}\quad\text{ for all }s,t\in S. \] The authors describe all the indecomposable right ideals of \(\Bbbk(\omega,N)\) and study their orthogonals with respect to the bilinear forms \(\langle-,-\rangle\) defined by \[ \langle e_sx^m,e_tx^n\rangle=d_{(s,m)}\,\delta_{\mu(s),t}\,\delta_{\nu(m),n}\quad\text{ for all } s,t\in S,\,0\leq m,n\leq N-1; \] where \(\{d_{(s,m)}\mid s\in S,\,0\leq m\leq N-1\}\) is a set of non-zero scalars, \(\mu\) is a permutation of \(S\) and \(\nu\) is a permutation of \(\{0, \ldots, N-1\}\). The authors illustrate with three examples their main results. First, the cyclic group algebras which emerge when \(N=1\). Second, the Taft algebras, recovering some results from [\textit{J. Cuadra} et al., J. Comput. Appl. Math. 235, No. 7, 1833--1839 (2011; Zbl 1207.94069)]. Lastly, the bosonization of the algebra of function over the dihedral group of order \(12\) and \(\Bbbk[x]/(x^2)\).











This page was built for publication: On indecomposable ideals over some algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199643)