相关论文: A result of Krasner in categorial form

The main aim of this article is to study and develop valuation theory for Krasner hyperfields. In analogy with classical valuation theory for fields, we generalise the formalism of valuation rings to describe equivalence of valuations on…

One can associate to a valued field an inverse system of valued hyperfields $(\mathcal{H}_i)_{i \in I}$ in a natural way. We investigate when, conversely, such a system arise from a valued field. First, we extend a result of Krasner by…

Hyperstructures are a natural extension of regular algebraic structures in which one of the operations, known as the hyperoperation, is multivalued; a hyperfield is such an extension on a field. M. Krasner (1962) proved that the quotient…

Marc Krasner proposed a theory of limits of local fields in which one relates the extensions of a local field to the extensions of a sequence of related local fields. The key ingredient in his approach was the notion of valued hyperfields,…

In this paper, the notions of integral closure of hyperrings and hyperideals in a Krasner hyperring $(R, +, \cdot)$ are defined and some basics properties of them are studied. We define also the notion of hypervaluation hyperideals and then…

The formation of rings of fractions and the associated process of localization are the most important technical tools in commutative algebra. Krasner (m,n)-hyperrings are a generalization of (m,n)-ring. Let R be a commutative Krasner…

In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory.…

For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th valued hyperfields of $K_1$ and $K_2$ are isomorphic over $p$ for each $n\ge1$, then $K_1$ and $K_2$…

The concern of this paper is to show that there always exist Krasner hyperfields of order n, where n is an integer greater than or equal to 2.

We give a characterization of finitely ramified $\omega$-pseudo complete valued fields of mixed characteristic $(0, p)$, with fixed residue field $k$ and value group $G$ of cardinality $\aleph_{1}$, in terms of a Hahn-like construction over…

We define and study the notion of hyper-K\"ahler category. On the theoretical side, we focus on construction techniques and deformation theory of such categories. We also study in details some examples : non-commutative Hilbert schemes of…

We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…

We give foundational results for the model theory of the ring of finite adeles over a number field, construed as a restricted product of local fields. In contrast to Weispfenning we work in the language of ring theory, and various sortings…

In nature, one observes that a K-theory of an object is defined in two steps. First a "structured" category is associated to the object. Second, a K-theory machine is applied to the latter category to produce an infinite loop space. We…

This is half an overview article since what we describe here is essentially known. We describe $KK$-theory by generators and relations in a formal sum of formal products of $*$-homomorphisms and some synthetical morphisms. What comes out is…

We consider residue structures $R/G$ where $(G,+)$ is an additive subgroup of a ring $(R,+,\cdot)$, not necessarily an ideal. Special instances include Krasner's construction of quotient hyperfields, and Pumpluen's construction of…

We initiate the study of convex geometry over ordered hyperfields. We define convex sets and halfspaces over ordered hyperfields, presenting structure theorems over hyperfields arising as quotients of fields. We prove hyperfield analogues…

Let K be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map.…

Given a scheme $X$ over $\mathbb{Z}$ and a hyperfield $H$ which is equipped with topology, we endow the set $X(H)$ of $H$-rational points with a natural topology. We then prove that; (1) when $H$ is the Krasner hyperfield, $X(H)$ is…

The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…