Related papers: Domain Semirings United
The relationship between Heyting algebras (HA) and semirings is explored. A new class of HAs called Symmetric Heyting algebras (SHAs) is proposed, and a necessary condition on SHAs to be consider semirings is given. We define a new…
We prove that the variety V of commutative multiplicatively idempotent semirings satisfying x + y + xyz = x + y is generated by single semirings. Moreover, we describe a normal form system for terms in V and we show that the word problem in…
In this study we consider domains that are composed of an infinite sequence of self-similar rings and corresponding finite element spaces over those domains. The rings are parameterized using piecewise polynomial or tensor-product B-spline…
We study linear difference equations with variable coefficients in a ring using a new nonlinear method. In a ring with identity, if the homogeneous part of the linear equation has a solution in the unit group of the ring (i.e., a unitary…
Convolutional neural networks utilize a hierarchy of neural network layers. The statistical aspects of information concentration in successive layers can bring an insight into the feature abstraction process. We analyze the saliency maps of…
We characterize left and right amenable semigroups of polynomials of one complex variable with respect to the composition operation. We also prove a number of results about amenable semigroups of arbitrary rational functions. In particular,…
Idempotents dominate the structure theory of rings. The Peirce decomposition induced by an idempotent provides a natural environment for defining and classifying new types of rings. This point of view offers a way to unify and to expand the…
An almost periodic function in finite-dimensional space extends to a holomorphic bounded function in a tube domain with a cone in the base if and only if the spectrum belongs to the conjugate cone. Also, an almost periodic function in…
We prove that a commutative parasemifield S is additively idempotent provided that it is finitely generated as a semiring. Consequently, every proper commutative semifield T that is finitely generated as a semiring is either additively…
A theorem that is of aid in computing the domain of the adjoint operator is provided. It may serve e.g. as a criterion for selfadjointness of a symmetric operator, for normality of a formally normal operator or for $H$--selfadjointness of…
Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…
Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case…
We consider actions of the free semigroup with two generators on the real line, where the generators act as affine maps, one contracting and one expanding, with distinct fixed points. Then every orbit is dense in a half-line, which leads to…
A semiring $S$ which is a union of rings is called completely regular, if moreover, it is orthodox then $S$ is called an orthoring. Here we study the orthorings $S$ such that $E^+(S)$ is a band semiring. Every band semiring is a spined…
'A semigroup is completely regular if and only if it is a union of groups'- an analogue of this structure theorem of completely regular semigroup has been obtained in the setting of seminearrings in [[16], Mukherjee (Pal) et al., Semigroup…
Recently some Mathematician extend the notion of Baire one functions. We give some nice relations between this subring and some nice functions rings on a topological spaces.
We construct in this article a class of closed semi-bounded quadratic forms on the space of square integrable functions over a smooth Riemannian manifold with smooth boundary. Each of these quadratic forms specifies a semi-bounded…
We calculate geometric and homotopical (or stable) bordism rings associated to semi-free $S^1$ actions on complex manifolds, giving explicit generators for the geometric theory. The classification of semi-free actions with isolated fixed…
We define and construct a new data structure, the tables, this structure generalizes the (finite) $k$-sets sets of Eilenberg \cite{Ei}, it is versatile (one can vary the letters, the words and the coefficients). We derive from this…
This paper seeks ring-theoretic conditions of an integral domain R that reflect in the Clifford property or Boolean property of its class semigroup S(R), that is, the semigroup of the isomorphy classes of the nonzero (integral) ideals of R…