We describe the branching rule from $S{p}_4$ to $S{L}_2$, where the latter is embedded via its action on binary cubic forms. We obtain both a numerical multiplicity formula, as well as a minimal system of generators for the geometric realization of the rule.

Let $R$ be a commutative ring with identity. A proper ideal $I$ is said to be an $n$-ideal of $R$ if for $a,b\in R$, $ab\in I$ and $a\notin \sqrt{0}$ imply $b\in I$. We give a new generalization of the concept of $n$-ideals by defining a proper ideal $I$ of $R$ to be a semi $n$-ideal if whenever $a\in R$ is such that $a^2\in I$, then $a\in \sqrt{0}$ or $a\in I$. We give some examples of semi $n$-ideal and investigate semi $n$-ideals under various contexts of constructions such as direct products, homomorphic images and localizations. We present various characterizations of this new class of...

Arithmetical invariants—such as sets of lengths, catenary and tame degrees—describe the non-uniqueness of factorizations in atomic monoids.We study these arithmetical invariants by the monoid of relations and by presentations of the involved monoids. The abstract results will be applied to numerical monoids and to Krull monoids.

Experience shows that in geometric situations the separating ideal associated with two orderings of a ring measures the degree of tangency of the corresponding ultrafilters of semialgebraic sets. A related notion of separating ideals is introduced for pairs of valuations of a ring. The comparison of both types of separating ideals helps to understand how a point on a surface is approached by different half-branches of curves.

The notion of a d-sequence in Commutative Algebra was introduced by Craig Huneke, while the notion of a sequence of linear type was introduced by Douglas Costa. Both types of sequences generate ideals of linear type. In this paper we study another type of sequences, that we call c-sequences. They also generate ideals of linear type. We show that c-sequences are in between d-sequences and sequences of linear type and that the initial subsequences of c-sequences are c-sequences. Finally we prove a...

Soient $k$ un corps commutatif et $I=(p_1,\cdots ,p_m)k_n\left[X\right]$ un idéal de l’anneau des polynômes $k[X_1,\cdots ,X_n]$ (éventuellement $I=k_n\left[X\right]$). Nous prouvons une conjecture de C. Berenstein - A. Yger qui affirme que pour tout polynôme $p$, élément de la clôture intégrale $\overline{I}$ de l’idéal $I$, on a une représentation$$p^m=\sum _{1\le i\le m}{p}_i{q}_i,\text{avec}maxdeg\left(q_i{p}_i\right)\le mdegp+m{d}_1\cdots d_m,$$où $d_i=deg{p}_i,1\le i\le m$.

Let $R$ be a commutative ring with identity and $A\left(R\right)$ be the set of ideals with nonzero annihilator. The strongly annihilating-ideal graph of $R$ is defined as the graph $\mathrm{SAG}\left(R\right)$ with the vertex set $A{\left(R\right)}^{*}=A\left(R\right)\setminus \left\{0\right\}$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I\cap \mathrm{Ann}\left(J\right)\ne \left(0\right)$ and $J\cap \mathrm{Ann}\left(I\right)\ne \left(0\right)$. In this paper, the perfectness of $\mathrm{SAG}\left(R\right)$ for some classes of rings $R$ is investigated.