Related papers: Valuation on filtered module and relations

We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…

Let $R$ be a commutative unital ring, $\mathfrak{ a}$ an ideal of $R$ and $M$ a fixed $R$-module. We introduce and study generalisations of $\mathfrak{a}$-reduced modules, $\mathfrak{R}_{\mathfrak{ a}}$ and $\mathfrak{a}$-coreduced modules,…

A combinatorial characterization of measurable filters on a countable set is found. We apply it to the problem of measurability of the intersection of nonmeasurable filters.

We define a new family of valuations on polyhedral cones valued in the space of bounded polyhedra.

Measure and integral are two closely related, but distinct objects of study. Nonetheless, they are both real-valued lattice valuations: order preserving real-valued functions $\phi$ on a lattice $L$ which are modular, i.e.,…

This is a revised version of the previous version with a new appendix consisting of characteristic two case. We define quasi-quadratic modules in a commutative ring generalizing the notion of quadratic modules. The main theorem is a…

In the first part of this paper we construct a model structure for the category of filtered cochain complexes of modules over some commutative ring $R$ and explain how the classical Rees construction relates this to the usual projective…

Following our first article, we continue to investigate ultrametic modules over a ring of twisted polynomials of the form $[K;\vfi]$, where $\vfi$ is a ring endomorphism of $K$. The main motivation comes from the the theory of valued…

Valuation based systems verifying an idempotent property are studied. A partial order is defined between the valuations giving them a lattice structure. Then, two different strategies are introduced to represent valuations: as infimum of…

Recent work has suggested enhancing Bloom filters by using a pre-filter, based on applying machine learning to model the data set the Bloom filter is meant to represent. Here we model such learned Bloom filters, clarifying what guarantees…

We consider a rank 1 valuation $\nu$ centered in a regular 3-dimensional local ring $R$. We assume that the residue field $k$ of $\nu$ is contained in $R$. An algorithm for constructing a generating sequences for $\nu$ in $R$ is provided.…

We give a first-order definition of key polynomials, we show the links with previous definitions, that it is relevant to study key degrees, and to use a kind of valuations that we call partially multiplicative. We also prove or reprove…

Using a concept of filter we propose one generalization of Riemann integral, that is integration with respect to filter. We study this problem, demonstrate different properties and phenomena of filter integration.

We introduce the concepts of a pair of valuations and a good generating set and show how they can be used to prove geometric properties of soluble groups.

In this paper we give elementary conditions completely characterising when the theory of modules of a Pr\"ufer domain is decidable. Using these results, we show that the theory of modules of the ring of integer valued polynomials is…

Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the…

Let $k$ be a commutative Noetherian ring. In this paper we consider filtered modules of the category FI firstly introduced by Nagpal. We show that a finitely generated FI-module $V$ is filtered if and only if its higher homologies all…

In that paper, we recall the notion of the multidegree for $D$-modules, as exposed in a previous paper, with a slight simplification. A particular emphasis is given on hypergeometric systems, used to provide interesting and computable…

We call a right module $M$ (strongly) virtually regular if every (finitely generated) cyclic submodule is isomorphic to a direct summand. $M$ is said to be completely virtually regular if every submodule is virtually regular. In this paper,…

In this article, we introduce the notion of regular fusible modules. Let $R$ be a ring with an identity and $M$ an $R$-module. An element $0\neq m\in M$ is said to be regular fusible if there exists $r\in R$, a non zero-divisor of $M$, such…