Inge Bethke, Piet Rodenburg
A \emph{meadow} is a commutative ring with an inverse operator satisfying $0^{-1}=0$. We determine the initial algebra of the meadows of characteristic 0 and show that its word problem is decidable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Artinian Meadows
本研究提出阿廷草域的代数结构概念，证明其可本质唯一分解为局部草域乘积，并给出从带单位元交换环构造草域的规范方法，丰富了代数结构的分解理论。
A skew meadow is a non-commutative ring with an inverse operator satisfying two special equations and in which the inverse of zero is zero. All skew fields and products of skew fields can be viewed as skew meadows. Conversely, we give an embedding of non-trivial skew meadows into products of skew fields, from which a completeness result for the equational logic of skew fields is derived. The relationship between regularity conditions on rings and skew meadows is investigated.
Meadows - commutative rings equipped with a total inversion operation - can be axiomatized by purely equational means. We study subvarieties of the variety of meadows obtained by extending the equational theory and expanding the signature.
Towards an Enumeration of Finite Common Meadows
本文研究枚举 n 阶有限公共草地的问题，揭示其与 n 阶有限环数量及正整数特定划分数之间的深刻联系。
The rational, real and complex numbers with their standard operations, including division, are partial algebras specified by the axiomatic concept of a field. Since the class of fields cannot be defined by equations, the theory of equational specifications of data types cannot use field theory in applications to number systems based upon rational, real and complex numbers. We study a new axiomatic concept for number systems with division that uses only equations: a meadow is a commutative ring with a total inverse operator satisfying two equations which imply that the inverse of zero is zero. …
In the well-known construction of the field of fractions of an integral domain, division by zero is excluded. We introduce "fracpairs" as pairs subject to laws consistent with the use of the pair as a fraction, but do not exclude denominators to be zero. We investigate fracpairs over a reduced commutative ring (a commutative ring that has no nonzero nilpotent elements) and provide these with natural definitions for addition, multiplication, and additive and multiplicative inverse. We find that modulo a simple congruence these fracpairs constitute a "common meadow", which is a commutative monoi…
An inversive meadow is a commutative ring with identity equipped with a multiplicative inverse operation made total by choosing 0 as its value at 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an inversive meadows with the multiplicative inverse operation replaced by a division operation. In the spirit of Peacock's arithmetical algebra, we introduce variants of inversive and divisive meadows without an additive identity element and an additive inverse operation. We give equational axiomatizations of several classes of such variants of inversive and divisive …
Strolling through common meadows
本文研究引入加法吸收误差项作为零逆元的 common meadows，证明其为由格偏序排序的环之并，并据此推广经典代数构造。
Inversive meadows are commutative rings with a multiplicative identity element and a total multiplicative inverse operation whose value at 0 is 0. Divisive meadows are inversive meadows with the multiplicative inverse operation replaced by a division operation. We give finite equational specifications of the class of all inversive meadows and the class of all divisive meadows. It depends on the angle from which they are viewed whether inversive meadows or divisive meadows must be considered more basic. We show that inversive and divisive meadows of rational numbers can be obtained as initial a…
Let $\bar{\Kset}_f$ denote the commutative unital ring of Colombeau's full generalized numbers. This ring can be endowed with an ultra-metric in such a way that it becomes a topological ring. There are many interesting question about $\bar{\Kset}_f$ in the framework of Commutative Algebra and General Topology as well as of the superposition of these two subjects. The purpose of this paper aims to give an initial step toward the study of this ring.
The article gives a ring theoretic perspective on cluster algebras. Geiß-Leclerc-Schröer prove that all cluster variables in a cluster algebra are irreducible elements. Furthermore, they provide two necessary conditions for a cluster algebra to be a unique factorization domain, namely the irreducibility and the coprimality of the initial exchange polynomials. We present a sufficient condition for a cluster algebra to be a unique factorization domain in terms of primary decompositions of certain ideals generated by initial cluster variables and initial exchange polynomials. As an application, t…
Extended Rota-Baxter algebras, diagonally colored Delannoy paths and Hopf algebras
本文系统研究扩张 Rota-Baxter 算子，通过推广拟洗牌乘积构造自由交换对象，并用着色 Delannoy 路径解释其乘法，最终建立 Hopf 代数结构。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。