Related papers: Definable ranks

Let $A$ be an abelian variety defined over a number field $K$ and let $A^{\vee}$ be the dual abelian variety. For an odd prime $p$, we consider two Selmer groups attached to $A[p]$ and relate the orders of these groups along with those of…

In this expository article, the real numbers are defined as infinite decimals. After defining an ordering relation and the arithmetic operations, it is shown that the set of real numbers is a complete ordered field. It is further shown that…

A notion of degeneration of elements in groups is introduced. It is used to parametrize the orbits in a finite abelian group under its full automorphism group by a finite distributive lattice. A pictorial description of this lattice leads…

In this article we further develop the theory of valuation independence and study its relation with classical notions in valuation theory such as immediate and defectless extensions. We use this general theory to settle two open questions…

In this paper, we introduce a new function related to the sum of element orders of finite groups. It is used to give some criteria for a finite group to be cyclic, abelian, nilpotent, supersolvable and solvable, respectively.

Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable…

We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was…

We discuss definability of henselian valuation rings in the Macintyre language $\mathcal{L}_{\rm Mac}$, the language of rings expanded by n-th power predicates. In particular, we show that henselian valuation rings with finite or Hilbertian…

We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied…

We describe various classes of infinitely presented groups that are condensation points in the space of marked groups. A well-known class of such groups consists of finitely generated groups admitting an infinite minimal presentation. We…

In this note some properties of the sum of element orders of a finite abelian group are studied.

We obtain a classification of the finite two-generated cyclic-by-abelian groups of prime-power order. For that we associate to each such group $G$ a list $\inv(G)$ of numerical group invariants which determines the isomorphism type of $G$.…

We give an explicit classification of translation-invariant, Lorentz-invariant continuous valuations on convex sets. We also classify the Lorentz-invariant even generalized valuations.

We present a simple and versatile framework for evaluating ranked lists in terms of group fairness and relevance, where the groups (i.e., possible attribute values) can be either nominal or ordinal in nature. First, we demonstrate that, if…

We classify, up to a natural equivalence relation, vector fields of the plane which belong to the kernel of a 1--form. This form can be closed, in which case the vector fields are integrable, or not, in which case the differential of the…

This paper deals with valuations of fields of formal meromorphic functions and their residue fields. We explicitly describe the residue fields of the monomial valuations. We also classify all the discrete rank one valuations of fields of…

In this paper we have investigated enumeration orders of elements of r.e. sets enumerated by means of Turing machines. We have defined a reducibility based on enumeration orders named "Enumeration Order Reducibility" on computable functions…

We introduce the monic rank of a vector relative to an affine-hyperplane section of an irreducible Zariski-closed affine cone $X$. We show that the monic rank is finite and greater than or equal to the usual $X$-rank. We describe an…

Let $\cac$ be a smooth projective curve defined over a number field $k$, $A/k(\cac)$ an abelian variety and $(\tau,B)$ the $k(\cac)/k$-trace of $A$. We estimate how the rank of $A(k(\cac))/\tau B(k)$ varies when we take a finite cover…

Representations over diagrams of abelian categories unify quite a few notions appearing widely in literature such as representations of categories, presheaves of modules over categories, representations of species, etc. In this series of…