Related papers: Prime ideals in certain quantum determinantal ring…
We establish a technique to prove that a Koszul graded ring is prime or a domain using information about its Koszul dual. This is based on a general categorical result that expands on methods of J.Y. Guo, which proves that certain orbital…
Ideals in Leavitt path algebras have been shown to share many properties with those of integral domains. Since studying factorizations of ideals in integral domains into special types of ideals (particularly, prime, prime-power, primary,…
Let $A$ be a Noetherian ring, $J\subseteq A$ an ideal and $C$ a finitely generated $A$-module. In this note we would like to prove the following statement. Let $\{I_n\}_{n\geq 0}$ be a collection of ideals satisfying : (i) $I_n\supseteq…
Absolute integral closures of general commutative unital rings are explored. All rings admit absolute integral closures, but in general they are not unique. Among the reduced rings with finitely many minimal prime ideals, finite products of…
This paper consists of three parts: (I) To develop general theory of a (large) class of central simple finite dimensional algebras and answering some natural questions about them (that in general situation it is not even clear how to…
We investigate properties of commutative subrings and ideals in non-commutative algebraic crossed products for actions by arbitrary groups. A description of the commutant of the base coefficient subring in the crossed product ring is given.…
An ideal I of a commutative ring R is said to be irreducible if it cannot be written as the intersection of two larger ideals. A proper ideal I of a ring R is said to be strongly irreducible if for each ideals J, K of R, J\cap K\subseteq I…
We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that…
Every finite local principal ideal ring is the homomorphic image of a discrete valuation ring of a number field, and is determined by five invariants. We present an action of a group, non-commutative in general, on the set of Eisenstein…
In this paper, we study the ring of invariants under the action of SL(m,K)\times SL(n,K) and SL(m,K)\times SL(n,K)\times SL(2,K) on the 3-dimensional array of indeterminates of form m\times n\times 2, where K is an infinite field. And we…
Let R be a nil ring. We prove that primitive ideals in the polynomial ring R[x] in one indeterminate over R are of the form I[x] for some ideals I of R.
Let $R$ be a commutative ring with $1\neq 0$ and $n$ be a fixed positive integer. A proper ideal $I$ of $R$ is said to be an \textit{$n$-OA ideal} if whenever $a_1a_2\cdots a_{n+1}\in I$ for some nonunits $a_1,a_2,\ldots,a_{n+1}\in R$, then…
Suppose $A=k[X_1, X_2, \ldots, X_n]$ is a polynomial ring over a field $k$ and $I$ is an ideal in $A$. Then M. P. Murthy conjectured that $\mu(I)=\mu(I/I^2)$, where $\mu$ denotes the minimal number of generators. Recently, Fasel \cite{F}…
It is shown that every Leavitt path algebra L of an arbitrary directed graph E over a field K is an arithmetical ring, that is, the two-sided ideals of L form a distributive lattice. It is also shown that L is a multiplication ring, that…
Let G be a finite graph on [n] = {1,2,3,...,n}, X a 2 times n matrix of indeterminates over a field K, and S = K[X] a polynomial ring over K. In this paper, we study about ideals I_G of S generated by 2-minors [i,j] of X which correspond to…
Motivated by some recent results on Lie ideals, it is proved that if $L$ is a Lie ideal of a simple ring $R$ with center $Z(R)$, then $L\subseteq Z(R)$, $L=Z(R)a+Z(R)$ for some noncentral $a\in L$, or $[R, R]\subseteq L$, which gives a…
We study the quotient Q_i(A) of a free algebra A by the ideal M_i(A) generated by relation that the i-th commutator of any elements is zero. In particular, we completely describe such quotient for i=4 (for i<=3 this was done previously by…
In this paper, we view the collection of ideals of a commutative principal ideal ring from two perspectives: one as an ordered semigroup I(R) and the other as a category I_R . It is shown that I(R) is a regular ordered semigroup whereas I_R…
The classical invariant theory for the queer Lie superalgebra is an investigation of the $\mathrm{U}(\mathfrak{q}_n)$-invariant sub-superalgebra of the symmetric superalgebra $\mathrm{Sym}(V^{\oplus r}\oplus V^{*\oplus s})$ for…
Let $(A,\mathfrak{m})$ be an excellent normal local ring of dimension $d \geq 2$ with infinite residue field. Let $I$ be an $\mathfrak{m}$-primary ideal. Then the following assertions are equivalent: (i) The extended Rees algebra $A[It,…