In the present paper, we will show that the set of minimal elements of a full affine semigroup $A\hookrightarrow {\mathbb{N}}_0^k$ contains a free basis of the group generated by $A$ in ${\mathbb{Z}}^k$. This will be applied to the study of the group ${\text{K}}_0\left(R\right)$ for a semilocal ring $R$.

We first prove that every countably presented module is a pure epimorphic image of a countably generated pure-projective module, and by using this we prove that if every countably generated pure-projective module is pure-injective then every module is pure-injective, while if in any countably generated pure-projective module every countably generated pure-projective pure submodule is a direct summand then every module is pure-projective.

In a braided monoidal category C we consider Hopf bimodules and crossed modules over a braided Hopf algebra H. We show that both categories are equivalent. It is discussed that the category of Hopf bimodule bialgebras coincides up to isomorphism with the category of bialgebra projections over H. Using these results we generalize the Radford-Majid criterion and show that bialgebra cross products over the Hopf algebra H are precisely described by H-crossed module bialgebras. In specific braided monoidal...

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.

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

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