ترغب بنشر مسار تعليمي؟ اضغط هنا

Semiring Properties of Heyting Algebras

218   0   0.0 ( 0 )
 نشر من قبل Shrisha Rao
 تاريخ النشر 2016
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

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 mathematical family called Heyting structures, which are similar to semirings, but with Heyting-algebra operators in place of the usual arithmetic operators usually seen in semirings. The impact of the zero-sum free property of semirings on Heyting structures is shown as also the condition under which it is possible to extend one Heyting structure to another. It is also shown that the union of two or more sets forming Heyting structures is again a Heyting structure, if the operators on the new structure are suitably derived from those of the component structures. The analysis also provides a sufficient condition such that the larger Heyting structure satisfying a monotony law implies that the ones forming the union do so as well.



قيم البحث

اقرأ أيضاً

This paper illustrates the relationship between boolean propositional algebra and semirings, presenting some results of partial ordering on boolean propositional algebras, and the necessary conditions to represent a boolean propositional subalgebra a s equivalent to a corresponding boolean propositional algebra. It is also shown that the images of a homomorphic function on a boolean propositional algebra have the relationship of boolean propositional algebra and its subalgebra. The necessary and sufficient conditions for that homomorphic function to be onto-order preserving, and also an extension of boolean propositional algebra, are explored.
We provide a constructive treatment of basic results in the theory of central simple algebras. One main issue is the fact that one starting result, Wedderburns Theorem stating that a simple algebra is a matrix algebra over a skew field, is not constr uctively valid. We solve this problem by proving instead a dynamical version of this theorem. One can use this to give constructive proofs of basic results of the theory of central simple algebras, such as Skolem-Noether Theorem. We illustrate this development by giving an elementary constructive proof of a theorem of Becher (which is itself a consequence of a celebrated theorem of Merkurjev).
134 - Alex Chirvasitu , Ryo Kanda , 2021
Fix a pair of relatively prime integers $n>kge 1$, and a point $(eta , | , tau) in mathbb{C} times mathbb{H}$, where $mathbb{H}$ denotes the upper-half complex plane, and let ${{a ; ,b} choose {c , ; d}} in mathrm{SL}(2,mathbb{Z})$. We show that Feig in and Odesskiis elliptic algebras $Q_{n,k}(eta , | , tau)$ have the property $Q_{n,k} big( frac{eta}{ctau+d} ,bigvert , frac{atau+b}{ctau+d} big) cong Q_{n,k}(eta , | , tau)$. As a consequence, given a pair $(E,xi)$ consisting of a complex elliptic curve $E$ and a point $xi in E$, one may unambiguously define $Q_{n,k}(E,xi):=Q_{n,k}(eta , | , tau)$ where $tau in mathbb{H}$ is any point such that $mathbb{C}/mathbb{Z}+mathbb{Z}tau cong E$ and $eta in mathbb{C}$ is any point whose image in $E$ is $xi$. This justifies Feigin and Odesskiis notation $Q_{n,k}(E,xi)$ for their algebras.
131 - Yan Huang , Haifeng Lian 2012
Let $R$ be a commutative additively idempotent semiring. In this paper, some properties and characterizations for permanents of matrices over $R$ are established, and several inequalities for permanents are given. Also, the adjiont matrices of matrie cs over $R$ are considered. Partial results obtained in this paper generalize the corresponding ones on fuzzy matrices, on lattice matrices and on incline matrices.
100 - X.-F. Mao , X.-D. Gao , Y.-N. Yang 2017
In this paper, we introduce and study differential graded (DG for short) polynomial algebras. In brief, a DG polynomial algebra $mathcal{A}$ is a connected cochain DG algebra such that its underlying graded algebra $mathcal{A}^{#}$ is a polynomial al gebra $mathbb{k}[x_1,x_2,cdots, x_n]$ with $|x_i|=1$, for any $iin {1,2,cdots, n}$. We describe all possible differential structures on DG polynomial algebras; compute their DG automorphism groups; study their isomorphism problems; and show that they are all homologically smooth and Gorestein DG algebras. Furthermore, it is proved that the DG polynomial algebra $mathcal{A}$ is a Calabi-Yau DG algebra when its differential $partial_{mathcal{A}} eq 0$ and the trivial DG polynomial algebra $(mathcal{A}, 0)$ is Calabi-Yau if and only if $n$ is an odd integer.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا