Related papers: A Note on Strongly $\pi$-Regular Elements

Let $I$ be a monomial ideal in a polynomial ring $S=K[x_1,\ldots,x_n]$ over a field $K$ with $n=2$ or $3$, and let $\overline{I}$ be its integral closure. We will show that $\text{reg} (\overline{I}) \le \text{reg} (I)$. Furthermore, if $I$…

Let $G$ be a complex simply-connected semisimple Lie group and let $\g=\hbox{\rm Lie}\,G$. Let $\g = \n_- +\hh + \n$ be a triangular decomposition of $\g$. One readily has that $\hbox{\rm Cent}\,U(\n)$ is isomorphic to the ring $S(\n)^{\n}$…

We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…

Using polynomial evaluation, we give some useful criteria to answer questions about divisibility of polynomials. This allows us to develop interesting results concerning the prime elements in the domain of coefficients. In particular, it is…

Let $R$ be a unital ring with involution. We first show that the EP elements in $R$ can be characterized by three equations. Namely, let $a\in R$, then $a$ is EP if and only if there exists $x\in R$ such that $(xa)^{\ast}=xa$, $xa^{2}=a$…

A ring $R$ is said to be centrally essential if for every its non-zero element $a$, there exist non-zero central elements $x$ and $y$ with $ax = y$. A ring $R$ is said to be completely centrally essential if all its factor rings are…

We develop a theory of formal multivariate polynomials over commutative rings by treating them as ring terms. Our main result is that two ring terms are s-equivalent (when expanded they yield the same standard polynomial) iff they are…

We show that a ring $\,R\,$ has two idempotents $\,e,e'\,$ with an invertible commutator $\,ee'-e'e\,$ if and only if $\,R \cong {\mathbb M}_2(S)\,$ for a ring $\,S\,$ in which $\,1\,$ is a sum of two units. In this case, the…

Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…

We establish a novel connection between the central binomial coefficients $\binom{2n}{n}$ and Gould's sequence through the construction of a specialized multivariate polynomial quotient ring. Our ring structure is characterized by ideals…

A ring $R$ is called strongly clean if every element of $R$ is the sum of a unit and an idempotent that commute with each other. A recent result of Borooah, Diesl and Dorsey \cite{BDD05a} completely characterized the commutative local rings…

The product matrix of a finite commutative ring $R=\{x_1,x_2,\ldots,x_n\}$ and an element $u \in R$ is the matrix $A_u(R)=[a_{ij}]$, where $a_{ij}=1$ if $x_ix_j=u$, and $a_{ij}=0$ otherwise. This provides a natural extension of the concept…

In this work we prove that a semialgebraic set $M\subset{\mathbb R}^m$ is determined (up to a semialgebraic homeomorphism) by its ring ${\mathcal S}(M)$ of (continuous) semialgebraic functions while its ring ${\mathcal S}^*(M)$ of…

We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability for all members in this class of rings.

The fundamental theorem of symmetric polynomials over rings is a classical result which states that every unital commutative ring is fully elementary, i.e. we can express symmetric polynomials with elementary ones in a unique way. The…

Let $R$ be a ring and $P$ a prime ideal of $R.$ In this paper, we establish some commutativity criteria for the factor ring $R/P$ in terms of derivations of $R$ satisfying some algebraic identities involving a new kind of involution in…

If $A$ is a finite group (or a finite ring) and $\omega$ is a word map (or a polynomial map), we define the quantity $|\omega(A)|/|A|$ as the image ratio of $\omega$ on $A$ and will be denoted by $\mu(\omega,A)$. In this article, we…

Consider the ring $\mathcal{S}$ of symmetric polynomials in $k$ variables over an arbitrary base ring $\mathbf{k}$. Fix $k$ scalars $a_{1},a_{2},\ldots,a_{k}\in\mathbf{k}$. Let $I$ be the ideal of $\mathcal{S}$ generated by…

We evidence a family $\mathcal{X}$ of square matrices over a field $\mathbb{K}$, whose elements will be called X-matrices. We show that this family is shape invariant under multiplication as well as transposition. We show that $\mathcal{X}$…

We give new definitions for the determinant over commutative ring $K$, noncommutative ring $\mathbf{K}$, noncommutative ring $\mathcal{K}$ with associative powers, over noncommutative nonassociative ring $\mathfrak{K}$, and study their…