Pub Date : 2024-08-28DOI: 10.21136/cmj.2024.0199-23
Aiping Zhang, Xueping Lei
Let A be a CM-finite Artin algebra with a Gorenstein-Auslander generator E, M be a Gorenstein projective A-module and B = EndAM. We give an upper bound for the finitistic dimension of B in terms of homological data of M. Furthermore, if A is n-Gorenstein for 2 ⩽ n < ∞, then we show the global dimension of B is less than or equal to n plus the B-projective dimension of HomA(M, E). As an application, the global dimension of EndAE is less than or equal to n.
设 A 是具有戈伦斯坦-奥斯兰德生成器 E 的 CM 有限阿尔丁代数,M 是戈伦斯坦投影 A 模块,B = EndAM。此外,如果 A 在 2 ⩽ n < ∞ 时是 n-Gorenstein 的,那么我们将证明 B 的全局维度小于或等于 n 加上 HomA(M, E) 的 B 投影维度。作为应用,EndAE 的全局维度小于或等于 n。
{"title":"Homological dimensions for endomorphism algebras of Gorenstein projective modules","authors":"Aiping Zhang, Xueping Lei","doi":"10.21136/cmj.2024.0199-23","DOIUrl":"https://doi.org/10.21136/cmj.2024.0199-23","url":null,"abstract":"<p>Let <i>A</i> be a CM-finite Artin algebra with a Gorenstein-Auslander generator <i>E, M</i> be a Gorenstein projective <i>A</i>-module and <i>B</i> = End<sub><i>A</i></sub><i>M</i>. We give an upper bound for the finitistic dimension of <i>B</i> in terms of homological data of <i>M</i>. Furthermore, if <i>A</i> is <i>n</i>-Gorenstein for 2 ⩽ <i>n</i> < ∞, then we show the global dimension of <i>B</i> is less than or equal to <i>n</i> plus the <i>B</i>-projective dimension of Hom<sub><i>A</i></sub>(<i>M, E</i>). As an application, the global dimension of End<sub><i>A</i></sub><i>E</i> is less than or equal to <i>n</i>.</p>","PeriodicalId":50596,"journal":{"name":"Czechoslovak Mathematical Journal","volume":"18 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142182226","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-28DOI: 10.21136/cmj.2024.0030-23
Xinyue Wang, Liangyun Chen, Yao Ma
We construct a family of non-weight modules which are free (U(frak{h}))-modules of rank 2 over the N = 1 super Schrödinger algebra in (1+1)-dimensional spacetime. We determine the isomorphism classes of these modules. In particular, free (U(frak{h}))-modules of rank 2 over (frak{osp}(1mid 2)) are also constructed and classified. Moreover, we obtain the sufficient and necessary conditions for such modules to be simple.
{"title":"Non-weight modules over the super Schrödinger algebra","authors":"Xinyue Wang, Liangyun Chen, Yao Ma","doi":"10.21136/cmj.2024.0030-23","DOIUrl":"https://doi.org/10.21136/cmj.2024.0030-23","url":null,"abstract":"<p>We construct a family of non-weight modules which are free <span>(U(frak{h}))</span>-modules of rank 2 over the <i>N</i> = 1 super Schrödinger algebra in (1+1)-dimensional spacetime. We determine the isomorphism classes of these modules. In particular, free <span>(U(frak{h}))</span>-modules of rank 2 over <span>(frak{osp}(1mid 2))</span> are also constructed and classified. Moreover, we obtain the sufficient and necessary conditions for such modules to be simple.</p>","PeriodicalId":50596,"journal":{"name":"Czechoslovak Mathematical Journal","volume":"10 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142182224","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-27DOI: 10.21136/cmj.2024.0221-24
Wei Gao
I. Gutman (2022) constructed six new graph invariants based on geometric parameters, and named them Sombor-index-like graph invariants, denoted by (cal{SO}_1, cal{SO}_2, dots, cal{SO}_6). Z. Tang, H. Deng (2022) and Z. Tang, Q. Li, H. Deng (2023) investigated the chemical applicability and extremal values of these Sombor-index-like graph invariants, and raised some open problems, see Z. Tang, Q. Li, H. Deng (2023). We consider the first open problem formulated at the end of Z. Tang, Q. Li, H. Deng (2023). We obtain the extremal values of the graph invariants (cal{SO}_5) and (cal{SO}_6) among all trees and molecular trees of order n, and characterize the trees and molecular trees that achieve the extremal values, respectively. Thus, the problem is completely solved.
I.Gutman (2022) 基于几何参数构建了六个新的图不变式,并将其命名为 Sombor-index-like graph invariants,用 (cal{SO}_1,cal{SO}_2,dots,cal{SO}_6)表示。Z. Tang, H. Deng (2022) 和 Z. Tang, Q. Li, H. Deng (2023) 研究了这些 Sombor-index-like graph invariants 的化学适用性和极值,并提出了一些开放问题,见 Z. Tang, Q. Li, H. Deng (2023)。我们考虑在 Z. Tang, Q. Li, H. Deng (2023) 结尾提出的第一个开放问题。我们得到了所有 n 阶树和分子树的图不变式 (cal{SO}_5)和 (cal{SO}_6)的极值,并分别描述了达到极值的树和分子树的特征。这样,问题就完全解决了。
{"title":"Extremal trees and molecular trees with respect to the Sombor-index-like graph invariants $$cal{SO}_5$$ and $$cal{SO}_6$$","authors":"Wei Gao","doi":"10.21136/cmj.2024.0221-24","DOIUrl":"https://doi.org/10.21136/cmj.2024.0221-24","url":null,"abstract":"<p>I. Gutman (2022) constructed six new graph invariants based on geometric parameters, and named them Sombor-index-like graph invariants, denoted by <span>(cal{SO}_1, cal{SO}_2, dots, cal{SO}_6)</span>. Z. Tang, H. Deng (2022) and Z. Tang, Q. Li, H. Deng (2023) investigated the chemical applicability and extremal values of these Sombor-index-like graph invariants, and raised some open problems, see Z. Tang, Q. Li, H. Deng (2023). We consider the first open problem formulated at the end of Z. Tang, Q. Li, H. Deng (2023). We obtain the extremal values of the graph invariants <span>(cal{SO}_5)</span> and <span>(cal{SO}_6)</span> among all trees and molecular trees of order <i>n</i>, and characterize the trees and molecular trees that achieve the extremal values, respectively. Thus, the problem is completely solved.</p>","PeriodicalId":50596,"journal":{"name":"Czechoslovak Mathematical Journal","volume":"11 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142182225","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-23DOI: 10.21136/cmj.2024.0420-23
Yuan Yuan, Jian He, Dejun Wu
Let (cal{A}) and (cal{B}) be abelian categories with enough projective and injective objects, and (T coloncal{A}rightarrowcal{B}) a left exact additive functor. Then one has a comma category ((mathopen{cal{B} downarrow T})). It is shown that if (T coloncal{A}rightarrowcal{B}) is (cal{X})-exact, then is a (hereditary) cotorsion pair in (cal{A}) and is a (hereditary) cotorsion pair in (cal{B}) if and only if is a (hereditary) cotorsion pair in ((mathopen{cal{B}downarrow T})) and (cal{X}) and (cal{Y}) are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories (cal{A}) and (cal{B}) can induce special preenveloping classes in ((mathopen{cal{B}downarrow T})).
{"title":"Cotorsion pairs in comma categories","authors":"Yuan Yuan, Jian He, Dejun Wu","doi":"10.21136/cmj.2024.0420-23","DOIUrl":"https://doi.org/10.21136/cmj.2024.0420-23","url":null,"abstract":"<p>Let <span>(cal{A})</span> and <span>(cal{B})</span> be abelian categories with enough projective and injective objects, and <span>(T coloncal{A}rightarrowcal{B})</span> a left exact additive functor. Then one has a comma category (<span>(mathopen{cal{B} downarrow T})</span>). It is shown that if <span>(T coloncal{A}rightarrowcal{B})</span> is <span>(cal{X})</span>-exact, then is a (hereditary) cotorsion pair in <span>(cal{A})</span> and <img alt=\"\" src=\"//media.springernature.com/lw66/springer-static/image/art%3A10.21136%2FCMJ.2024.0420-23/MediaObjects/10587_2024_2023_Fig2_HTML.gif\" style=\"width:66px;max-width:none;\"/> is a (hereditary) cotorsion pair in <span>(cal{B})</span> if and only if <img alt=\"\" src=\"//media.springernature.com/lw128/springer-static/image/art%3A10.21136%2FCMJ.2024.0420-23/MediaObjects/10587_2024_2023_Fig3_HTML.gif\" style=\"width:128px;max-width:none;\"/> is a (hereditary) cotorsion pair in (<span>(mathopen{cal{B}downarrow T})</span>) and <span>(cal{X})</span> and <span>(cal{Y})</span> are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories <span>(cal{A})</span> and <span>(cal{B})</span> can induce special preenveloping classes in (<span>(mathopen{cal{B}downarrow T})</span>).</p>","PeriodicalId":50596,"journal":{"name":"Czechoslovak Mathematical Journal","volume":"32 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142182227","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-21DOI: 10.21136/cmj.2024.0216-24
Aiping Zhang, Zesheng Feng, Hongya Gao
We are interested in regularizing effect of the interplay between the coefficient of zero order term and the datum in some noncoercive integral functionals of the type
for almost all x ∈ Ω, all s ∈ ℝ and all ξ ∈ ℝN. We show that, even if 0 < a(x) and f(x) only belong to L1(Ω), the interplay
$$vert f(x)vertleqslant2 Qa(x)$$
implies the existence of a minimizer u ∈ W1,20 (Ω) which belongs to L∞(Ω).
我们感兴趣的是零阶项的系数与一些非胁迫积分函数类型$$cal{J} (v)= int_Omega j(x,v,nabla v), {rm d}x +int_Omega a(x) vert vvert^{2} 中的基准点之间相互作用的正则效应, {rm d}x -int_Omega fv , {rm d}x, quad vin W^{1,2}_{0}(Omega),$$where Ω ⊂ ℝN, j is a Carathéodory function such that ξ ↦ j(x, s, ξ) is convex, and there exist constants 0 ⩽ τ <;1 and M > 0 such that$${vertxivert^{2}}{over{{(1+vert svert)^{tau}}}}leqslant j(x,s,xi)leqslant Mvertxivert^2$$ for almost all x∈ Ω, all s∈ ℝ and all ξ∈ ℝN.我们证明,即使 0 < a(x) 和 f(x) 只属于 L1(Ω),相互影响$$vert f(x)vertleqslant2 Qa(x)$$ 也意味着存在一个属于 L∞(Ω)的最小值 u∈ W1,20 (Ω) 。
{"title":"Regularizing effect of the interplay between coefficients in some noncoercive integral functionals","authors":"Aiping Zhang, Zesheng Feng, Hongya Gao","doi":"10.21136/cmj.2024.0216-24","DOIUrl":"https://doi.org/10.21136/cmj.2024.0216-24","url":null,"abstract":"<p>We are interested in regularizing effect of the interplay between the coefficient of zero order term and the datum in some noncoercive integral functionals of the type</p><span>$$cal{J} (v)= int_Omega j(x,v,nabla v), {rm d}x +int_Omega a(x) vert vvert^{2} , {rm d} x -int_Omega fv , {rm d}x, quad vin W^{1,2}_{0}(Omega),$$</span><p>where Ω ⊂ ℝ<sup><i>N</i></sup>, <i>j</i> is a Carathéodory function such that <i>ξ</i> ↦ <i>j</i>(<i>x, s, ξ</i>) is convex, and there exist constants 0 ⩽ <i>τ</i> < 1 and <i>M</i> > 0 such that</p><span>$${vertxivert^{2}}{over{{(1+vert svert)^{tau}}}}leqslant j(x,s,xi)leqslant Mvertxivert^2$$</span><p>for almost all <i>x</i> ∈ Ω, all <i>s</i> ∈ ℝ and all <i>ξ</i> ∈ ℝ<sup><i>N</i></sup>. We show that, even if 0 < <i>a</i>(<i>x</i>) and <i>f</i>(<i>x</i>) only belong to <i>L</i><sup>1</sup>(Ω), the interplay</p><span>$$vert f(x)vertleqslant2 Qa(x)$$</span><p>implies the existence of a minimizer <i>u</i> ∈ <i>W</i><span>\u0000<sup>1,2</sup><sub>0</sub>\u0000</span> (Ω) which belongs to <i>L</i><sup>∞</sup>(Ω).</p>","PeriodicalId":50596,"journal":{"name":"Czechoslovak Mathematical Journal","volume":"148 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142182228","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-16DOI: 10.21136/cmj.2024.0002-24
Sachindranath Jayaraman, Vatsalkumar N. Mer
The objective of this manuscript is to investigate the structure of linear maps on the space of real symmetric matrices (cal{S}^{n}) that leave invariant the closed convex cones of copositive and completely positive matrices (COPn and CPn). A description of an invertible linear map on (cal{S}^{n}) such that L(CPn) ⊂ CPn is obtained in terms of semipositive maps over the positive semidefinite cone (cal{S}_{+}^{n}) and the cone of symmetric nonnegative matrices (cal{N}_{+}^{n}) for n ⩽ 4, with specific calculations for n = 2. Preserver properties of the Lyapunov map X ↦ AX + XAt, the generalized Lyapunov map X ↦ AXB + BtXAt, and the structure of the dual of the cone π(CPn) (for n ⩽ 4) are brought out. We also highlight a different way to determine the structure of an invertible linear map on (cal{S}^{2}) that leaves invariant the closed convex cone (cal{S}_{+}^{2}).
本手稿的目的是研究实对称矩阵空间上的线性映射的结构,这些线性映射使共正矩阵和完全正矩阵(COPn 和 CPn)的封闭凸锥保持不变。在 n ⩽ 4 时,通过正半定锥 (cal{S}_{+}^{n}) 和对称非负矩阵锥 (cal{N}_{+}^{n})上的半正映射,得到了对(cal{S}^{n})上可逆线性映射的描述,使得 L(CPn) ⊂ CPn,并对 n = 2 进行了具体计算。我们还提出了李雅普诺夫映射 X ↦ AX + XAt、广义李雅普诺夫映射 X ↦ AXB + BtXAt 以及锥体 π(CPn)对偶结构(n ⩽ 4 时)的保护特性。我们还强调了一种确定 (cal{S}^{2}) 上可逆线性映射结构的不同方法,它使得封闭凸锥 (cal{S}_{+}^{2}) 不变。
{"title":"On linear maps leaving invariant the copositive/completely positive cones","authors":"Sachindranath Jayaraman, Vatsalkumar N. Mer","doi":"10.21136/cmj.2024.0002-24","DOIUrl":"https://doi.org/10.21136/cmj.2024.0002-24","url":null,"abstract":"<p>The objective of this manuscript is to investigate the structure of linear maps on the space of real symmetric matrices <span>(cal{S}^{n})</span> that leave invariant the closed convex cones of copositive and completely positive matrices (COP<sub><i>n</i></sub> and CP<sub><i>n</i></sub>). A description of an invertible linear map on <span>(cal{S}^{n})</span> such that <i>L</i>(CP<sub><i>n</i></sub>) ⊂ <i>CP</i><sub><i>n</i></sub> is obtained in terms of semipositive maps over the positive semidefinite cone <span>(cal{S}_{+}^{n})</span> and the cone of symmetric nonnegative matrices <span>(cal{N}_{+}^{n})</span> for <i>n</i> ⩽ 4, with specific calculations for <i>n</i> = 2. Preserver properties of the Lyapunov map <i>X</i> ↦ <i>AX</i> + <i>XA</i><sup><i>t</i></sup>, the generalized Lyapunov map <i>X</i> ↦ <i>AXB</i> + <i>B</i><sup><i>t</i></sup><i>XA</i><sup><i>t</i></sup>, and the structure of the dual of the cone <i>π</i>(CP<sub><i>n</i></sub>) (for <i>n</i> ⩽ 4) are brought out. We also highlight a different way to determine the structure of an invertible linear map on <span>(cal{S}^{2})</span> that leaves invariant the closed convex cone <span>(cal{S}_{+}^{2})</span>.</p>","PeriodicalId":50596,"journal":{"name":"Czechoslovak Mathematical Journal","volume":"10 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142182252","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-21DOI: 10.21136/cmj.2024.0438-23
Yulong Yang, Guangjun Zhu, Yijun Cui, Shiya Duan
Let G be a finite simple graph with the vertex set V and let IG be its edge ideal in the polynomial ring (S=mathbb{K}[V]). We compute the depth and the Castelnuovo-Mumford regularity of S/IG when G = G1 ◦ G2 or G = G1 * G2 is a graph obtained from Cohen-Macaulay bipartite graphs G1, G2 by the ◦ operation or * operation, respectively.
设 G 是顶点集为 V 的有限简单图,设 IG 是它在(S=mathbb{K}[V])多项式环中的边理想。当 G = G1 ◦ G2 或 G = G1 * G2 分别是由科恩-马科莱双向图 G1、G2 通过 ◦ 操作或 * 操作得到的图时,我们计算 S/IG 的深度和卡斯特诺沃-蒙福德正则性。
{"title":"The ◦ operation and * operation of Cohen-Macaulay bipartite graphs","authors":"Yulong Yang, Guangjun Zhu, Yijun Cui, Shiya Duan","doi":"10.21136/cmj.2024.0438-23","DOIUrl":"https://doi.org/10.21136/cmj.2024.0438-23","url":null,"abstract":"<p>Let <i>G</i> be a finite simple graph with the vertex set <i>V</i> and let <i>I</i><sub><i>G</i></sub> be its edge ideal in the polynomial ring <span>(S=mathbb{K}[V])</span>. We compute the depth and the Castelnuovo-Mumford regularity of <i>S</i>/<i>I</i><sub><i>G</i></sub> when <i>G</i> = <i>G</i><sub>1</sub> ◦ <i>G</i><sub>2</sub> or <i>G</i> = <i>G</i><sub>1</sub> * <i>G</i><sub>2</sub> is a graph obtained from Cohen-Macaulay bipartite graphs <i>G</i><sub>1</sub>, <i>G</i><sub>2</sub> by the ◦ operation or * operation, respectively.</p>","PeriodicalId":50596,"journal":{"name":"Czechoslovak Mathematical Journal","volume":"58 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141776933","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-18DOI: 10.21136/cmj.2024.0133-24
Toshihide Futamura, Tetsu Shimomura
We prove the boundedness of the generalized fractional maximal operator Mα and the generalized fractional integral operator Iα on weak Choquet spaces with respect to Hausdorff content over quasi-metric measure spaces.
{"title":"Generalized fractional integral operators on weak Choquet spaces over quasi-metric measure spaces","authors":"Toshihide Futamura, Tetsu Shimomura","doi":"10.21136/cmj.2024.0133-24","DOIUrl":"https://doi.org/10.21136/cmj.2024.0133-24","url":null,"abstract":"<p>We prove the boundedness of the generalized fractional maximal operator <i>M</i><sub><i>α</i></sub> and the generalized fractional integral operator <i>I</i><sub><i>α</i></sub> on weak Choquet spaces with respect to Hausdorff content over quasi-metric measure spaces.</p>","PeriodicalId":50596,"journal":{"name":"Czechoslovak Mathematical Journal","volume":"61 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141776991","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.21136/cmj.2024.0379-23
María Ángeles Moreno-Frías, José Carlos Rosales
Let S be a numerical semigroup. We say that h ∈ ℕ S is an isolated gap of S if {h − 1, h + 1} ⊆ S. A numerical semigroup without isolated gaps is called a perfect numerical semigroup. Denote by m(S) the multiplicity of a numerical semigroup S. A covariety is a nonempty family (mathscr{C}) of numerical semigroups that fulfills the following conditions: there exists the minimum of (mathscr{C}), the intersection of two elements of (mathscr{C}) is again an element of (mathscr{C}), and (Sbackslash{{rm m}(S)}inmathscr{C}) for all (Sinmathscr{C}) such that (Sneqmin(mathscr{C})). We prove that the set ({mathscr{P}}(F)={Scolon S text{is} text{a} text{perfect} text{numerical} text{semigroup} text{with} text{Frobenius} text{number} F}) is a covariety. Also, we describe three algorithms which compute: the set ({mathscr{P}}(F)), the maximal elements of ({mathscr{P}}(F)), and the elements of ({mathscr{P}}(F)) with a given genus. A Parf-semigroup (or Psat-semigroup) is a perfect numerical semigroup that in addition is an Arf numerical semigroup (or saturated numerical semigroup), respectively. We prove that the sets Parf(F) = {S: S is a Parf-numerical semigroup with Frobenius number F} and Psat(F) = {S: S is a Psat-numerical semigroup with Frobenius number F} are covarieties. As a consequence we present some algorithms to compute Parf(F) and Psat(F).
设 S 是一个数值半群。如果 {h - 1, h + 1} ⊆ S 是 S 的孤立间隙,我们就说 h∈ ℕ S 是 S 的孤立间隙。用 m(S) 表示数字半群 S 的多重性。共变是满足以下条件的数值半群的非空族 (mathscr{C}):存在 (mathscr{C}) 的最小值, (mathscr{C}) 两个元素的交集又是(mathscr{C}) 的元素、并且对于所有的(Sinmathscr{C})来说,(Sbackslash{rm m}(S)}inmathscr{C})使得(Sneqmin(mathscr{C}))。我们证明集合 ({mathscr{P}}(F)={Scolon Stext{istext{a}text{perfect}text{numerical}text{semigroup}text{with}text{Frobenius}text{number} F} )是一个协变。此外,我们还描述了三种算法,它们可以计算:集合 ({mathscr{P}}(F))、 ({mathscr{P}}(F))的最大元素以及 ({mathscr{P}}(F))中具有给定属的元素。一个 Parf 半群(或 Psat 半群)是一个完备的数值半群,它还分别是一个 Arf 数值半群(或饱和数值半群)。我们证明,集合 Parf(F) = {S: S 是一个具有弗罗贝尼斯数 F 的 Parf 数字半群} 和 Psat(F) = {S: S 是一个具有弗罗贝尼斯数 F 的 Psat 数字半群} 是协变量。因此,我们提出了一些计算 Parf(F) 和 Psat(F) 的算法。
{"title":"The covariety of perfect numerical semigroups with fixed Frobenius number","authors":"María Ángeles Moreno-Frías, José Carlos Rosales","doi":"10.21136/cmj.2024.0379-23","DOIUrl":"https://doi.org/10.21136/cmj.2024.0379-23","url":null,"abstract":"<p>Let <i>S</i> be a numerical semigroup. We say that <i>h</i> ∈ ℕ <i>S</i> is an isolated gap of <i>S</i> if {<i>h</i> − 1, <i>h</i> + 1} ⊆ <i>S</i>. A numerical semigroup without isolated gaps is called a perfect numerical semigroup. Denote by m(<i>S</i>) the multiplicity of a numerical semigroup <i>S</i>. A covariety is a nonempty family <span>(mathscr{C})</span> of numerical semigroups that fulfills the following conditions: there exists the minimum of <span>(mathscr{C})</span>, the intersection of two elements of <span>(mathscr{C})</span> is again an element of <span>(mathscr{C})</span>, and <span>(Sbackslash{{rm m}(S)}inmathscr{C})</span> for all <span>(Sinmathscr{C})</span> such that <span>(Sneqmin(mathscr{C}))</span>. We prove that the set <span>({mathscr{P}}(F)={Scolon S text{is} text{a} text{perfect} text{numerical} text{semigroup} text{with} text{Frobenius} text{number} F})</span> is a covariety. Also, we describe three algorithms which compute: the set <span>({mathscr{P}}(F))</span>, the maximal elements of <span>({mathscr{P}}(F))</span>, and the elements of <span>({mathscr{P}}(F))</span> with a given genus. A Parf-semigroup (or Psat-semigroup) is a perfect numerical semigroup that in addition is an Arf numerical semigroup (or saturated numerical semigroup), respectively. We prove that the sets Parf(<i>F</i>) = {<i>S</i>: <i>S</i> is a Parf-numerical semigroup with Frobenius number <i>F</i>} and Psat(<i>F</i>) = {<i>S</i>: <i>S</i> is a Psat-numerical semigroup with Frobenius number <i>F</i>} are covarieties. As a consequence we present some algorithms to compute Parf(<i>F</i>) and Psat(<i>F</i>).</p>","PeriodicalId":50596,"journal":{"name":"Czechoslovak Mathematical Journal","volume":"45 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141929945","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-25DOI: 10.21136/cmj.2024.0023-24
Mehmet Çelik, Luke Duane-Tessier, Ashley Marcial Rodriguez, Daniel Rodriguez, Aden Shaw
Motivated by the relationship between the area of the image of the unit disk under a holomorphic mapping h and that of zh, we study various L2 norms for Tϕ(h), where Tϕ is the Toeplitz operator with symbol ϕ. In Theorem 2.1, given polynomials p and q we find a symbol ϕ such that Tϕ(p) = q. We extend some of our results to the polydisc.
{"title":"Area differences under analytic maps and operators","authors":"Mehmet Çelik, Luke Duane-Tessier, Ashley Marcial Rodriguez, Daniel Rodriguez, Aden Shaw","doi":"10.21136/cmj.2024.0023-24","DOIUrl":"https://doi.org/10.21136/cmj.2024.0023-24","url":null,"abstract":"<p>Motivated by the relationship between the area of the image of the unit disk under a holomorphic mapping <i>h</i> and that of <i>zh</i>, we study various <i>L</i><sup>2</sup> norms for <i>T</i><sub><i>ϕ</i></sub>(<i>h</i>), where <i>T</i><sub><i>ϕ</i></sub> is the Toeplitz operator with symbol <i>ϕ</i>. In Theorem 2.1, given polynomials <i>p</i> and <i>q</i> we find a symbol <i>ϕ</i> such that <i>T</i><sub><i>ϕ</i></sub>(<i>p</i>) = <i>q</i>. We extend some of our results to the polydisc.</p>","PeriodicalId":50596,"journal":{"name":"Czechoslovak Mathematical Journal","volume":"13 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141776992","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}