Supertropical Monoids III: Factorization and splitting covers
本文研究超热带幺半群的因子分解理论,通过纤维收缩及其层级获得不可约元的具体分解,并探讨由此产生的不同商结构及分裂覆盖类型。
2024-08-20 math.AC
Factorization invariants of Puiseux monoids generated by geometric sequences
本文研究了由等比数列生成的Puixix幺半群类的一些因子分解不变量,并将它们与由等差数列生成的数值幺半群类的已知结果进行了比较和对比.我们研究的类由所有形式为$S_r := \langle r^n \mid n \in \mathbb{N}_0 \rangle,$的原子幺半群组成,其中$r$是正有理数。由于原子幺半群$S_r$是很好地生成的,我们能够详细描述它们的许多因子分解不变量。$S_r$的一个显著特征是它的所有长度集都是相同距离的等差数列,即$|a-b|$,其中$a,b \in \mathbb{N}$使得$r = a/b$和$\text{gcd}(a,b) = 1$。我们证明了这一点,然后用它来研究$S_r$的弹性和柔顺性。
2019-07-07 math.AC
A weaker notion of the finite factorization property
本文提出长度有限分解这一更弱的有限分解相关概念,识别出一大类满足该性质的正幺半群,并将其与已研究多年的有界、有限分解性质对比,以深化对正幺半群非唯一分解现象的理解。
2024-09-06 math.AC
Factorizations in reciprocal Puiseux monoids
一个Puietrix幺半群是由有理数组成的实数线的加法子幺半群。我们说一个Puietrix幺半群是互逆的,如果它可以由两两严格递增的互素正整数序列的项的倒数生成。我们说一个可交换可消(可加)么半群是原子幺半群,如果每个不可逆元素$x$都可以写成不可约元之和。这个和中不可约的个数称为长度为$x$。在本文中,我们确定和研究广义类的互反Puienix幺半群是原子。此外,对于所确定的类中的原子幺半群,我们还研究了关于主理想的升链条件及其元素的长度集。
2021-12-08 math.AC
The Elasticity of Puiseux Monoids
设$M$是一个原子幺半群,$x$是$M$的一个非单位元素。$x$的弹性(由$ρ(x)$表示)是其最大分解长度与其最短分解长度之比,并且它测量$x$距离具有唯一分解有多远。$M$的弹性$ρ(M)$是$M$的所有非单位元的弹性的上确界。如果$ρ(M) = ρ(m)$对于某些$m \in M$,幺半群$M$具有可接受的弹性。在本文中,我们研究了Puietrix幺半群(即,$\mathbb{Q}_{\ge 0}$的加法子幺半群)。首先,我们刻画了具有有限弹性的Puietrix幺半群$M$,并找到了$ρ(M)$的一个公式。然后,我们分类的Puienix幺半群已接受的弹性方面的原子集。当$M$是一个准素的Puixix么半群时,我们描述了$M$的弹性集的拓扑,包括当$M$是一个有界分解么半群时的一个刻画.最后,我们给出了一个例子,一个Puixix幺半群是分叉的(也就是说,每个非零元素有一个长度至多为$2$的因式分解)。
2017-03-13 math.AC
Factorization in Additive Monoids of Evaluation Polynomial Semirings
对于正实数$α$,我们可以考虑由$α$的非负幂生成的实数线的加性子幺半群$M$。当$α$是超越的时,$M$是唯一的因子分解幺半群.然而,当$α$是代数的时,$M$可以不是原子的,并且即使当$M$是原子的时,它也可以包含具有多于一个因式分解的元素(即,分解为不可约的和)。本文的主要目的是研究$M$中的多重因子分解现象。当$α$是代数的但不是有理数的时候,$M$中的因式分解的算法是非常有趣和复杂的。为了得出这个结论,我们研究了$M$的各种分解不变量,包括长度集,Betti元素集和悬链线度。我们的调查延续了Chapman等人在2020年以及Correa-Morris和Gotti在2022年进行的最新研究。
2023-02-10 math.AC
Distances between factorizations in the Chicken McNugget monoid
我们使用鸡麦乐鸡幺半群来证明与关系和因子分解链相关的各种因子分解性质。我们深入研究了这个幺半群的悬链线度和驯服度。
2019-12-10 math.AC math.CO
A characterization of length-factorial Krull monoids
一个原子幺半群是长度阶乘的,如果任何元素的每两个不同的分解有不同的分解长度。给出了长因子Krull幺半群的一个刻划,刻画了它们的类群和素除子在类中的分布.
2021-07-26 math.AC
On the atomicity of power monoids of Puiseux monoids
本文研究 Puiseux 幺半群幂幺半群的原子性与分解性质,证明有界及有限分解性可上承,并给出原子性上承的充分条件及反例。
2024-01-23 math.AC
Factorization in the Monoid of Integrally Closed Ideals
给定一个诺特环$A$,$A$中所有包含非零因子的整闭理想的集合,记为$ic(A)$,在运算$I*J=\overline{IJ}$下形成一个可消幺半群,该运算是乘积的整闭包。幺半群是无挠的和原子的--$A$中的每一个包含非零因子的整闭理想都可以在这个$*$ -积中分解为$*$ -不可约的整闭理想。限制在$A$是多项式环且理想是单项式的情形下,证明了在牛顿多面体平移不变性的条件下,存在从整多面体群到整闭单项式理想的Grothendieck群的满同态.值得注意的是,整数多面体群,在闵可夫斯基加法和平移不变性下具有整数顶点的多面体的格罗滕迪克群,具有显式基,允许在幺半群中显式因式分解。
2022-11-15 math.AC
On the set of molecules of numerical and Puiseux monoids
$\mathbb{Q}_{\ge 0}$的加性子幺半群,也称为Puietrix幺半群,通常不是唯一因子分解幺半群(UFM)。事实上,唯一唯一的因式分解Puienix幺半群是由一个元素生成的。然而,即使一个Puironx幺半群不是UFM,它也可能包含具有恰好一个因子分解的非零元素。我们称这种元素为分子。分子最早是由W. Narkiewicz在代数数论的背景下。最近,F。Gotti和第一作者研究了Puietrix monoids背景下的分子。在这里,我们解决了一些方面的大小有关的套分子的各种子类的Puienix monoid与不同的原子行为。特别是,我们肯定地回答了以下最近实现猜想:对于每个$m \in \mathbb{N}_{\ge 2}$存在一个数值幺半群的一组分子,不是原子具有基数$m$。
2021-06-15 math.AC
Factorizations in evaluation monoids of Laurent semirings
对于正实数$α$,设$\mathbb{N}_0[α,α^{-1}]$是$f(x)$位于$\mathbb{N}_0[x,x^{-1}]$中的所有实数$f(α)$的半环,$\mathbb{N}_0[x,x^{-1}]$是非负整数集合$\mathbb{N}_0$上的所有劳伦多项式的半环。本文研究了$\mathbb{N}_0[α, α^{-1}]$可加结构的各种因式分解性质。当$\mathbb{N}_0[α, α^{-1}]$是原子时,我们描述。然后,我们刻画了当$\mathbb{N}_0[α, α^{-1}]$满足主理想上的升链条件的某些充分研究的分解性质。最后,我们刻画了当$\mathbb{N}_0[α, α^{-1}]$满足唯一的因式分解性质,并表明,当不是这种情况下,$\mathbb{N}_0[α, α^{-1}]$具有无限的弹性。
2021-08-26 math.AC
Irreducibility and factorizations in monoid rings
对于整环$R$和交换可消幺半群$M$,由系数在$R$中,指数在$M$中的所有多项式组成的环称为$R$上的$M$幺半群环.一个整环称为原子的,如果每个非零的非单位元素都可以写成不可约元的乘积。在研究整环的原子性时,构筑块是不可约元。因此,证明不可约性的工具对研究原子性至关重要。本文第一部分将Gauss引理和Eisenstein判别法从多项式环推广到幺半群环。一个整环$R$称为半阶乘(或HFD),如果$R$的一个非零非单位元的任何两个因式具有相同数目的不可约元(计算重复次数)。在本文的第二部分中,我们确定了具有非负有理指数的么半群代数是戴德金整环,欧几里得整环,PID,UFD和HFD。作为一个副作用,我们刻画了$(\mathbb{Q}_{\ge 0},+)$的子幺半群满足半因子性的对偶概念,称为其他半因子性。
2020-03-06 math.AC
Factorization Theory in Commutative Monoids
这是一个关于因子分解理论的综述。我们讨论了n阶生成幺半群(包括仿射幺半群),准素幺半群(包括数值幺半群),具有集合加法的幂集,Krull幺半群及其各种推广,以及域(包括Krull域,整数值多项式环,代数数域中的阶)及其理想的乘法幺半群。我们提供的例子,所有这些类的幺半群,并讨论其主要的算术有限性。这些描述了它们的长度集、长度集的并集和它们的悬链线度的结构。我们还提供了这些有限性属性不成立的例子。
2019-11-29 math.AC math.NT
Monotone Catenary Degree in Numerical Monoids
最近对数值幺半群悬链线度的研究表明,这个不变量是理解这类幺半群因子分解理论的有力工具。虽然有用,悬链线度在很大程度上对元素的因子分解的长度不敏感。本文研究了数值幺半群的单调悬链线度,它是悬链线度的一种变体,要求链单调通过分解长度。通常,单调悬链线大于或等于悬链线度。我们首先提供一类重要的幺半群(算术数值幺半群),其中单调悬链线度等于悬链线度。相反,我们提供了几类嵌入维3数值幺半群的单调悬链线度严格更大。我们的结论是,这种差异可以任意增长。
2022-01-17 math.AC
Betti graphs and atomization of Puiseux monoids
本文通过 Betti 图研究原子 Puiseux 幺半群中的分解结构,利用分解间共享原子的关系构建图,以揭示分解不变量。
2023-11-30 math.AC
On three families of dense Puiseux monoids
本文研究了三族稠密 Puiseux monoid 的原子结构及其算术与分解性质,揭示了其相较于非稠密情形更为有趣的数学特征。
2025-05-03 math.AC
Length-factoriality in commutative monoids and integral domains
一个原子幺半群$M$称为长度阶乘幺半群(或另一半阶乘幺半群),如果对于每个不可逆元素$x \in M$,没有两个不同的$x$的分解具有相同的长度。Coykendall和Smith在2011年引入了长度因子的概念,作为半因子概念的对偶。他们证明了在整环的情况下,长度因子性可以作为唯一因子分解整环的另一种定义。然而,作为长度阶乘幺半群通常比作为阶乘幺半群弱(即,唯一的因子分解幺半群)。在这里,我们进一步研究长度因子。首先给出了长度因子幺半群$M$的两个刻画,并利用这两个刻画了Betti元的集合,得到了$M$的悬链线度的一个公式.然后,我们研究了长度因子性和纯长(分别为,纯短的)不可约的,这是不可约元,出现在较长的(分别是,任何不平衡因子分解关系的一部分。最后,我们证明了整环不能同时包含纯短不可约项和纯长不可约项,并构造了一个包含纯长不可约项的戴德金整环,纯短)不可约但非纯短(分别,纯长的)不可约的。
2021-01-14 math.AC
Arithmetic of additively reduced monoid semidomains
本文研究加法约化幺半群半整环的分解性质,确定了其成为有界、有限及唯一分解半整环的充要条件,并给出了具有完全和无穷弹性的半整环类及实例。
2023-07-03 math.AC
Factorizations of polynomials with integral non-negative coefficients
本研究分析了$\mathbb{Z}[x]$中具非负系数的非零多项式构成的交换乘法幺半群$\mathbb{N}_0[x]^*$的结构,证明其非半因子、非Krull幺半群但与Krull幺半群结构相似,并研究了其理想、素理想等性质。
2025-04-16 math.AC
Factorization Properties of Leamer Monoids
Huneke-Wiegand猜想在交换代数中引起了广泛的研究。在研究这一猜想时,García-Sánchez和Leamer构造了一个幺半群S_Γ^s,其元素对应于步长s的数值幺半群Γ中的等差数列。这些幺半群,我们称之为Leamer幺半群,拥有一个非常有趣的因子分解理论,与它们所衍生的数值幺半群有很大的不同。在本文中,我们提供了大量的基础理论的Leamer幺半群,包括其原子结构的分析,并调查某些因子分解不变量。当S_Γ^s是算术Leamer幺半群时,我们给出了它的原子的精确描述,并利用它给出了它的Delta集和悬链线度的显式公式.
2014-05-07 math.AC math.CO math.NT
On the arithmetic of Krull monoids with infinite cyclic class group
设$H$是具有无限循环类群$G$的Krull幺半群,$G_P \subset G$表示含有素除子的类的集合.我们研究在什么条件下$G_P$的一些主要有限性性质的因子分解理论-如局部驯服性,有限性和合理性的弹性,结构定理的长度集,悬链线度的有限性,以及存在的单调和近单调链的因子分解-持有$H$。在许多情况下,我们得到明确的特征。
2009-08-28 math.AC
On the set of catenary degrees of finitely generated cancellative commutative monoids
可消交换幺半群$S$的元素$n$的悬链线度是一个非负整数,度量$n$的不可约分解之间的距离。幺半群$S$的悬链线度定义为所有出现在$S$中的悬链线度的上确界,作为非唯一分解的不变量已经被大量研究。在本文中,我们研究了一组$\mathsf C(S)$的悬链线度实现的$S$作为一个因式分解不变量,专注于$S$的情况下,在生成(其中$\mathsf C(S)$是已知的有限)。针对García-Sánchez提出的一个开放问题,我们提供了一种计算$\mathsf C(S)$的最小非零元素的方法,该方法与计算最大值的众所周知的方法并行。我们也给出了几个例子证明某些极值行为的$\mathsf C(S)$,并提出了一些开放的问题,为进一步研究。
2016-01-19 math.AC
On the atomic structure of exponential Puiseux monoids and semirings
一个Puironx幺半群是有理数的非负锥的一个加法子幺半群。如果存在正有理数$r$和包含$0$的由非负整数组成的集合$S$,使得$M$由集合$\{r^s \mid s \in S\}$生成,则我们称一个Puixix幺半群$M$是指数的.如果$M$是乘闭的,那么我们说$M$是一个指数幂零半环.本文研究了指数型Puiiiux幺半群和半环的原子性质。首先,我们刻画了原子指数Puii-x-monoid,并证明了有限分解性质,有界分解性质和ACCP在此上下文中是一致的。进而给出了指数型Pui-x幺半群满足ACCP的一个必要条件和一个充分条件。我们的结论是描述指数Puiiiux幺半群是半环。
2020-09-04 math.AC
Some asymptotic results on $p$-lengths of factorizations for numerical semigroups and arithmetical congruence monoids
本文引入$p$-长度(分解长度的广义概念,基于分解指数序列的$\ell_p$-范数),给出数值半群与算术同余幺半群中大型元素分解极值$p$-长度的渐近结果,揭示其组合特性与一般幺半群的微妙性。
2024-11-26 math.AC math.CO
On finite factorization Puiseux algebras
针对既约有限分解幺半群对应的幺半群代数是否为有限分解整环的开放问题,本文证明特征0有限生成域上的Puiseux代数满足该等价性,还证明广义分圆多项式在相关代数中具有有限分解性质。
2025-06-13 math.AC
Factorization in monoids and rings
令$H^\times$是乘法写幺半群$H$的单位群。我们说$H$是非循环的,如果$xyz \ne y$对于所有具有$x \notin H^\times$或$z \notin H^\times$的$x, y, z \in H$;如果$yx \ne x \ne xy$对于所有具有$y \notin H^\times$的$x, y \in H$; f.g.u.如果存在一个有限集合$A \subseteq H$,使得$H$的每个非单位都是$uav$与$u, v \in H^\times$和$a \in A$形式的元素的有限乘积; l.f.g.u.如果对于每个$x \in H$,包含$x$的$H$的最小除数闭子幺半群是f.g.u;如果每个非单位可以写成原子的有限乘积,其中原子是不分解为两个非单位乘积的非单位。我们把它概括为l.f.g.u.或无环L.F.G. U。么半群到目前为止只知道单位可消l.f.g.u.的一些结果。交换幺半群(可消幺半群是单位可消的,交换幺半群是单位可消的当且仅当它是非循环的)。特别是,我们证明了以下几点:$\bullet$如果$H$是一个原子l.f.g.u.如果一个非单位是自由幺半群,那么每个非单位只有100个“最小”和“成对不等价”的因子分解(到原子中)(相对于原子“字母表”上自由幺半群上的一些自然定义的关系)。如果$H$是无环l.f.g.u. monoid,则它是原…
2020-05-04 math.AC math.RA
On properties of square-free elements in commutative cancellative monoids
我们讨论了各种平方自由因子分解在幺半群的上下文中:原子性,主理想的升链条件,分解,和一个最大公因数属性。此外,我们还得到了阶乘幺半群的子幺半群的一个充分刻画,其中子幺半群的所有无平方元在幺半群中都是无平方元。我们还提出了阶乘性质,这意味着所有的原子的submonoid是无平方幺半群。
2018-12-31 math.AC
Approximating length-based invariants in atomic Puiseux monoids
数值么半群是非负整数的上有限加法子么半群,而普勒克斯么半群是有理数的非负锥的加法子么半群。利用一个Puienix幺半群是一个增加工会的副本的数值幺半群,我们证明了一些分解不变量的这两类幺半群是相关的通过一个限制过程。这使我们能够从数值扩展到Puietrix幺半群的结果。我们说明了这种技术的多功能性,通过恢复各种已知的结果关于Puienix幺半群。
2021-12-02 math.AC
Factorizations of the same length in abelian monoids
设$\mathcal S \subseteq \mathbb Z^m \oplus T$是一个可生成的约化幺半群.在本文中,我们开发了一个通用的策略来研究$\mathcal S$中的元素集至少有两个相同长度的因子分解,即理想的$\mathcal L_{\mathcal S}$。为此,我们使用与幺半群$\mathcal S$相关的某个(格)理想。我们的研究可以看作是对\cite{chapman:2011}的一种新的推广,它只研究数值半群的情形。当$\mathcal S$是数值半群时,我们给出了三个主要结果:(1)当$\mathcal S$由几乎等差数列极小生成时,我们显式地计算了理想$\mathcal L_{\mathcal S}$的生成元集:(2)我们给出了一个无穷族的数值半群,使得$\mathcal L_{\mathcal S}$是主理想;(3)将确定不在$\mathcal L_{\mathcal S}$中的最大整数的计算问题归类为$\mathcal{NP}$ -困难问题。
2021-01-14 math.AC math.GR
An Abstract Factorization Theorem and Some Applications
我们结合语言的幺半群与语言的前序,以完善一些基本方面的经典理论的因式分解和证明一个抽象的因式分解定理与各种应用。特别地,我们得到了一个关于“原子因子分解”的经典定理的推广,从可消到Dedekind有限(交换或非交换)幺半群,该定理可以追溯到P.M. Cohn在20世纪60年代的工作;恢复了D.D. Anderson和S. Valdes-Leon关于交换环中的“不可约因子分解”;安东尼奥和作者,在某些“集合的幺半群”自然产生的加性数论和算术组合的特点原子性;给出了一个么半群理论证明,(交换或非交换)环$R$是n个不可分解模的直和(这实际上是具有有限乘积的某些范畴的对象的更一般分解定理的特殊情况,其中不可分解的$R$ -模被刻画为合适的“模幺半群”的原子)。
2022-02-25 math.AC math.RA
Factorization in monoids by stratification of atoms and the Elliott Problem
在加法阶乘幺半群中,每个元素可以表示为不可约元(原子)的线性组合,其系数在所有自然数上唯一确定。在本文中,我们开发了一个广泛的类的非阶乘幺半群的概念分层的原子,它允许代表每个元素作为一个线性组合的原子的系数是唯一确定的限制时,以特定的方式。这个广泛的类包括内阶乘幺半群,特别是单纯仿射半群。在后一种情况下,唯一性问题与E. B.艾略特在1903年的一篇论文中写道。对于三元线性丢番图方程的所有非负解的幺半群,Elliott考虑了“简单解集”(幺半群的原子),并寻找一种方法,使“每一组只有一次”。我们表明,单纯仿射半群在两个层面的分层总是可能的,这也回答了埃利奥特的问题,他离开开放的情况下。本文中关于一般么半群的原子分层的结果也可以看作是对一个“广义Elliott问题”的回答。
2021-05-23 math.AC math.NT
On the additive structure of algebraic valuations of polynomial semirings
本文利用D。D.安德森,D。F. Anderson和M. 1990年的Zafrullah。一个可消交换么半群是原子幺半群,如果每个不可逆元素都分解为不可约元素。我们首先确定当$\mathbb{N}_0[α]$是原子的,我们给出了一个明确的描述,其不可约集。一个原子幺半群是一个有限分解幺半群(FFM),如果每个元素只有1000个分解(直到阶和相关),并且它是一个有界分解幺半群(BFM),如果对于每个元素,每个分解中的不可约数(计数重复)都有一个界。证明了对幺半群$\mathbb{N}_0[α]$,BFM的性质和FFM的性质等价于主理想上的升链条件条件(ACCP).最后,我们给出了$\mathbb{N}_0[α]$是唯一分解么半群(UFM)的各种刻画,其中两个刻画是关于$α$的极小多项式的。同时,我们也研究了它的非线性生成、半阶乘和长度阶乘的性质。
2023-01-20 math.AC math.NT
Lattices over Bass rings and graph agglomerations
利用幺半群$T(R)$的因子分解理论,研究了Bass环$R$上无有限生成模的直和分解. Levy-Wiegand和Levy-Odenthal的结果以及对当地病例的研究给出了对$T(R)$的明确描述。幺半群通常既不是阶乘的也不是可消的。然而,我们构建了一个转移同态的幺半群的图凝聚-一个自然类的幺半群作为组合模型的因子分解理论的$T(R)$。因此,幺半群$T(R)$是有限型的转移Krull,并且关于算术不变量的几个有限性结果也适用.我们还建立了结果的弹性$T(R)$和特点时,$T(R)$是半阶乘。(因式性,即无挠的Krull-Remak-Schmidt-Azumaya,由Levy-Odenthal定理表征。这里介绍的图凝聚的么半群也是独立感兴趣的。
2021-03-17 math.AC
The Category of Factorization
本文引入并研究了一个乘性的、可交换的、可消的、预序幺半群$A$的分解范畴,记为$\mathcal{F}(A)$。$\mathcal{F}(A)$的对象是$A$的元素的因式分解,并且$\mathcal{F}(A)$中的态射编码因式分解之间的组合相似性和差异。我们特别注意整除预序和幺半群$A=D\setminus\{0\}$,其中$D$是一个整环。在其他结果中,我们证明了$\mathcal{F}(A)$是一个对称的,严格的幺半范畴弱等价和计算的相关范畴的分数通过反转的弱等价。同时,我们也利用这个结构来刻画整环的各种分解性质:原子性,唯一分解,等等。
2019-01-18 math.AC math.CT
Non-unique factorization of polynomials over residue class rings of the integers
本文研究了Z_{p^n} [x]中多项式的非唯一分解为不可约项.作为零因子包含在Jacobson根中的诺特环,Z_{p^n} [x]是原子环.我们把任意非零多项式分解为不可约项的问题归结为将首一多项式分解为一元不可约项的问题。Z_{p^n} [x]的首一多项式的乘法幺半群是Z_p[x]中对应于不可约多项式的幺半群的直和,我们证明了这些幺半群中的每一个都具有无穷弹性.此外,对于每一个正整数m,在这些幺半群中的每一个中存在2个不可约数的乘积,该乘积也可以表示为m个不可约数的乘积。
2011-03-18 math.AC math.NT
Power monoids: A bridge between Factorization Theory and Arithmetic Combinatorics
我们将Geroldinger和Halter-Koch在2006年关于这个主题的专著中提出的非唯一因子分解的经典理论的一些基本方面扩展到非交换和非可消的设置,与Baeth和Smertnig关于非交换但可消幺半群的因子分解理论的工作相同[J. Algebra 441(2015),475-551]。然后,我们引入幂幺半群,并应用第一部分中开发的抽象机器,我们对它们的算术进行了研究。更具体地说,设$H$是一个乘法写幺半群。$H$的所有非空有限子集的集合$\mathcal P_{\rm fin}(H)$通过赋予其运算$(X,Y) \mapsto \{xy: (x,y) \in X \times Y\}$而自然地成为幺半群,我们称之为$H$的幂幺半群,并且除非$H$是平凡的,否则它是非可消的。幂幺半群是算术组合学中感兴趣的主要对象之一,在这里,我们第一次从因子分解理论的角度来处理它们。证明导致考虑各种性质的有限子集的$\mathbf N$,可以或不能被分割成一个和集在一个非平凡的方式,这引起了丰富的相互作用与加性数论。
2018-07-02 math.AC math.CO math.NT
On the arithmetic of ultraproducts of commutative cancellative monoids
本文研究交换可消幺半群超乘积中元素的不可约分解,完整刻画了长度多重集,并利用超乘积技术证明分解理论若干性质非一阶可表达、构造实现任意长度多重集的整环,同时给出加法组合学定理的新证明。
2023-11-28 math.AC math.LO
Bi-atomic classes of positive semirings
设$S$是实直线的非负半环,这里称为正半环。我们研究了加法幺半群$(S,+)$和乘法幺半群$(S\setminus\{0\}, \cdot)$的因子分解。特别地,我们研究了当正半环$S$,$(S,+)$和$(S\setminus\{0\}, \cdot)$都具有以下性质:原子性,ACCP,有界因子分解性质(BFP),有限因子分解性质(FFP)和半因子性质(HFP)。众所周知,在可消幺半群和交换幺半群的上下文中,蕴涵链HFP $\Rightarrow$ BFP和FFP $\Rightarrow$ BFP $\Rightarrow$ ACCP $\Rightarrow$原子性成立。在这里,我们构建类的正半环,其中的加法和乘法结构满足这些性质,我们也给出例子来表明,在一般情况下,没有在前面的链的影响是可逆的。
2021-03-24 math.AC
Minimal presentations of shifted numerical monoids
数值幺半群是非负整数的加法子幺半群。给定一个数值幺半群$S$,考虑通过将$n$加到$S$的每个生成元上而得到的“移位”幺半群族$M_n$。在本文中,我们研究最小的关系生成器之间的$M_n$时,$n$是足够大的,最终在一个描述是周期性的移位参数$n$。我们探讨了计算,组合交换代数和因式分解理论的几个应用。
2017-01-30 math.AC
Semigroup-theoretical characterizations of arithmetical invariants with applications to numerical monoids and Krull monoids
算术不变量-如长度集,悬链线和驯服度-描述了原子幺半群中因子分解的非唯一性。我们研究这些算术不变量的幺半群的关系和介绍所涉及的幺半群。抽象的结果将被应用到数值幺半群和Krull幺半群。
2010-06-22 math.AC math.NT
The system of sets of lengths in Krull monoids under set addition
设$H$是一个Krull幺半群,其类群为$G$,且每个类包含一个素除子.那么每个元素$a \in H$都有一个分解为不可约元的分解,所有可能的分解长度的集合$\mathsf L (a)$就是$a$的长度的集合。我们认为系统$\mathcal L (H) = \{ \mathsf L (a) \mid a \in H \}$的所有集的长度,我们的特点(在类组$G$)时,$\mathcal L (H)$是添加关闭下集添加。
2015-05-22 math.AC math.CO
An overview of the computational aspects of nonunique factorization invariants
我们给出了一个概述现有的算法来计算非唯一的因子分解不变量的生成幺半群。
2015-04-28 math.AC math.CO
Supertropical Monoids: Basics, Canonical Factorization, and Lifting Ghosts to Tangibles
超热带幺半群是一种比超热带半环稍微更一般的结构,第一和第三作者在[IR 1]-[IR 3]中引入并使用它来改进热带几何和矩阵理论,然后我们在[IKR 1]-[IKR 3]中系统地研究了与“超赋值”有关的问题。在本文中,我们建立了一个超热带幺半群范畴$\STROP_m$,通过选择作为态射的“传输”,定义的方式与[IKR 1]中对超热带半环所做的相同。超热带半环范畴$STROP$是$STROP_m.$的一个全子范畴。而且,每一个超热带幺半群$V$都以典范的方式与一个超热带半环$\hat V$相联系。在[IKR 1]-[IKR 3]中的一个中心问题是通过“TE-关系”找到超热带半环$U$的商$U/E$,TE-关系是集合$U$上与乘法相容的某种等价关系(参见“TE-关系”)。[IK1,定义4.5])。事实证明,这个商总是存在于$\STROP_m$中。在好的情况下,$U/E$是超热带半环,这也是$\STROP.$中的右商。否则,分析$(U/E)^\wedge,$,我们得到$E$到TE关系$E'$的一个温和的修改,使得$U/E' = (U/E)^\wedge$在$\STROP.$中。这样,我们现在可以解决[IKR 1],[IKR 2]中留下的各种问题,并进一步了解传递和超赋值的结构。通过超热带幺半群,我们也得到了[IKR 3]中研究的全序超赋值和单调传递的新结果。
2011-08-09 math.AC math.RA
On arithmetical numerical monoids with some generators omitted
数值幺半群(非负整数的上有限加法子幺半群)在加法组合学中经常出现,最近在因子分解理论中得到了研究。算术数字幺半群,这是最低限度地产生的等差数列,是特别好的行为,承认封闭形式的许多不变量,难以计算在一般情况下。在本文中,我们回答了这样一个问题:“从算术数值么半群$S$中省略生成元,什么时候保持它的长度集的集合和/或Frobenius数?”“在两种极端情况下:(i)刻画了在不改变长度集或Frobenius数的情况下,$S$中哪些生成元可以被省略;(ii)证明了在一定条件下,$S$的几乎所有生成元都可以被省略,而不改变其长度集或Frobenius数.
2017-12-19 math.AC
Factorization invariants in half-factorial affine semigroups
设$\mathbb{N} \mathcal{A}$是由$\mathcal{A} = {\mathbf{a}_1, ..., \mathbf{a}_n} \subseteq \mathbb{Z}^d.$生成的幺半群,我们引入$\mathbb{N} \mathcal{A}$的齐次悬链线度作为具有以下性质的最小$N \in \mathbb N$:对于每个$\mathbf{a} \in \mathbb{N} \mathcal{A}$和$\mathbf{a}$的任何两个因子分解$\mathbf{u}, \mathbf{v}$,存在$\mathbf{a}$的因子分解$\mathbf{u} = \mathbf{w}_1, ..., \mathbf{w}_t = \mathbf{v} $,使得对于每个$k, \mathrm{d}(\mathbf{w}_k, \mathbf{w}_{k+1}) \leq N,$,其中$\mathrm{d}$是因子分解之间的通常距离,并且$\mathbf{w}_k, |\mathbf{w}_k|,$的长度小于等于$\max{|\mathbf{u}|, |\mathbf{v}|}.$.证明了$\mathbb{N} \mathcal{A}$的齐次悬链线度作为普通悬链线度的上界改进了单调悬链线度,并证明了它是可以有效计算的.我们还证明了半阶乘幺半群的驯服度和$ω$ -素性一…
2012-07-24 math.AC
Betti elements and full atomic support in rings and monoids
本文将基于Betti元素的分解性质研究从仿射幺半群推广到一般环与幺半群,证明全原子支撑幺半群中catenary degree、tame degree和omega值一致,并刻画了具有唯一Betti元素的块幺半群。
2025-03-10 math.AC
How Do You Measure Primality?
在交换幺半群中,$ω$ -值度量一个元素离素有多远。这个不变量,这是重要的理解的分解理论的幺半群,一直是最近的研究重点。本文提供了详细的例子和概述的$ω$ -素性的已知结果,包括一些最近的和令人惊讶的贡献,在设置的数值幺半群。由于与$ω$ -素性相关的许多问题仍然存在,我们提供了一个开放的问题列表,可供高年级本科生和研究生开始。
2014-08-20 math.AC
Length-Factoriality and Pure Irreducibility
本文在交换消去幺半群的一般背景下研究长度阶乘性及其相关分解性质(PLS 性质和双长度阶乘性),该概念源于对唯一分解整环的刻画。
2024-03-20 math.AC
On the molecules of numerical semigroups, Puiseux monoids, and Puiseux algebras
分子是整环的非零非单位元素(分别为,交换可消幺半群)具有唯一的分解为不可约元(分别,原子)。在这里,我们研究的分子Puienix幺半群以及其相应的半群代数,我们称之为Puienix代数的分子。首先,我们在数值半群的背景下,给出了关于分子集和可约分子集的可能基数的一些结果(即,不是不可还原物/原子的分子)。然后,我们研究的分子在更一般的背景下Puiienix幺半群。我们构造了无穷多个非同构的原子Puii-xmonoid,它们的分子都是原子。此外,我们还刻画了由有理数生成的Puietrix幺半群的分子与素算子的关系。最后,我们转向研究Puietrix代数的分子。我们提供了一个表征的分子的Puienix代数对应的根封闭Puienix幺半群。然后我们利用这样一个刻画找到了一类具有无穷多个非关联可约分子的无限类Puietrix代数。
2020-03-10 math.AC
On the arithmetic of polynomial ideals
University of Graz(格拉茨大学);University of Cagliari(卡利亚里大学)
本文研究多项式环中理想monoid的原子分解,通过扩展现有技术构建新原子家族,深入探讨其算术性质及monomial理想子monoid的结构。
2026-08-19 math.AC
Realizable sets of catenary degrees of numerical monoids
悬链线度是一个不变量,用来度量一个原子幺半群中元素的分解之间的距离。在本文中,我们分类哪些有限子集的$\mathbb Z_{\ge 0}$出现作为一个数值幺半群的悬链线度的集合(即,$\mathbb Z_{\ge 0}$的余有限加法子幺半群)。特别是,我们表明,除了一个例外,每一个有限子集的$\mathbb Z_{\ge 0}$,可能会出现的悬链线度的一些原子幺半群的集合实际上是实现了一个数值幺半群。
2017-05-11 math.AC math.CO
Longest and Shortest Factorizations in Embedding Dimension Three
本文研究嵌入维数为3的数值幺半群,刻画了其元素最长、最短分解长度的平移恒等式对所有元素均成立的条件,推广了仅对充分大元素成立的已有结论。
2022-09-25 math.AC math.CO
On factorization invariants and Hilbert functions
可消交换半群中的非唯一因子分解经常使用组合因子分解不变量来研究,组合因子分解不变量赋予每个半群元素一个由因子分解结构确定的量。对于数值半群(自然数的加法子半群),已知几个因子分解不变量允许足够大的半群元素的可预测行为。特别地,悬链线度和δ集合不变量都是最终周期性的,并且Ω素性不变量是最终拟线性的。在本文中,我们证明了这些不变量是如何确定的分次模的Hilbert函数。在这样做时,我们将上述每个最终的行为结果扩展到非线性生成半群,并提供了一个新的框架,通过它来研究在这种情况下的因子分解结构。
2017-02-23 math.AC