# Rings and Algebras

## New submissions

[ total of 23 entries: 1-23 ]
[ showing up to 2000 entries per page: fewer | more ]

### New submissions for Wed, 19 Jan 22

[1]
Title: Simplifying matrix differential equations with general coefficients
Authors: Man Cheung Tsui
Subjects: Rings and Algebras (math.RA)

We show that the $n\times n$ matrix differential equation $\delta(Y)=AY$ with $n^2$ general coefficients cannot be simplified to an equation in less than $n$ parameters by using gauge transformations whose coefficients are rational functions in the matrix entries of $A$ and their derivatives. Our proof uses differential Galois theory and a differential analogue of essential dimension. We also bound the minimum number of parameters needed to describe some generic Picard-Vessiot extensions.

[2]
Title: Extensions and congruences of partial lattices
Subjects: Rings and Algebras (math.RA)

For a partial lattice L the so-called two-point extension is defined in order to extend L to a lattice. We are motivated by the fact that the one-point extension broadly used for partial algebras does not work in this case, i.e. the one-point extension of a partial lattice need not be a lattice. We describe these two-point extensions and prove several properties of them. We introduce the concept of a congruence on a partial lattice and show its relationship to the notion of a homomorphism and its connections with congruences on the corresponding two-point extension. In particular we prove that the quotient L/E of a partial lattice L by a congruence E on L is again a partial lattice and that the two-point extension of L/E is isomorphic to the quotient lattice of the two-point extension L* of L by the congruence on L* generated by E. Several illustrative examples are enclosed.

[3]
Title: Strongly exchange rings
Subjects: Rings and Algebras (math.RA)

Two elements $a,b$ in a ring $R$ form a right coprime pair, written $\langle a,b\rangle$, if $aR+bR=R$. Right coprime pairs have shown to be quite useful in the study of left cotorsion or exchange rings. In this paper, we define the class of strongly right exchange rings in terms of descending chains of them. We show that they are semiregular and that this class of rings contains left injective, left pure-injective, left cotorsion, local and left continuous rings. This allows us to give a unified study of all these classes of rings in terms of the behaviour of descending chains of right coprime pairs.

[4]
Title: Quantalic spectra of semirings
Authors: Graham Manuell
Comments: My PhD thesis from 2019/2020. 117 pages
Subjects: Rings and Algebras (math.RA); Commutative Algebra (math.AC); Category Theory (math.CT); General Topology (math.GN); Logic (math.LO)

Spectrum constructions appear throughout mathematics as a way of constructing topological spaces from algebraic data. Given a commutative localic semiring R (the pointfree analogue of a topological semiring), we define a spectrum of R which generalises the Stone spectrum of a distributive lattice, the Zariski spectrum of a commutative ring, the Gelfand spectrum of a commutative unital C*-algebra and the Hofmann-Lawson spectrum of a continuous frame. We then provide an explicit construction of this spectrum under conditions on R which are satisfied by our main examples.
Our results are constructively valid and hence admit interpretation in any elementary topos with natural number object. For this reason the spectrum we construct should actually be a locale instead of a topological space.
A simple modification to our construction gives rise to a quantic spectrum in the form of a commutative quantale. Such a quantale contains differential' information in addition to the purely topological information of the localic spectrum. In the case of a discrete ring, our construction produces the quantale of ideals.
This prompts us to study the quantale of ideals in more detail. We discuss some results from abstract ideal theory in the setting of quantales and provide a tentative definition for what it might mean for a quantale to be nonsingular by analogy to commutative ring theory.

[5]
Title: Deformation quantization of nonassociative algebras
Authors: Elisabeth Remm
Subjects: Rings and Algebras (math.RA)

We investigate formal deformations of certain classes of nonassociative algebras including classes of K[{\Sigma}3]-associative algebras, Lie-admissible algebras and anti-associative algebras. In a process which is similar to Poisson algebra for the associative case we identify for each type of algebra (A, {\mu}), an algebra (A, {\mu}, {\psi}) such that the formal deformation (A[[t]], {\mu}t) is the quantization deformation of (A, {\mu}, {\psi}). The process of polarization/depolarization associate to each nonassociative algebra a couple of algebras which products are respectively commutative and skew-symmetric and is linked with the algebra obtained from the formal deformation. The anti-associative case is developed with a link with the Jacobi-Jordan algebras

[6]
Title: Deformations, cohomologies and integrations of relative difference Lie algebras
Subjects: Rings and Algebras (math.RA); Mathematical Physics (math-ph)

In this paper, first using the higher derived brackets, we give the controlling algebra of relative difference Lie algebras, which are also called crossed homomorphisms or differential Lie algebras of weight 1 when the action is the adjoint action. Then using Getzler's twisted $L_\infty$-algebra, we define the cohomology of relative difference Lie algebras. In particular, we define the regular cohomology of difference Lie algebras by which infinitesimal deformations of difference Lie algebras are classified. We also define the cohomology of difference Lie algebras with coefficients in arbitrary representations, and using the second cohomology group to classify abelian extensions of difference Lie algebras. Finally, we show that any relative difference Lie algebra can be integrated to a relative difference Lie group in a functorial way.

[7]
Title: Multipliers and Covers of Perfect Diassociative Algebras
Authors: Erik Mainellis
Subjects: Rings and Algebras (math.RA)

The paper concerns perfect diassociative algebras and their implications to the theory of central extensions. It is first established that perfect diassociative algebras have strong ties with universal central extensions. Then, using a known characterization of the multiplier in terms of a free presentation, we obtain a special cover for perfect diassociative algebras, as well as some of its properties. The subsequent results connect and build on the previous topics. For the final theorem, we invoke an extended Hochschild-Serre type spectral sequence to show that, for a perfect diassociative algebra, its cover is perfect and has trivial multiplier. This paper is part of an ongoing project to advance extension theory in the context of several Loday algebras.

[8]
Title: Reduced rank in $σ[M]$
Subjects: Rings and Algebras (math.RA)

Using the concept of prime submodule introduced by Raggi et.al. we extend the notion of reduced rank to the module-theoretic context. We study the quotient category of $\sigma[M]$ modulo the hereditary torsion theory cogenerated by the $M$-injective hull of $M$ when $M$ is a semiprime Goldie module. We prove that this quotient category is spectral. Later we consider the hereditary torsion theory in $\sigma[M]$ cogenerated by the $M$-injective hull of $M/\mathfrak{L}(M)$ where $\mathfrak{L}(M)$ is the prime radical of $M$, and we characterize when the module of quotients of $M$, respect to this torsion theory, has finite length in the quotient category. At the end we give conditions on a module $M$ with endomorphism ring $S$ in order to get that $S$ is an order in an Artininan ring, extending Small's Theorem.

### Cross-lists for Wed, 19 Jan 22

[9]  arXiv:2201.05895 (cross-list from math.CO) [pdf, other]
Title: Zeon and Idem-Clifford Formulations of Hypergraph Problems
Subjects: Combinatorics (math.CO); Symbolic Computation (cs.SC); Rings and Algebras (math.RA)

Zeon algebras have proven to be useful for enumerating structures in graphs, such as paths, trails, cycles, matchings, cliques, and independent sets. In contrast to an ordinary graph, in which each edge connects exactly two vertices, an edge (or, "hyperedge") can join any number of vertices in a hypergraph. In game theory, hypergraphs are called simple games. Hypergraphs have been used for problems in biology, chemistry, image processing, wireless networks, and more. In the current work, zeon ("nil-Clifford") and "idem-Clifford" graph-theoretic methods are generalized to hypergraphs. In particular, zeon and idem-Clifford methods are used to enumerate paths, trails, independent sets, cliques, and matchings in hypergraphs. An approach for finding minimum hypergraph transversals is developed, and zeon formulations of some open hypergraph problems are presented.

[10]  arXiv:2201.05992 (cross-list from math.CT) [pdf, ps, other]
Title: The stable category of preorders in a pretopos I: general theory
Journal-ref: Journal of Pure and Applied Algebra, 106997, 2021
Subjects: Category Theory (math.CT); Logic (math.LO); Rings and Algebras (math.RA)

In a recent article Facchini and Finocchiaro considered a natural pretorsion theory in the category of preordered sets inducing a corresponding stable category. In the present work we propose an alternative construction of the stable category of the category $\mathsf{PreOrd} (\mathbb C)$ of internal preorders in any coherent category $\mathbb C$, that enlightens the categorical nature of this notion. When $\mathbb C$ is a pretopos we prove that the quotient functor from the category of internal preorders to the associated stable category preserves finite coproducts. Furthermore, we identify a wide class of pretoposes, including all $\sigma$-pretoposes and all elementary toposes, with the property that this functor sends any short $\mathcal Z$-exact sequences in $\mathsf{PreOrd} (\mathbb C)$ (where $\mathcal Z$ is a suitable ideal of trivial morphisms) to a short exact sequence in the stable category. These properties will play a fundamental role in proving the universal property of the stable category, that will be the subject of a second article on this topic.

[11]  arXiv:2201.06364 (cross-list from math.AC) [pdf, ps, other]
Title: On Serre dimension of monoid algebras and Segre extensions
Comments: Accepted for publication in JPAA
Subjects: Commutative Algebra (math.AC); Rings and Algebras (math.RA)

Let $R$ be a commutative noetherian ring of dimension $d$ and $M$ be a commutative$,$ cancellative$,$ torsion-free monoid of rank $r$. Then $S$-$dim(R[M]) \leq max\{1, dim(R[M])-1 \} = max\{1, d+r-1 \}$. Further$,$ we define a class of monoids $\{\mathfrak{M}_n\}_{n \geq 1}$ such that if $M \in \mathfrak{M}_n$ is seminormal$,$ then $S$-$dim(R[M]) \leq dim(R[M]) - n= d+r-n,$ where $1 \leq n \leq r$. As an application, we prove that for the Segre extension $S_{mn}(R)$ over $R,$ $S$-$dim(S_{mn}(R)) \leq dim(S_{mn}(R)) - \Big[\frac{m+n-1}{min\{m,n\}}\Big] = d+m+n-1 - \Big[\frac{m+n-1}{min\{m,n\}}\Big]$.

[12]  arXiv:2201.06782 (cross-list from math.CT) [pdf, ps, other]
Title: Fibrantly generated weak factorization systems
Subjects: Category Theory (math.CT); Rings and Algebras (math.RA)

We prove that, assuming Vop\v enka's principle, every small projectivity class in a locally presentable category is accessible.

[13]  arXiv:2201.07032 (cross-list from cs.AI) [pdf, other]
Title: The Mathematics of Comparing Objects
Subjects: Artificial Intelligence (cs.AI); Rings and Algebras (math.RA)

After reading two different crime stories, an artificial intelligence concludes that in both stories the police has found the murderer just by random.'' -- To what extend and under which assumptions this is a description of a realistic scenario?

[14]  arXiv:2201.07193 (cross-list from math.CO) [pdf, ps, other]
Title: Rank-Metric Codes, Semifields, and the Average Critical Problem
Subjects: Combinatorics (math.CO); Information Theory (cs.IT); Rings and Algebras (math.RA)

We investigate two fundamental questions intersecting coding theory and combinatorial geometry, with emphasis on their connections. These are the problem of computing the asymptotic density of MRD codes in the rank metric, and the Critical Problem for combinatorial geometries by Crapo and Rota. Using methods from semifield theory, we derive two lower bounds for the density function of full-rank, square MRD codes. The first bound is sharp when the matrix size is a prime number and the underlying field is sufficiently large, while the second bound applies to the binary field. We then take a new look at the Critical Problem for combinatorial geometries, approaching it from a qualitative, often asymptotic, viewpoint. We illustrate the connection between this very classical problem and that of computing the asymptotic density of MRD codes. Finally, we study the asymptotic density of some special families of codes in the rank metric, including the symmetric, alternating and Hermitian ones. In particular, we show that the optimal codes in these three contexts are sparse.

### Replacements for Wed, 19 Jan 22

[15]  arXiv:1907.08964 (replaced) [pdf, ps, other]
Title: Amalgamating poset extensions and generating free lattices
Authors: Rob Egrot
Comments: Version 2 is significantly rewritten and streamlined
Subjects: Rings and Algebras (math.RA); Combinatorics (math.CO)
[16]  arXiv:2006.10537 (replaced) [pdf, ps, other]
Title: Quotients of monoid extensions and their interplay with Baer sums
Comments: 15 pages. Corrections for journal version and fixed minor error in the description of the ordered groupoid in section 3
Journal-ref: J. Algebra, 574:550-570, 2021
Subjects: Rings and Algebras (math.RA); Category Theory (math.CT)
[17]  arXiv:2106.06408 (replaced) [pdf, ps, other]
Title: A Derivation of Classical Orthogonal Polynomials using Generalized Vandermonde Determinants
Authors: Lijing Wang
Subjects: Rings and Algebras (math.RA); Mathematical Physics (math-ph); Functional Analysis (math.FA)
[18]  arXiv:2112.00715 (replaced) [pdf, ps, other]
Title: Characterizing $[α,β]=0$ in varieties with a difference term
Subjects: Rings and Algebras (math.RA)
[19]  arXiv:2201.02189 (replaced) [pdf, ps, other]
Title: 2-distributivity and lattices of sublattices closed under taking relative complements
Authors: Gábor Czédli
Subjects: Rings and Algebras (math.RA)
[20]  arXiv:1702.00224 (replaced) [pdf, ps, other]
Title: Liftable pairs of functors and Initial objects
Comments: The previous verision has been revised by means of weak coreflections and initial objects. The study of pre-rigid categories has been extrapolated and expanded to become an independent research line (arXiv:2201.03952)
Subjects: Category Theory (math.CT); Quantum Algebra (math.QA); Rings and Algebras (math.RA)
[21]  arXiv:1812.06277 (replaced) [pdf, ps, other]
Title: Spectral spaces versus distributive lattices: a dictionary
Authors: Henri Lombardi
Comments: small typos have been fixed, references are improved a french translation has been added. English version appeared p. 223--245 in: Advances in rings, modules and factorizations. Selected papers based on the presentations at the international conference on rings and factorizations, Graz, Austria, February 19--23, 2018. Cham: Springer (2020). ISBN 978-3-030-43415-1
Subjects: Commutative Algebra (math.AC); Rings and Algebras (math.RA)
[22]  arXiv:2009.11791 (replaced) [pdf, ps, other]
Title: Hamiltonian reduction for affine Grassmannian slices and truncated shifted Yangians
Comments: v1: 39 pages; v2: 44 pages, expanded exposition; v3: 45 pages, final version
Subjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Quantum Algebra (math.QA); Rings and Algebras (math.RA)
[23]  arXiv:2201.03936 (replaced) [pdf, ps, other]
Title: Skew braces from Rota--Baxter operators: A cohomological characterisation, and some examples