We explore the connection between atomicity in Prüfer domains and their corresponding class groups. We observe that a class group of infinite order is necessary for non-Noetherian almost Dedekind and Prüfer domains of finite character to be atomic. We construct a non-Noetherian almost Dedekind domain and exhibit a generating set for the ideal class semigroup.

It is well known that an integral domain is a valuation domain if and only if it possesses only one finitary ideal system (Lorenzen $r$-system of finite character). We prove an analogous result for root-closed (cancellative) monoids and apply it to give several new characterizations of Prüfer (multiplication) monoids and integral domains.

The important ideas of reduction and integral closure of an ideal in a commutative Noetherian ring A (with identity) were introduced by Northcott and Rees [4]; a brief and direct approach to their theory is given in [6, (1.1)]. We begin by briefly summarizing some of the main aspects.

In this paper, we deal with the study of intermediate domains between a domain $R$ and a domain $T$ such that $T$ is an intersection of localizations of $R$, namely the pair $\left(R,T\right)$. More precisely, we study the pair $\left(R,R_d\right)$ and the pair $\left(R,\tilde{R}\right)$, where $R_d=\cap \left\{R_M\mid M\in \text{Max}\left(R\right),htM=dimR\right\}$ and $\tilde{R}=\cap \left\{R_M\mid M\in \text{Max}\left(R\right),htM\ge 2\right\}$. We prove that, if $R$ is a Jaffard domain, then $\left(R,R_d\left[n\right]\right)$ is a Jaffard pair, which generalize [5, Théorème 1.9]. We also show that if $R$ is an $S$-domain, then $\left(R,\tilde{R}\right)$ is a residually algebraic pair (that is for each intermediate domain $S$ between $R$ and $\tilde{R}$, if $Q$ is a prime ideal of $S$...

Let $𝒵\left(ℛ\right)$ be the set of zero divisor elements of a commutative ring $R$ with identity and $ℳ$ be the space of minimal prime ideals of $R$ with Zariski topology. An ideal $I$ of $R$ is called strongly dense ideal or briefly $sd$-ideal if $I\subseteq 𝒵\left(ℛ\right)$ and $I$ is contained in no minimal prime ideal. We denote by $R_K\left(ℳ\right)$, the set of all $a\in R$ for which $\overline{D\left(a\right)}=\overline{ℳ\setminus V\left(a\right)}$ is compact. We show that $R$ has property $\left(A\right)$ and $ℳ$ is compact if and only if $R$ has no $sd$-ideal. It is proved that $R_K\left(ℳ\right)$ is an essential ideal (resp., $sd$-ideal) if and only if $ℳ$ is an almost locally compact...

The vertex algebra ${𝒲}_{1+\infty ,c}$ with central charge $c$ may be defined as a module over the universal central extension of the Lie algebra of differential operators on the circle. For an integer $n\ge 1$, it was conjectured in the physics literature that ${𝒲}_{1+\infty ,-n}$ should have a minimal strong generating set consisting of $n^2+2n$ elements. Using a free field realization of ${𝒲}_{1+\infty ,-n}$ due to Kac–Radul, together with a deformed version of Weyl’s first and second fundamental theorems of invariant theory for the standard representation of ${\text{GL}}_n$,...

Let $𝔽$ be any field of characteristic $p$. It is well-known that there are exactly $p$ inequivalent indecomposable representations $V_1,V_2,...,V_p$ of $C_p$ defined over $𝔽$. Thus if $V$ is any finite dimensional $C_p$-representation there are non-negative integers $0\le n_1,n_2,...,n_k\le p-1$ such that $V\cong {\oplus }_{i=1}^k{V}_{n_i+1}$. It is also well-known there is a unique (up to equivalence) $d+1$ dimensional irreducible complex representation of $S{L}_2\left(ℂ\right)$ given by its action on the space $R_d$ of $d$ forms. Here we prove a conjecture, made by R. J. Shank, which reduces the computation of the ring...

We investigate the invariant rings of two classes of finite groups $G\le \mathrm{GL}(n,F_q)$ which are generated by a number of generalized transvections with an invariant subspace $H$ over a finite field $F_q$ in the modular case. We name these groups generalized transvection groups. One class is concerned with a given invariant subspace which involves roots of unity. Constructing quotient groups and tensors, we deduce the invariant rings and study their Cohen-Macaulay and Gorenstein properties. The other is concerned with...

Let $R$ be a one-dimensional analytically irreducible ring and let $I$ be an integral ideal of $R$. We study the relation between the irreducibility of the ideal $I$ in $R$ and the irreducibility of the corresponding semigroup ideal $v\left(I\right)$. It turns out that if $v\left(I\right)$ is irreducible, then $I$ is irreducible, but the converse does not hold in general. We collect some known results taken from [5], [4], [3] to obtain this result, which is new. We finally give an algorithm to compute the components of an irredundant decomposition...