On indecomposable ideals over some algebras (Q2199643): Difference between revisions

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)\).