Related papers: On generating the ring of matrix semi-invariants

Let M in k[x,y] be a monomial ideal M=(m_1,m_2,...,m_r), where the m_i are a minimal generating set of M. We construct an explicit free resolution of k over S=k[x,y]/M for all monomial ideals M, and provide recursive formulas for the Betti…

We propose a new class of mathematical structures called (m,n)-semirings} (which generalize the usual semirings), and describe their basic properties. We also define partial ordering, and generalize the concepts of congruence, homomorphism,…

Let $f,g\in Z[X]$ be monic polynomials of degree $n$ and let $C,D\in M_n(Z)$ be the corresponding companion matrices. We find necessary and sufficient conditions for the subalgebra $Z< C,D>$ to be a sublattice of finite index in the full…

Let $\mathrm{R}$ be a real closed field. The problem of obtaining tight bounds on the Betti numbers of semi-algebraic subsets of $\mathrm{R}^k$ in terms of the number and degrees of the defining polynomials has been an important problem in…

Armendariz and semicommutative rings are generalizations of reduced rings. In \cite{IN}, I.N. Herstein introduced the notion of a hypercenter of a ring to generalize the center subclass. For a ring $R$, an element $a \in R$ is called…

The Hilbert function, its generating function and the Hilbert polynomial of a graded ring R have been extensively studied since the famous paper of Hilbert: Ueber die Theorie der algebraischen Formen [Hil90]. In particular, the coefficients…

We show that any nonzero polynomial in the ideal generated by the $r \times r$ minors of an $n \times n$ matrix $X$ can be used to efficiently approximate the determinant. For any nonzero polynomial $f$ in this ideal, we construct a small…

Consider a semi-algebraic set A in R^d constructed from the sets which are determined by inequalities p_i(x)>0, p_i(x)\ge 0, or p_i(x)=0 for a given list of polynomials p_1,...,p_m. We prove several statements that fit into the following…

We study matrix semigroups in which ring commutators have real spectra. We prove that irreducible semigroups with this property are simultaneously similar to semigroups of real-entried matrices. We also obtain a structure theorem for…

Let $G$ be the cyclic group of order $n$ and suppose ${\bf F}$ is a field containing a primitive $n^\text{th}$ root of unity. We consider the ring of invariants ${\bf F}[W]^G$ of a three dimensional representation $W$ of $G$ where $G…

Let $(A,\mathfrak{m})$ be a complete equicharacteristic Noetherian domain of dimension $d + 1 \geq 2$. Assume $k = A/\mathfrak{m}$ has characteristic zero and that $A$ is not a regular local ring. Let $Sing(A)$ the singular locus of $A$ be…

Let $k$ be a field of characteristic zero and $B$ a commutative integral domain that is also a finitely generated $k$-algebra. It is well known that if $k$ is algebraically closed and the "Field Makar-Limanov" invariant FML$(B)$ is equal to…

Let $R$ be a standard graded polynomial ring that is finitely generated over a field of characteristic $0$, let $\mathfrak{m}$ be the homogeneous maximal ideal of $R$, and let $I$ be a homogeneous prime ideal of $R$. Dao and Monta\~{n}o…

It is well known that the full matrix ring over a skew-field is a simple ring. We generalize this theorem to the case of semirings. We characterize the case when the matrix semiring $\mathbf{M}_n(S)$, of all $n\times n$ matrices over a…

Let $\mathcal{PORD}_{n}$ be the semigroup consisting of all oriented and order-decreasing partial transformations on the finite chain $X_{n}=\{ 1<\cdots<n \}$. Let $\mathcal{IORD}_{n}$ be the subsemigroup of $\mathcal{PORD}_{n}$ consisting…

Let K be a field and let M_n(K) denote the space of n x n matrices with entries in K. Let M be a subspace of M_n(K) of dimension d with the property that there are elements in M with non-zero determinant. Given a basis of M, we define the…

Let $H=\langle n_1, \ldots ,n_4\rangle$ be a numerical semigroup generated by $4$ elements, which is symmetric and let $k[H]$ be the semigroup ring of $H$ over a field $k$. H. Bresinski proved that the defining ideal of $k[H]$ is minimally…

We classify all two-dimensional simple algebras (which may be non-associative) over an algebraically closed field. For each two-dimensional algebra $\mathcal{A}$, we describe a minimal (with respect to inclusion) generating set for the…

For two positive integers m and n, we let ${\mathcal P}_n$ be the open convex cone in ${\mathbb R}^{n(n+1)/2}$ consisting of positive definite n x n real symmetric matrices and let ${\mathbb R}^{(m,n)}$ be the set of all m x n real…

Let $f \in { \mathbb R} ( t) [x]$ be given by $ f(t, x) = x^n + t \cdot g(x) $ and $\beta_1 < \dots < \beta_m$ the distinct real roots of the discriminant $\Delta_{(f, x)} (t)$ of $f(t, x)$ with respect to $x$. Let $\gamma$ be the number of…