Rings and Algebras
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Wed, 19 Jan 22
 [1] arXiv:2201.05941 [pdf, ps, other]

Title: Simplifying matrix differential equations with general coefficientsAuthors: Man Cheung TsuiComments: 12 pagesSubjects: 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 PicardVessiot extensions.
 [2] arXiv:2201.06046 [pdf, ps, other]

Title: Extensions and congruences of partial latticesSubjects: Rings and Algebras (math.RA)
For a partial lattice L the socalled twopoint extension is defined in order to extend L to a lattice. We are motivated by the fact that the onepoint extension broadly used for partial algebras does not work in this case, i.e. the onepoint extension of a partial lattice need not be a lattice. We describe these twopoint 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 twopoint 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 twopoint extension of L/E is isomorphic to the quotient lattice of the twopoint extension L* of L by the congruence on L* generated by E. Several illustrative examples are enclosed.
 [3] arXiv:2201.06284 [pdf, ps, other]

Title: Strongly exchange ringsSubjects: 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 pureinjective, 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] arXiv:2201.06408 [pdf, other]

Title: Quantalic spectra of semiringsAuthors: Graham ManuellComments: My PhD thesis from 2019/2020. 117 pagesSubjects: 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 HofmannLawson 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] arXiv:2201.06627 [pdf, ps, other]

Title: Deformation quantization of nonassociative algebrasAuthors: Elisabeth RemmComments: 31 pages. arXiv admin note: substantial text overlap with arXiv:2005.12430Subjects: Rings and Algebras (math.RA)
We investigate formal deformations of certain classes of nonassociative algebras including classes of K[{\Sigma}3]associative algebras, Lieadmissible algebras and antiassociative 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 skewsymmetric and is linked with the algebra obtained from the formal deformation. The antiassociative case is developed with a link with the JacobiJordan algebras
 [6] arXiv:2201.07033 [pdf, ps, other]

Title: Deformations, cohomologies and integrations of relative difference Lie algebrasComments: 21 pagesSubjects: Rings and Algebras (math.RA); Mathematical Physics (mathph)
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] arXiv:2201.07148 [pdf, ps, other]

Title: Multipliers and Covers of Perfect Diassociative AlgebrasAuthors: Erik MainellisComments: 9 pagesSubjects: 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 HochschildSerre 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] arXiv:2201.07196 [pdf, ps, other]

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 moduletheoretic 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.
Crosslists for Wed, 19 Jan 22
 [9] arXiv:2201.05895 (crosslist from math.CO) [pdf, other]

Title: Zeon and IdemClifford Formulations of Hypergraph ProblemsSubjects: 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 ("nilClifford") and "idemClifford" graphtheoretic methods are generalized to hypergraphs. In particular, zeon and idemClifford 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 (crosslist from math.CT) [pdf, ps, other]

Title: The stable category of preorders in a pretopos I: general theoryComments: 36 pagesJournalref: Journal of Pure and Applied Algebra, 106997, 2021Subjects: 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 (crosslist from math.AC) [pdf, ps, other]

Title: On Serre dimension of monoid algebras and Segre extensionsComments: Accepted for publication in JPAASubjects: 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$,$ torsionfree monoid of rank $r$. Then $S$$dim(R[M]) \leq max\{1, dim(R[M])1 \} = max\{1, d+r1 \}$. 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+rn,$ 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+n1}{min\{m,n\}}\Big] = d+m+n1  \Big[\frac{m+n1}{min\{m,n\}}\Big]$.
 [12] arXiv:2201.06782 (crosslist from math.CT) [pdf, ps, other]

Title: Fibrantly generated weak factorization systemsComments: 10 pagesSubjects: 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 (crosslist from cs.AI) [pdf, other]

Title: The Mathematics of Comparing ObjectsSubjects: 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 (crosslist from math.CO) [pdf, ps, other]

Title: RankMetric Codes, Semifields, and the Average Critical ProblemSubjects: 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 fullrank, 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 latticesAuthors: Rob EgrotComments: Version 2 is significantly rewritten and streamlinedSubjects: 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 sumsComments: 15 pages. Corrections for journal version and fixed minor error in the description of the ordered groupoid in section 3Journalref: J. Algebra, 574:550570, 2021Subjects: 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 DeterminantsAuthors: Lijing WangSubjects: Rings and Algebras (math.RA); Mathematical Physics (mathph); Functional Analysis (math.FA)
 [18] arXiv:2112.00715 (replaced) [pdf, ps, other]

Title: Characterizing $[α,β]=0$ in varieties with a difference termComments: 30 pages, 7 figuresSubjects: Rings and Algebras (math.RA)
 [19] arXiv:2201.02189 (replaced) [pdf, ps, other]

Title: 2distributivity and lattices of sublattices closed under taking relative complementsAuthors: Gábor CzédliComments: 5 pages, no figureSubjects: Rings and Algebras (math.RA)
 [20] arXiv:1702.00224 (replaced) [pdf, ps, other]

Title: Liftable pairs of functors and Initial objectsComments: The previous verision has been revised by means of weak coreflections and initial objects. The study of prerigid 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 dictionaryAuthors: Henri LombardiComments: small typos have been fixed, references are improved a french translation has been added. English version appeared p. 223245 in: Advances in rings, modules and factorizations. Selected papers based on the presentations at the international conference on rings and factorizations, Graz, Austria, February 1923, 2018. Cham: Springer (2020). ISBN 9783030434151Subjects: 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 YangiansComments: v1: 39 pages; v2: 44 pages, expanded exposition; v3: 45 pages, final versionSubjects: 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 RotaBaxter operators: A cohomological characterisation, and some examplesComments: 14 pagesSubjects: Group Theory (math.GR); Rings and Algebras (math.RA)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2201, contact, help (Access key information)