Related papers: Hemiring-valued pseudonormed rings
Schurian-finiteness, also known as $\tau$-tilting finiteness, is equivalent to the finiteness of various representation theoretic objects such as wide subcategories. The first three authors classified Schurian-finite blocks of type A Hecke…
Several structural results about permutation groups of finite rank definable in differentially closed fields of characteristic zero (and other similar theories) are obtained. In particular, it is shown that every finite rank definably…
We introduce a new infinite class of superintegrable quantum systems in the plane. Their Hamiltonians involve reflection operators. The associated Schr\"odinger equations admit separation of variables in polar coordinates and are exactly…
In this paper consisting of two parts, we study the integral of a logarithmic differential form on a compact semi-algebraic set in R^n or C^n. In Part I, we prove the convergence of the integral when the semi-algebraic set satisfies…
Let $A$ be the ring of integers of a number field $K$. Let $G \subseteq GL_3(A)$ be a finite group. Let $G$ act linearly on $R = A[X,Y, Z]$ (fixing $A$) and let $S = R^G$ be the ring of invariants. Assume the Veronese subring $S^{<m>}$ of…
Given any quasi-countable, in particular any countable inverse semigroup $S$, we introduce a way to equip $S$ with a proper and right subinvariant extended metric. This generalizes the notion of proper, right invariant metrics for discrete…
The aim of this work is to study duality of fractional ideals with respect to a fixed ideal and to investigate the relationship between value sets of pairs of dual ideals in admissible rings, a class of rings that contains the local rings…
We prove several new Bertini theorems over arbitrary fields and discrete valuation rings.
A general notion of a quasi-finite algebra is introduced as an algebra graded by the set of all integers equipped with topologies on the homogeneous subspaces satisfying certain properties. An analogue of the regular bimodule is introduced…
For commutative rings, we introduce the notion of a {\em universal grading}, which can be viewed as the "largest possible grading". While not every commutative ring (or order) has a universal grading, we prove that every {\em reduced order}…
Cauchy reals can be defined as a quotient of Cauchy sequences of rationals. The limit of a Cauchy sequence of Cauchy reals is defined through lifting it to a sequence of Cauchy sequences of rationals. This lifting requires the axiom of…
Let (R,m,k) be a local Cohen-Macaulay (CM) ring of dimension one. It is known that R has finite CM type if and only if R is reduced and has bounded CM type. Here we study the one-dimensional rings of bounded but infinite CM type. We will…
We study existence, uniqueness, and distributional aspects of generalized solutions to the Cauchy problem for first-order symmetric (or Hermitian) hyperbolic systems of partial differential equations with Colombeau generalized functions as…
In this manuscript we prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in…
The main result in this paper is to supply a recursive formula, on the number of minimal primes, for the colength of a fractional ideal in terms of the maximal points of the value set of the ideal itself. The fractional ideals are taken in…
We show that the dimension of the Cuntz semigroup of a C*-algebra is determined by the dimensions of the Cuntz semigroups of its separable sub-C*-algebras. This allows us to remove separability assumptions from previous results on the…
We develop the theory of patterns on numerical semigroups in terms of the admissibility degree. We prove that the Arf pattern induces every strongly admissible pattern, and determine all patterns equivalent to the Arf pattern. We study…
We give an elementary approach to studying whether rings of $S$-integers in complex quadratic fields are Euclidean with respect to the $S$-norm.
We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.
We establish vanishing results for the first cohomology group of nilpotent groups and Lie rings when the submodule of invariants is trivial. Our results are obtained within a model-theoretic setting, namely for structures that are definable…