Related papers: Oracle-supported drawing of the Groebner {\em esca…

In 1964 Shepherdson \cite{shepherdson:1964} proved that a discretely ordered semiring $\mathcal{M}^+$ satisfies $\sf{IOpen}$ (quantifier free induction) iff the corresponding ring $\mathcal{M}$ is an integer part of the real closure of the…

Let $G$ be a finite group and $p$ be a prime. We study the kernel of the map, between the Burnside ring of $G$ and the Grothendieck ring of $\mathbb{F}_p[G]$-modules, taking a $G$-set to its associated permutation module. We are able, for…

We present two criteria for a group $G$ to satisfy the following statements: any $G$-graded gr-prime (gr-semiprime) right gr-Goldie ring admits a gr-semisimple graded right classical quotient ring. The criterion for gr-semiprime rings is…

The set of idempotents of any semigroup carries the structure of a biordered set, which contains a great deal of information concerning the idempotent generated subsemigroup of the semigroup in question. This leads to the construction of a…

We introduce the notion of bounded quasi-inversion closed semiprime f-algebras and we prove that, if A is such an algebra, then any intermediate algebra in A is an order ideal of A. This extends a recent result by Dominguez who has dealt…

The theory of ternary $\Gamma$-semirings extends classical ring and semiring frameworks by introducing a ternary product controlled by a parameter set $\Gamma$. Building on the foundational axioms recently established by Rao, Rani, and…

Let $A$ be a commutative algebra equipped with an action of a group $G$. The so-called $G$-primes of $A$ are the equivariant analogs of prime ideals, and of central importance in equivariant commutative algebra. When $G$ is an infinite…

Let $K$ be a field, let $\sigma$ be an automorphism of $K$, and let $\delta$ be a derivation of $K$. We show that if $D$ is one of $K(x;\sigma)$ or $K(x;\delta)$, then $D$ either contains a free algebra over its center on two generators, or…

Generalized Baxter's relations on the transfer-matrices (also known as Baxter's TQ relations) are constructed and proved for an arbitrary untwisted quantum affine algebra. Moreover, we interpret them as relations in the Grothendieck ring of…

Let $K\left\langle X \right\rangle$ denote the free associative algebra generated by a set $X = \{x_1, \dots, x_n\}$ over a field $K$ of characteristic $0$. Let $I_p$, for $p \geq 2$, denote the two-sided ideal in $K\left\langle X…

We present a new approach to the ideal membership problem for polynomial rings over the integers: given polynomials $f_0,f_1,...,f_n\in\Z[X]$, where $X=(X_1,...,X_N)$ is an $N$-tuple of indeterminates, are there $g_1,...,g_n\in\Z[X]$ such…

The content of a polynomial $f(t)$ is the ideal generated by its coefficients. Our aim here is to consider a beautiful formula of Dedekind-Mertens on the content of the product of two polynomials, to explain some of its features from the…

In this paper we describe the equations defining the multi-Rees algebra $k[x_1,\dots,x_n][I_1^{a_1}t_1,\dots,I_r^{a_r}t_r]$, where the ideals are generated by subsets of $x_1,\dots,x_n$. We also show that a family of binomials whose leading…

Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial…

We prove the following;Theorem:Let R be a prime noetherian ring with k.dimR = n, n a finite non-negative integer. We refer the reader to the definitions (1.1) of this paper.For a fixed non-negative integer m, m<n let Xm be the full set of…

Let $C \subset {\bf N}^d$ be an affine semigroup, and $R=K[C]$ its semigroup ring. This paper is a collection of various results on "$C$-graded" $R$-modules, especially, monomial ideals. For example, we show the following: If $R$ is normal…

For every partially ordered sets I, having a finite cofinal subset, and every field K we build a unital, locally matricial and hence unit-regular K-algebra B(I) such that the lattice of all its ideals is order isomorphic to the lattice of…

For an ideal $I\subseteq\mathbb{R}[x]$ given by a set of generators, a new semidefinite characterization of its real radical $I(V_\mathbb{R}(I))$ is presented, provided it is zero-dimensional (even if $I$ is not). Moreover we propose an…

The structure of the defining ideal of the semigroup ring $k[H]$ of a numerical semigroup $H$ over a field $k$ is described, when the pseudo-Frobenius numbers of $H$ are multiples of a fixed integer.

Given a finitely generated subgroup $H$ of a free group $F$, we present an algorithm which computes $g_1,\ldots,g_m\in F$, such that the set of elements $g\in F$, for which there exists a non-trivial $H$-equation having $g$ as a solution,…