Related papers: On some strongly regular relations on hyperrings
This note gives a unifying characterization and exposition of strongly irreducible elements and their duals in lattices. The interest in the study of strong irreducibility stems from commutative ring theory, while the dual concept of strong…
We define the e\~ne product for the multiplicative group of polynomials and formal power series with coefficients on a commutative ring and unitary constant coefficient. This defines a commutative ring structure where multiplication is the…
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
We provide a computational definition of the notions of vector space and bilinear functions. We use this result to introduce a minimal language combining higher-order computation and linear algebra. This language extends the Lambda-calculus…
This article studies the equation $[A,B]^k = {\rm Id}_n$ for matrices over $\mathbb{C}$, characterizing the pairs $(k,n)$ for which solutions exist via a classical result of Lam and Leung on sums of roots of unity. The problem is next…
In a paper on the taxonomy of 2-primal rings, examples of various types of rings that are related to commutativity such as reduced, symmetric, duo, reversible and PS~I were given in order to show that the ring class inclusions were strict.…
We define and study the theory of derivation-based connections on a recently introduced class of bimodules over an algebra which reduces to the category of modules whenever the algebra is commutative. This theory contains, in particular, a…
One takes advantage of some basic properties of every homotopic $\lambda$-model (e.g.\ extensional Kan complex) to explore the higher $\beta\eta$-conversions, which would correspond to proofs of equality between terms of a theory of…
We determine all algebraic relations among all hyperderivatives of the periods, quasi-periods, logarithms, and quasi-logarithms of Drinfeld modules defined over a separable closure of the rational function field. In particular, for periods…
Let $G$ be a countable group. We introduce several equivalence relations on the set ${\rm Sub}(G)$ of subgroups of $G$, defined by properties of the quasi-regular representations $\lambda_{G/H}$ associated to $H\in {\rm Sub}(G)$ and compare…
General recurrence relations for arbitrary non-diagonal, radial hydrogenic matrix elements are derived in Dirac relativistic quantum mechanics. Our approach is based on a generalization of the second hypervirial method previously employed…
In the present paper, as a generalization of the classical periodic rings, we explore those rings whose elements are additively generated by two (or more) periodic elements by calling them additively periodic. We prove that, in some major…
We introduce two partially overlapping classes of pathwise dualities between interacting particle systems that are based on commutative monoids (semigroups with a neutral element) and semirings, respectively. For interacting particle…
In the present paper we introduce a commutative hypergroup associated with a hyperfield of a compact commutative hypergroup based on a discrete commutative hypergroup. Moreover we investigate the dual hyperfield and show the dual relation.…
Given a subdirectly irreducible *-regular ring R, we show that R is a homomorphic image of a regular *-subring of an ultraproduct of the (simple) eRe, e in the minimal ideal of R. Moreover, unit-regularity is shown for every member of the…
Let R be a commutative ring with unity and M be an R- module In this paper we introduce semi n- absorbing and (k, n)-closed submodules of modules over commutative rings, and investigate their basic properties.
Given a commutative ring with identity $R$, many different and interesting operations can be defined over the set $H_R$ of sequences of elements in $R$. These operations can also give $H_R$ the structure of a ring. We study some of these…
For commutative rings, we introduce the notion of a {\em universal grading}, which can be viewed as the "largest possible grading". While not every commutative ring (or order) has a universal grading, we prove that every {\em reduced order}…
We generalize to the relations $(\lambda, \mu) \stackrel{\kappa}{\Rightarrow} (\lambda', \mu')$ and $\alm (\lambda, \mu) \stackrel{\kappa}{\Rightarrow} \alm (\lambda', \mu')$ some results obtained in Parts II and IV. We also present a…
We study the relational graph models that constitute a natural subclass of relational models of lambda-calculus. We prove that among the lambda-theories induced by such models there exists a minimal one, and that the corresponding…