Here we introduce the k-bi-ideals in semirings and the intra k-regular semirings. An intra k-regular semiring S is a semiring whose additive reduct is a semilattice and for each a ∈ S there exists x ∈ S such that a + xa²x = xa²x. Also it is a semiring in which every k-ideal is semiprime. Our aim in this article is to characterize both the k-regular semirings and intra k-regular semirings using of k-bi-ideals.

Commutative congruence-simple semirings were studied in [2] and [7] (but see also [1], [3]--[6]). The non-commutative case almost (see [8]) escaped notice so far. Whatever, every congruence-simple semiring is bi-ideal-simple and the aim of this very short note is to collect several pieces of information on these semirings.

2000 Mathematics Subject Classification: Primary 81R50, 16W50, 16S36, 16S37.Let k be a field and X be a set of n elements. We introduce and study a class of quadratic k-algebras called quantum binomial algebras. Our main result shows that such an algebra A defines a solution of the classical Yang-Baxter equation (YBE), if and only if its Koszul dual A! is Frobenius of dimension n, with a regular socle and for each x, y ∈ X an equality of the type xyy = αzzt, where α ∈ k {0, and z, t ∈ X is satisfied...

Let C be a coalgebra over an arbitrary field K. We show that the study of the category C-Comod of left C-comodules reduces to the study of the category of (co)representations of a certain bicomodule, in case C is a bipartite coalgebra or a coradical square complete coalgebra, that is, C = C₁, the second term of the coradical filtration of C. If C = C₁, we associate with C a K-linear functor ${ℍ}_C:C-Comod\to H_C-Comod$ that restricts to a representation equivalence ${ℍ}_C:C-comod\to H_C-como{d}_{sp}^{•}$, where $H_C$ is a coradical square complete hereditary bipartite...

Let $A$ and $B$ be commutative rings with identity. An $A$-$B$-biring is an $A$-algebra $S$ together with a lift of the functor ${Hom}_A(S,-)$ from $A$-algebras to sets to a functor from $A$-algebras to $B$-algebras. An $A$-plethory is a monoid object in the monoidal category, equipped with the composition product, of $A$-$A$-birings. The polynomial ring $A\left[X\right]$ is an initial object in the category of such structures. The $D$-algebra $Int\left(D\right)$ has such a structure if $D=A$ is a domain such that the natural $D$-algebra homomorphism ${\theta }_n:{{⨂}_D}_{i=1}^{n}Int\left(D\right)\to Int\left(D^n\right)$ is an isomorphism for...

A class of stratified posets $I{*}_{\varrho }$ is investigated and their incidence algebras $KI{*}_{\varrho }$ are studied in connection with a class of non-shurian vector space categories. Under some assumptions on $I{*}_{\varrho }$ we associate with $I{*}_{\varrho }$ a bound quiver (Q, Ω) in such a way that $KI{*}_{\varrho }\simeq K(Q,\Omega )$. We show that the fundamental group of (Q, Ω) is the free group with two free generators if $I{*}_{\varrho }$ is rib-convex. In this case the universal Galois covering of (Q, Ω) is described. If in addition $I_{\varrho }$ is three-partite a fundamental domain $I^{*+\times }$ of this covering is...

Motivated by our attempts to construct an analogue of the Dirac operator in the setting of $U_q\left({\mathrm{𝔰𝔩}}_n\right)$, we write down explicitly the braided coproduct, antipode, and adjoint action for quantum algebra $U_q\left({\mathrm{𝔰𝔩}}_2\right)$. The braided adjoint action is seen to coincide with the ordinary quantum adjoint action, which also follows from the general results of S. Majid.

We continue our study of the category of Doi Hom-Hopf modules introduced in [Colloq. Math., to appear]. We find a sufficient condition for the category of Doi Hom-Hopf modules to be monoidal. We also obtain a condition for a monoidal Hom-algebra and monoidal Hom-coalgebra to be monoidal Hom-bialgebras. Moreover, we introduce morphisms between the underlying monoidal Hom-Hopf algebras, Hom-comodule algebras and Hom-module coalgebras, which give rise to functors between the category of Doi Hom-Hopf...

For finite groups $X$, $G$ and the right $G$-action on $X$ by group automorphisms, the non-balanced quantum double $D(X;G)$ is defined as the crossed product ${\left(ℂX^{\mathrm{op}}\right)}^{*}⋊ℂG$. We firstly prove that $D(X;G)$ is a finite-dimensional Hopf $C^{*}$-algebra. For any subgroup $H$ of $G$, $D(X;H)$ can be defined as a Hopf $C^{*}$-subalgebra of $D(X;G)$ in the natural way. Then there is a conditonal expectation from $D(X;G)$ onto $D(X;H)$ and the index is $[G;H]$. Moreover, we prove that an associated natural inclusion of non-balanced quantum doubles is the crossed product by the group algebra....

By analogy with the projective, injective and flat modules, in this paper we study some properties of $C$-Gorenstein projective, injective and flat modules and discuss some connections between $C$-Gorenstein injective and $C$-Gorenstein flat modules. We also investigate some connections between $C$-Gorenstein projective, injective and flat modules of change of rings.