Flasque Meadows

João Dias,Bruno Dinis

2024-07-11

Abstract:In analogy with flasque sheaves, we introduce the notion of flasque meadow as a common meadow where the transition maps are all surjective. We study some properties of flasque meadows and illustrate them with many examples and counterexamples.

Rings and Algebras

What problem does this paper attempt to address?

Bridging Meadows and Sheaves

João Dias,Bruno Dinis,Pedro Macias Marques

2024-10-08

Abstract:We bridge sheaves of rings over a topological space with common meadows (algebraic structures where the inverse for multiplication is a total operation). More specifically, we show that the subclass of pre-meadows with $\mathbf{a}$, coming from the lattice of open sets of a topological space $X$, and presheaves over $X$ are the same structure. Furthermore, we provide a construction that, given a sheaf of rings $\mathcal{F}$ on $X$ produces a common meadow as a disjoint union of elements of the form $\mathcal{F}(U)$ indexed over the open subsets of $X$. We also establish a correspondence between the process of going from a presheaf to a sheaf (called sheafification) and the process of going from a pre-meadow with $\mathbf{a}$ to a common meadow.

Commutative Algebra,Logic,Rings and Algebras
Strolling through common meadows

João Dias,Bruno Dinis

2024-05-08

Abstract:Meadows are a sort of commutative rings with a multiplicative identity element and a total multiplicative inverse operation. In this paper we study algebraic properties of common meadows, which are meadows that introduce, as the inverse of zero, an error term $\abf$ which is absorbent for addition. We show that common meadows are unions of rings which are ordered by a partial order that defines a lattice. These results allow us to generalize some classical algebraic constructions to the setting of common meadows. We also briefly consider common meadows from a categorical perspective.

Rings and Algebras,Commutative Algebra
Towards an Enumeration of Finite Common Meadows

João Dias,Bruno Dinis

2024-06-07

Abstract:Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero is an error term $\mathbf{a}$ which is absorbent for addition. We study the problem of enumerating all finite common meadows of \emph{order} $n$ (that is, common meadows with $n$ elements). This problem turns out to be deeply connected with both the number of finite rings of order $n$ and with the number of a certain kind of partition of positive integers.

Rings and Algebras
Artinian Meadows

João Dias,Bruno Dinis

2024-07-11

Abstract:We introduce the notion of Artinian meadow as an algebraic structure constructed from an Artinian ring which is also a common meadow, i.e.\ a commutative and associative structure with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero in a common meadow is an error term $\mathbb{a}$ which is absorbent for addition. We show that, in analogy with what happens with commutative unital Artinian rings, Artinian meadows decompose as a product of local meadows in an essentially unique way. We also provide a canonical way to construct meadows from unital commutative rings.

Rings and Algebras
The structure of finite meadows

Inge Bethke,Piet Rodenburg,Arjen Sevenster

DOI: https://doi.org/10.1016/j.jlamp.2014.08.004

IF: 1.088

2015-03-01

Journal of Logical and Algebraic Methods in Programming

Abstract:A meadow is a commutative ring with a total inverse operator satisfying 0−1=0. We show that the class of finite meadows is the closure of the class of Galois fields under finite products. As a corollary, we obtain a unique representation of minimal finite meadows in terms of finite prime fields.

computer science, theory & methods,logic
Some properties of finite meadows

Inge Bethke,Piet Rodenburg

DOI: https://doi.org/10.48550/arXiv.0712.0917

2007-12-06

Rings and Algebras

Abstract:The aim of this note is to describe the structure of finite meadows. We will show that the class of finite meadows is the closure of the class of finite fields under finite products. As a corollary, we obtain a unique representation of minimal meadows in terms of prime fields.
Transformation of fractions into simple fractions in divisive meadows

J.A. Bergstra,C.A. Middelburg

DOI: https://doi.org/10.1016/j.jal.2016.03.001

2016-07-01

Journal of Applied Logic

Abstract:Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive meadows are meadows with the multiplicative inverse operation replaced by a division operation. Viewing a fraction as a term over the signature of divisive meadows that is of the form p/q, we investigate which divisive meadows admit transformation of fractions into simple fractions, i.e. fractions without proper subterms that are fractions.

English Else
The initial meadows

Inge Bethke,Piet Rodenburg

DOI: https://doi.org/10.2178/jsl/1278682205

2010-09-01

Abstract:Abstract A meadow is a commutative ring with an inverse operator satisfying 0 −1 = 0. We determine the initial algebra of the meadows of characteristic 0 and prove a normal form theorem for it. As an immediate consequence we obtain the decidability of the closed term problem for meadows and the computability of their initial object.
Arithmetical meadows

J. A. Bergstra,C. A. Middelburg

DOI: https://doi.org/10.48550/arXiv.0909.2088

2009-09-11

Rings and Algebras

Abstract:An inversive meadow is a commutative ring with identity equipped with a multiplicative inverse operation made total by choosing 0 as its value at 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an inversive meadows with the multiplicative inverse operation replaced by a division operation. In the spirit of Peacock's arithmetical algebra, we introduce variants of inversive and divisive meadows without an additive identity element and an additive inverse operation. We give equational axiomatizations of several classes of such variants of inversive and divisive meadows as well as of several instances of them.
Skew Meadows

J. A. Bergstra,Y. Hirshfeld,J. V. Tucker,J.A. Bergstra,J.V. Tucker

DOI: https://doi.org/10.48550/arXiv.0901.0803

2009-01-07

Rings and Algebras

Abstract:A skew meadow is a non-commutative ring with an inverse operator satisfying two special equations and in which the inverse of zero is zero. All skew fields and products of skew fields can be viewed as skew meadows. Conversely, we give an embedding of non-trivial skew meadows into products of skew fields, from which a completeness result for the equational logic of skew fields is derived. The relationship between regularity conditions on rings and skew meadows is investigated.
Flexible involutive meadows

Bruno Dinis,Emanuele Bottazzi

2023-09-04

Abstract:We investigate a notion of inverse for neutrices inspired by Van den Berg and Koudjeti's decomposition of a neutrix as the product of a real number and an idempotent neutrix. We end up with an algebraic structure that can be characterized axiomatically and generalizes involutive meadows. The latter are algebraic structures where the inverse for multiplication is a total operation. As it turns out, the structures satisfying the axioms of flexible involutive meadows are of interest beyond nonstandard analysis.

Logic,Commutative Algebra
Differential Meadows

Jan A. Bergstra,Alban Ponse

DOI: https://doi.org/10.48550/arXiv.0804.3336

2008-04-21

Rings and Algebras

Abstract:A meadow is a zero totalised field (0^{-1}=0), and a cancellation meadow is a meadow without proper zero divisors. In this paper we consider differential meadows, i.e., meadows equipped with differentiation operators. We give an equational axiomatization of these operators and thus obtain a finite basis for differential cancellation meadows. Using the Zariski topology we prove the existence of a differential cancellation meadow.
Fences, their endpoints, and projective Fraïssé theory

Gianluca Basso,Riccardo Camerlo

DOI: https://doi.org/10.1090/tran/8366

2020-12-18

Abstract:We introduce a new class of compact metrizable spaces, which we call fences, and its subclass of smooth fences. We isolate two families $\mathcal F, \mathcal F_0$ of Hasse diagrams of finite partial orders and show that smooth fences are exactly the spaces which are approximated by projective sequences from $\mathcal F_0$. We investigate the combinatorial properties of Hasse diagrams of finite partial orders and show that $\mathcal F, \mathcal F_0$ are projective Fraïssé families with a common projective Fraïssé limit. We study this limit and characterize the smooth fence obtained as its quotient, which we call a Fraïssé fence. We show that the Fraïssé fence is a highly homogeneous space which shares several features with the Lelek fan, and we examine the structure of its spaces of endpoints. Along the way we establish some new facts in projective Fraïssé theory.

Logic,General Topology
Morse frames

Gilles Bertrand,Laurent Najman

2024-02-05

Abstract:In the context of discrete Morse theory, we introduce Morse frames, which are maps that associate a set of critical simplexes to all simplexes. The main example of Morse frames are the Morse references. In particular, these Morse references allow computing Morse complexes, an important tool for homology. We highlight the link between Morse references and gradient flows. We also propose a novel presentation of the Annotation algorithm for persistent cohomology, as a variant of a Morse frame. Finally, we propose another construction, that takes advantage of the Morse reference for computing the Betti numbers in mod 2 arithmetic.

Discrete Mathematics
Simple Grassmannian flops

Jiun-Cheng Chen,Hsian-Hua Tseng

2024-10-30

Abstract:We introduce a kind of flops between projective varieties modelled on direct sums of universal subbundles of Grassmannians and study their properties.

Algebraic Geometry
Green fields

Serge Bouc,Nadia Romero

DOI: https://doi.org/10.1016/j.exmath.2021.09.001

2022-01-06

Abstract:We introduce {\em Green fields}, as commutative Green biset functors with no non-trivial ideals. We state some of their properties and give examples of known Green biset functors which are Green fields. Among the properties, we prove some criterions ensuring that a Green field is semisimple. Finally, we describe a type of Green field for which its category of modules is equivalent to a category of vector spaces over a field.

Category Theory,Group Theory,Rings and Algebras,Representation Theory
Inversive meadows and divisive meadows

J.A. Bergstra,C.A. Middelburg

DOI: https://doi.org/10.1016/j.jal.2011.03.001

2011-09-01

Journal of Applied Logic

Abstract:Inversive meadows are commutative rings with a multiplicative identity element and a total multiplicative inverse operation satisfying 0−1=0. Divisive meadows are inversive meadows with the multiplicative inverse operation replaced by a division operation. We give finite equational specifications of the class of all inversive meadows and the class of all divisive meadows. It depends on the angle from which they are viewed whether inversive meadows or divisive meadows must be considered more basic. We show that inversive and divisive meadows of rational numbers can be obtained as initial algebras of finite equational specifications. In the spirit of Peacockʼs arithmetical algebra, we study variants of inversive and divisive meadows without an additive identity element and/or an additive inverse operation. We propose simple constructions of variants of inversive and divisive meadows with a partial multiplicative inverse or division operation from inversive and divisive meadows. Divisive meadows are more basic if these variants are considered as well. We give a simple account of how mathematicians deal with 1/0, in which meadows and a customary convention among mathematicians play prominent parts, and we make plausible that a convincing account, starting from the popular computer science viewpoint that 1/0 is undefined, by means of some logic of partial functions is not attainable.

English Else
Fuzzy Presheaves are Quasitoposes

Aloïs Rosset,Roy Overbeek,Jörg Endrullis

DOI: https://doi.org/10.48550/arXiv.2301.13067

2023-03-21

Abstract:Quasitoposes encompass a wide range of structures, including various categories of graphs. They have proven to be a natural setting for reasoning about the metatheory of algebraic graph rewriting. In this paper we propose and motivate the notion of fuzzy presheaves, which generalises fuzzy sets and fuzzy graphs. We prove that fuzzy presheaves are rm-adhesive quasitoposes, proving our recent conjecture for fuzzy graphs. Furthermore, we show that simple fuzzy graphs categories are quasitoposes.

Logic in Computer Science
Tamari intervals and blossoming trees

Wenjie Fang,Éric Fusy,Philippe Nadeau

DOI: https://doi.org/10.48550/arXiv.2312.13159

2023-12-20

Combinatorics

Abstract:We introduce a simple bijection between Tamari intervals and the blossoming trees (Poulalhon and Schaeffer, 2006) encoding planar triangulations, using a new meandering representation of such trees. Its specializations to the families of synchronized, Kreweras, new/modern, and infinitely modern intervals give a combinatorial proof of the counting formula for each family. Compared to (Bernardi and Bonichon, 2009), our bijection behaves well with the duality of Tamari intervals, enabling also the counting of self-dual intervals.