Related papers: Lebesgue measure zero modulo ideals on the natural…

We contribute to the study of generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set $P(\lambda)$ of a singular cardinal $\lambda$ of countable cofinality or…

Let us denote $\lambda$ the Lebesgue measure on $[0,1]$, put$$ C(\lambda)=\{f\in C([0,1]);\ \forall~A\subset [0,1], A~\text{Borel}:\ \lambda(A)=\lambda(f^{-1}(A))\}.$$ We endow the set $C(\lambda)$ by the uniform metric $\rho$ and…

Let $(R,\frak{m})$ be a Noetherian local ring, $I$ an ideal of $R$ and $N$ a finitely generated $R$-module. Let $k{\ge}-1$ be an integer and $ r=\depth_k(I,N)$ the length of a maximal $N$-sequence in dimension $>k$ in $I$ defined by M.…

(1) Let $(A,\mathfrak{m})$ be complete Noetherian local ring of dimension $d$ and let $P$ be a prime ideal with $G_P(A) = \bigoplus_{n \geq 0}P^n/P^{n+1}$ a domain. Fix $r \geq 1$. If $J$ is a homogeneous ideal of $G_{P^r}(A)$ with…

Peres and Solomyak asked the question: Do there exist self-similar sets with positive Lebesgue measure and empty interior? This question was answered in the affirmative by Cs\"{o}rnyei et al. They gave a parameterised family of iterated…

It is well known to generalize the meagre ideal replacing aleph_0 by a (regular) cardinal lambda > aleph_0 and requiring the ideal to be lambda^+-complete. But can we generalize the null ideal? In terms of forcing, this means finding a…

For any finitely generated module $M$ with non-zero rank over a commutative one dimensional Noetherian local domain, the numerical invariant $h(M)$ was introduced and studied in the author's previous work "Partial Trace Ideals and Berger's…

A sumset semigroup is a non-cancellative commutative monoid obtained from the sumset of finite non-negative integer sets. In this work, an algorithm for computing the ideals associated with some sumset semigroups is provided. Using these…

The purpose of the present paper is to prove some properties of the strongly irreducible submodules in the arithmetical and Noetherian modules over a commutative ring. The relationship among the families of strongly irreducible submodules,…

The smooth development of large parts of mathematics hinges on the idea that some sets are `small' or `negligible' and can therefore be ignored for a given purpose. The perhaps most famous smallness notion, namely `measure zero', originated…

Let J be a strongly stable monomial ideal in P=k[X0,...,Xn] and let BSt(J) be the family of all the homogeneous ideals in P such that the set N(J) of all the monomials that do not belong to J is a k-vector basis of the quotient P/I. We show…

We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…

This paper gives an explicit formula for the multiplier ideals, and consequently for the log canonical thresholds, of any GL(V)xGL(W)-invariant ideal in the symmetric algebra S of the tensor product of V with the dual of W, where V and W…

We introduce the notion of directed scheme of ideals to characterize peculiar ideals on the reals, which comes from a formalization of the framework of Yorioka ideals for strong measure zero sets. We prove general theorems for directed…

We introduce new cardinal invariants of a poset, called the comparability number and the incomparability number. We determine their value for well-known posets, such as $\omega^\omega$, $\mathcal{P}(\omega)/\mathrm{fin}$, the Turing degrees…

Let $R=\oplus_{m\geq 0}R_m$ be a standard graded equidimensional ring over a field $R_0$, and $I\subseteq J$ be two non-nilpotent graded ideals in $R$. Then we give a set of numerical characterizations of the integral dependence of $I$ and…

The main goal of this paper is to compute two related numerical invariants of a primitive ideal in the universal enveloping algebra of a semisimple Lie algebra. The first one, very classical, is the Goldie rank of an ideal. The second one…

By a theorem proved by Erdos, Kunen and Mauldin, for any nonempty perfect set $P$ on the real line there exists a perfect set $M$ of Lebesgue measure zero such that $P+M=\mathbb{R}$. We prove a stronger version of this theorem in which the…

Let $J\subset I$ be ideals in a formally equidimensional local ring with $\lambda(I/J)<\infty.$ Rees proved that for all $n\gg0$, $\lambda(I^n/J^n)$ is a polynomial $P(I/J)(X)$ in $n$ of degree at most dim $R$ and $J$ is a reduction of $I$…

We prove theorems of the following form: if $A\subseteq {\mathbb R}^2$ is a big set, then there exists a big set $P\subseteq {\mathbb R}$ and a perfect set $Q\subseteq {\mathbb R}$ such that $P\times Q\subseteq A$. We discuss cases where…