• 대한수학회논문집
• /
• 제20권2호
• /
• pp.275-290
• /
• 2005

Let $S\;=\;R[\chi_{ij}\mid1\;{\le}\;i\;{\le}\;m,\;1\;{\le}\;j\;{\le}\;n]$ be the polynomial ring over a noetherian commutative ring R and $I_p$ be the determinantal ideal generated by the $p\;\times\;p$ minors of the generic matrix $(\chi_{ij})(1{\le}P{\le}min(m,n))$. We describe a minimal free resolution of $S/I_{p}$, in the case m = n = p + 2 over $\mathbb{Z}$.

• 대한수학회보
• /
• 제56권4호
• /
• pp.1077-1097
• /
• 2019

Let M be a finitely generated module over a regular local ring (R, n). We will fix an n-stable filtration for M and show that the minimal free resolution of M can be obtained from any filtered free resolution of M by zero and negative consecutive cancellations. This result is analogous to [10, Theorem 3.1] in the more general context of filtered free resolutions. Taking advantage of this generality, we will study resolutions obtained by the mapping cone technique and find a sufficient condition for the minimality of such resolutions. Next, we give another application in the graded setting. We show that for a monomial order ${\sigma}$, Betti numbers of I are obtained from those of $LT_{\sigma}(I)$ by so-called zero ${\sigma}$-consecutive cancellations. This provides a stronger version of the well-known cancellation "cancellation principle" between the resolution of a graded ideal and that of its leading term ideal, in terms of filtrations defined by monomial orders.

• Kyungpook Mathematical Journal
• /
• 제62권3호
• /
• pp.595-613
• /
• 2022

Let R be a commutative ring with identity and let I be a proper ideal of R. In this paper, we study the ideal based extended zero-divisor graph 𝚪'_I (R) and prove that 𝚪'_I (R) is connected with diameter at most two and if 𝚪'_I (R) contains a cycle, then girth is at most four girth at most four. Furthermore, we study affinity the connection between the ideal based extended zero-divisor graph 𝚪'_I (R) and the ideal-based zero-divisor graph 𝚪_I (R) associated with the ideal I of R. Among the other things, for a radical ideal of a ring R, we show that the ideal-based extended zero-divisor graph 𝚪'_I (R) is identical to the ideal-based zero-divisor graph 𝚪_I (R) if and only if R has exactly two minimal prime-ideals which contain I.

• 대한수학회지
• /
• 제50권3호
• /
• pp.543-555
• /
• 2013

We consider powers of lexsegment ideals with a linear resolution (equivalently, with linear quotients) which are not completely lexsegment ideals. We give a complete description of their minimal graded free resolution.

• 대한수학회보
• /
• 제40권3호
• /
• pp.425-435
• /
• 2003

In this paper, a new kind of matrices, i.e., $level-{\kappa}$ II-circulant matrices is considered. Algorithms for computing minimal polynomial of this kind of matrices are presented by means of the algorithm for the Grobner basis of the ideal in the polynomial ring. Two algorithms for finding the inverses of such matrices are also presented based on the Buchberger's algorithm.

• 대한수학회지
• /
• 제46권4호
• /
• pp.775-784
• /
• 2009

In 1932, Lehmer [4] gave the definition of a ternary semigroup. We can see that any semigroup can be reduced to a ternary semigroup. In this paper, we give some auxiliary results which are also necessary for our considerations and characterize the relationship between the (0-)minimal and maximal ordered lateral ideals and the lateral simple and lateral 0-simple ordered ternary semigroups analogous to the characterizations of minimal and maximal left ideals in ordered semigroups considered by Cao and Xu [2].

• Journal of applied mathematics & informatics
• /
• 제4권1호
• /
• pp.249-261
• /
• 1997

We find a necessary and sufficient condition for a $\kappa$-confi-guration $\mathbb{X}$ in $\mathbb{P}^2$ to be in generic position. We obtain the number and degrees of minimal generators of some Gorenstein ideals of codimension 3 and so obtain their minimal free resolution s of these ideals.

• 대한수학회보
• /
• 제40권2호
• /
• pp.223-234
• /
• 2003

This note contains the following results for a ring A : (1) A is simple Artinian if and only if A is a prime right YJ-injective, right and left V-ring with a maximal right annihilator ; (2) if A is a left quasi-duo ring with Jacobson radical J such that $_{A}$A/J is p-injective, then the ring A/J is strongly regular ; (3) A is von Neumann regular with non-zero socle if and only if A is a left p.p.ring containing a finitely generated p-injective maximal left ideal satisfying the following condition : if e is an idempotent in A, then eA is a minimal right ideal if and only if Ae is a minimal left ideal ; (4) If A is left non-singular, left YJ-injective such that each maximal left ideal of A is either injective or a two-sided ideal of A, then A is either left self-injective regular or strongly regular : (5) A is left continuous regular if and only if A is right p-injective such that for every cyclic left A-module M, $_{A}$M/Z(M) is projective. ((5) remains valid if 《continuous》 is replaced by 《self-injective》 and 《cyclic》 is replaced by 《finitely generated》. Finally, we have the following two equivalent properties for A to be von Neumann regula. : (a) A is left non-singular such that every finitely generated left ideal is the left annihilator of an element of A and every principal right ideal of A is the right annihilator of an element of A ; (b) Change 《left non-singular》 into 《right non-singular》in (a).(a).

• 대한수학회지
• /
• 제52권4호
• /
• pp.685-697
• /
• 2015

For a field K, a square-free monomial ideal I of K[$x_1$, . . ., $x_n$] is called an f-ideal, if both its facet complex and Stanley-Reisner complex have the same f-vector. Furthermore, for an f-ideal I, if all monomials in the minimal generating set G(I) have the same degree d, then I is called an $(n, d)^{th}$ f-ideal. In this paper, we prove the existence of $(n, d)^{th}$ f-ideal for $d{\geq}2$ and $n{\geq}d+2$, and we also give some algorithms to construct $(n, d)^{th}$ f-ideals.

• 대한수학회보
• /
• 제36권4호
• /
• pp.737-746
• /
• 1999

For a locally compact Abelian group G, and a commutative Banach algebra B, let $L^1$(G, B) be the Banach algebra of all Bochner integrable functions. We show that if G is noncompact and B is a semiprime Banach algebras in which every minimal prime ideal is cnotained in a regular maximal ideal, then $L^1$(G, B) contains no nontrivial separating idal. As a consequence we deduce some automatic continuity results for $L^1$(G, B).