### A Change of Ring Theorem with Applications to Poincaré Series and Intersection Multiplicity.

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

Butler groups formed by factoring a completely decomposable group by a rank one group have been studied extensively. We call such groups, bracket groups. We study bracket modules over integral domains. In particular, we are interested in when any bracket $R$-module is $R$ tensor a bracket group.

Let $K$ be a field, $A=K[{X}_{1},\cdots ,{X}_{n}]$ and $\mathbb{M}$ the set of monomials of $A$. It is well known that the set of monomial ideals of $A$ is in a bijective correspondence with the set of all subsemiflows of the $\mathbb{M}$-semiflow $\mathbb{M}$. We generalize this to the case of term ideals of $A=R[{X}_{1},\cdots ,{X}_{n}]$, where $R$ is a commutative Noetherian ring. A term ideal of $A$ is an ideal of $A$ generated by a family of terms $c{X}_{1}^{{\mu}_{1}}\cdots {X}_{n}^{{\mu}_{n}}$, where $c\in R$ and ${\mu}_{1},\cdots ,{\mu}_{n}$ are integers $\ge 0$.

2000 Mathematics Subject Classification: Primary 20F55, 13F20; Secondary 14L30.We construct invariant polynomials for the reflection groups [3, 4, 3] and [3, 3, 5] by using some special sets of lines on the quadric P1 × P1 in P3. Then we give a simple proof of the well known fact that the ring of invariants are rationally generated in degree 2,6,8,12 and 2,12,20,30.

In this paper, a new kind of graph on a commutative ring is introduced and investigated. Small intersection graph of a ring $R$, denoted by $G\left(R\right)$, is a graph with all non-small proper ideals of $R$ as vertices and two distinct vertices $I$ and $J$ are adjacent if and only if $I\cap J$ is not small in $R$. In this article, some interrelation between the graph theoretic properties of this graph and some algebraic properties of rings are studied. We investigated the basic properties of the small intersection graph as diameter,...

The purpose of this article is to give, for any (commutative) ring $A$, an explicit minimal set of generators for the ring of multisymmetric functions ${\mathrm{T}S}_{A}^{d}\left(A[{x}_{1},\cdots ,{x}_{r}]\right)={\left(A{[{x}_{1},\cdots ,{x}_{r}]}^{{\otimes}_{A}d}\right)}^{{\U0001d516}_{d}}$ as an $A$-algebra. In characteristic zero, i.e. when $A$ is a $\mathbb{Q}$-algebra, a minimal set of generators has been known since the 19th century. A rather small generating set in the general case has also recently been given by Vaccarino but it is not minimal in general. We also give a sharp degree bound on the generators, improving the degree bound previously...

The main purpose of this article is to give an explicit algebraic action of the group ${S}_{3}$ of permutations of 3 elements on affine four-dimensional complex space which is not conjugate to a linear action.

2000 Mathematics Subject Classification: 13N15, 13A50, 16W25.We reduce the Nowicki conjecture on Weitzenböck derivations of polynomial algebras to a well known problem of classical invariant theory.