Related papers: Monomial Gotzmann sets in a quotient by a pure pow…

A Gotzmann monomial ideal of the polynomial ring is a monomial ideal which is generated in one degree and which satisfies Gotzmann's persistence theorem. A subset $V$ is said to be a Gotzmann subset if the ideal generated by $V$ is a…

It is a widely open problem to determine which monomials in the n-variable polynomial ring $K[x_1,...,x_n]$ over a field $K$ have the Gotzmann property, i.e. induce a Borel-stable Gotzmann monomial ideal. Since 2007, only the case $n \le 3$…

Gotzmann proved the persistence for minimal growth for ideals. His theorem is called Gotzmann's persistence theorem. In this paper, based on the combinatorics on binomial coefficients, a simple combinatorial proof of Gotzmann's persistence…

Let P = k[x_1, ..., x_n] be the polynomial ring in n variables. A homogeneous ideal I of P generated in degree d is called Gotzmann if it has the smallest possible Hilbert function out of all homogeneous ideals with the same dimension in…

Let $R_n=K[x_1,\dots,x_n]$ be the $n$-variable polynomial ring over a field $K$. Let $S_n$ denote the set of monomials in $R_n$. A monomial $u \in S_n$ is a \textit{Gotzmann monomial} if the Borel-stable monomial ideal $\langle u \rangle$…

In this thesis we study when a homogeneous polynomial $f$ decomposes or "splits" additively. Up to base change this means that it is possible to write $f = g + h$ where $g$ and $h$ are polynomials in independent sets of variables. This…

Let $A = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$. We will classify all the Gotzmann ideals of $A$ with at most $n$ generators. In addition, we will study Hilbert functions $H$ for which all homogeneous…

Let $G$ be a finite group acting on a finite dimensional complex vector space $V$ via linear transformations. Let $\mathbb{C}[V]^G$ be the algebra of polynomials that are invariant under the induced $G$-action on the polynomial ring…

For a commutative ring $R$, a polynomial $f\in R[x]$ is called separable if $R[x]/f$ is a separable $R$-algebra. We derive formulae for the number of separable polynomials when $R = \mathbb{Z}/n$, extending a result of L. Carlitz. For…

Given a representation of a finite group $G$ over some commutative base ring $\mathbf{k}$, the cofixed space is the largest quotient of the representation on which the group acts trivially. If $G$ acts by $\mathbf{k}$-algebra automorphisms,…

The main result of this article is a fantastic generalization of a classical result in graded ring theory. In fact, our result states that if $S$ is a multiplicative set of homogeneous elements of an $M$-graded commutative ring…

Let $\mathcal{R} = \mathbb{K}[x_1, \dots, x_n]$ be a multivariate polynomial ring over a field $\mathbb{K}$ of characteristic 0. Consider $n$ algebraically independent elements $g_1, \dots, g_n$ in $\mathcal{R}$. Let $\mathcal{S}$ denote…

Let $f(Z)=Z^n-a_{1}Z^{n-1}+\cdots+(-1)^{n-1}a_{n-1}Z+(-1)^na_n$ be a monic polynomial with coefficients in a ring~$R$ with identity, not necessarily commutative. We study the ideal $I_f$ of $R[X_1,\dots,X_n]$ generated by…

Let R be a local Cohen-Macaulay ring with canonical module \omega_R. We investigate the following question of Huneke: If the sequence of Betti numbers \{\beta_i^R(\omega_R)\} has polynomial growth, must R be Gorenstein? This question is…

Let S be an abelian semigroup, written additively. Let A be a finite subset of S. We denote the cardinality of A by |A|. For any positive integer h, the sumset hA is the set of all sums of h not necessarily distinct elements of A. We define…

Let S be an abelian semigroup, and A a finite subset of S. The sumset hA consists of all sums of h elements of A, with repetitions allowed. Let |hA| denote the cardinality of hA. Elementary lattice point arguments are used to prove that an…

Exploiting symmetry in Groebner basis computations is difficult when the symmetry takes the form of a group acting by automorphisms on monomials in finitely many variables. This is largely due to the fact that the group elements, being…

For a regular, compact, polynomially convex circled set K in C^2, we construct a sequence of pairs {P_n,Q_n} of homogeneous polynomials in two variables with deg P_n = deg Q_n = n such that the sets K_n: = {(z,w) \in C^2 : |P_n(z,w)| \leq…

It is known that for a monomial ideal $I$, the number of minimal generators, $\mu(I^n)$, eventually follows a polynomial pattern for increasing $n$. In general, little is known about the power at which this pattern emerges. Even less is…

A monomial algebra is the quotient of a polynomial algebra by an ideal generated by monomials. We prove that finite-dimensional monomial algebras are characterized by their automorphism group among finite-dimensional, local algebras with…