On subgroups of residually nilpotent metabelian groups

ABSTRACT

We study conditions on an ideal A of a self-injective R such that the factor ring R/ A is again self-injective, extending certain of our results for PF rings (Faith, 2006 Faith , C. ( 2006 ). Factor rings of pseudo-Frobenius rings . J. Algebra and Its Applications 6 :(to appear). [CSA] [Web of Science ®] , [Google Scholar]). We also consider the same question for p -injective, and for CS -rings. For the CS -rings we consider conditions under which A splits off as a ring direct factor, equivalently, when A is generated by a central idempotent. Definitive results are obtained for an ideal A which is semiprime as a ring, that is, has no nilpotent ideals except zero, and which is a right annihilator ideal. Then A is said to be an r -semiprime right annulet ideal, and is generated by a central idempotent in the following cases: (1) whenever A is generated by an idempotent as a right (or left) ideal (Theorems 3.4, 3.6); (2) in any Baer ring R (Theorem 3.5); (3) in any right and left CS -ring R (Theorem 4.2), and (4) in any right nonsingular right CS -ring R (Theorem 5.5).

These results also generalize results of the author in Faith (1985 Faith , C. ( 1985 ). The maximal regular ideal of self-injective and continuous rings splits off . Arch. Math. 44 : 511 – 521 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), where it is proven that the maximal regular ideal M( R) splits off in any right and left continuous ring.

The results are applied in Section 6 to extend theorems of Faith (1996 Faith , C. ( 1996 ). New characterizations of von Neumann regular rings and a conjecture of Shamsuddin . Publ. Mat. 40 : 383 – 385 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]) characterizing VNR rings, and, as the title of Faith (1996 Faith , C. ( 1996 ). New characterizations of von Neumann regular rings and a conjecture of Shamsuddin . Publ. Mat. 40 : 383 – 385 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]) suggests, extend the conjecture of Shamsuddin.     

Regularity of Analytic Algebra of Prime Characteristic

Let A be an analytic algebra over a field k of characteristic p > 0. In this article, for an analytic k-algebra we introduce the concept of analytic pⁿ-basis which generalizes the pⁿ-basis defined in [1 Furuya , M. , Niitsuma , H. ( 2002 ). Regularity criterion of Noetherian local rings of prime characteristic . J. Algebra 247 : 219 – 230 .[Crossref], [Web of Science ®] , [Google Scholar]], and the concept of an pⁿ-admissible field for an algebraic function field, we give regularity criteria and absolute regularity criteria for an analytic algebra A/k in terms of the higher differential algebra and analytic pⁿ-basis. The results are partial extension of our previous results for affine algebras to the case of analytic algebras (cf. [1 Furuya , M. , Niitsuma , H. ( 2002 ). Regularity criterion of Noetherian local rings of prime characteristic . J. Algebra 247 : 219 – 230 .[Crossref], [Web of Science ®] , [Google Scholar], 3 Furuya , M. , Niitsuma , H. (2006). Regular local rings essentially of finite type over fields of prime characteristic. J. Algebra 306:703–711.[Crossref], [Web of Science ®] , [Google Scholar]]), and these are partial generalization of results of Orbanz in the analytic case (cf. [9 Orbanz , U. ( 1973 ). Höhere Derivationen und Regularität . J. Reine Angew. Mathematik 262/263 : 194 – 204 .[Crossref] , [Google Scholar]]).     

Central Extensions and Derivations of the Lie Algebras of Skew Derivations for the Quantum Torus

ABSTRACT

In this article, we study the central extensions and derivations of the Lie algebra of skew derivations for the quantum torus. The results of the article generalize those obtained in Jiang and Meng (1998a Jiang , C. , Meng , D. ( 1998a ). The derivation algebra of the associative algebra C _q [X, Y, X ^?1, Y ^?1] . Comm. Algebra 26 : 1723 – 1736 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar] b Jiang , C. , Meng , D. ( 1998b ). The automorphism group of the derivation algebra of the Virasoro-like algebra . Adv. Math. (China) 27 : 175 – 183 . [CSA]  [Google Scholar]) and Kirkman et al. (1994 Kirkman , E. , Procesi , C. , Small , L. ( 1994 ). A q-analog for the Virasoro algebra . Comm. Algebra 22 : 3755 – 3774 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]).     

Equivalences for Weak Crossed Products

In this article, we give a criterion that characterizes equivalent weak crossed products. By duality, we obtain a similar result for weak crossed coproducts and, as a consequence, we find the conditions that assures the equivalence between two weak crossed biproducts. As an application, we show that the main results proved by Panaite in [12 Panaite, F. (2014). Equivalent crossed products and cross product bialgebras. Commun. Algebr. 42:1937–1952.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] (see also [11 Panaite, F. (2012). Invariance under twisting for crossed products. Proc. Am. Math. Soc. 140:755–763.[Crossref], [Web of Science ®] , [Google Scholar]]), for Brzeziński's crossed products, admits a substantial reduction in the imposed conditions.     

Remarks on the Global Solutions of 3-D Navier-Stokes System with One Slow Variable

By applying Wiegner's method in [16 Wiegner , M. ( 1987 ). Decay results for weak solutions to the Navier-Stokes equations on ? ⁿ . J. London Math. Soc. 35 : 303 – 313 .[Crossref], [Web of Science ®] , [Google Scholar]], we first prove the large time decay estimate for the global solutions of a 2.5 dimensional Navier-Stokes system, which is a sort of singular perturbed 2-D Navier-Stokes system in three space dimension. As an application of this decay estimate, we give a simplified proof for the global wellposedness result in [6 Chemin , J.-Y. , Gallagher , I. ( 2010 ). Large, global solutions to the Navier-Stokes equations, slowly varying in one direction . Transactions of the American Mathematical Society 362 : 2859 – 2873 .[Crossref], [Web of Science ®] , [Google Scholar]] for 3-D Navier-Stokes system with one slow variable. Let us also mention that compared with the assumptions for the initial data in [6 Chemin , J.-Y. , Gallagher , I. ( 2010 ). Large, global solutions to the Navier-Stokes equations, slowly varying in one direction . Transactions of the American Mathematical Society 362 : 2859 – 2873 .[Crossref], [Web of Science ®] , [Google Scholar]], here the assumptions in Theorem 1.3 are weaker.     

Derivations of a Restricted Weyl-Type Algebra Containing the Polynomial Ring

Buchsbaum and Eisenbud [3 Buchsbaum , D. , Eisenbud , D. ( 1977 ). Algebra structures for finite free resolutions and some structure theorems for ideals of codimension 3 . Amer. J. Math. 99 : 447 – 485 .[Crossref], [Web of Science ®] , [Google Scholar]] proved a structure theorem for Gorenstein ideals of grade 3 which claims that every Gorenstein ideal of grade 3 is generated by the submaximal order pfaffians of an alternating matrix. In this article, we characterize some classes of grade 3 perfect ideals which are linked to an almost complete intersection of even type. Furthermore, these structure theorems give us relations between the Gorenstein sequences and the Hilbert functions of the grade 3 perfect ideals that we characterized.     

Derived Representation Type of Schur Superalgebras

In this note we extend the results of Bekkert and Futorny in [2 Bekkert , V. , Futorny , V. ( 2003 ). Derived categories of Schur algebras . Comm. Alg. 31 : 1799 – 1822 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] and Hemmer, Kujawa and Nakano in [10 Hemmer , D. J. , Kujawa , J. , Nakano , D. K. ( 2006 ). Representation types of Schur superalgebras . J. Group Theory 9 : 283 – 306 .[Crossref], [Web of Science ®] , [Google Scholar]] and determine the derived representation type of Schur superalgebras.     

Uniqueness Criteria for the Adjoint Equation in State-Constrained Elliptic Optimal Control

The article considers linear elliptic equations with regular Borel measures as inhomogeneity. Such equations frequently appear in state-constrained optimal control problems. By a counter example of Serrin [18 J. Serrin ( 1964 ). Pathological solutions of elliptic differential equations . Ann. Scuola Norm. Sup. Pisa Cl. Sci. 18 : 385 – 388 . [Google Scholar]], it is known that, in the presence of non-smooth data, a standard weak formulation does not ensure uniqueness for such equations. Therefore several notions of solution have been developed that guarantee uniqueness. In this note, we compare different definitions of solutions, namely the ones of Stampacchia [19 G. Stampacchia ( 1965 ). Le probléme de Dirichlet pour les équations elliptiques du second ordre à coéffcients discontinus . Ann. Inst. Fourier 15 : 189 – 258 .[Crossref] , [Google Scholar]] and Boccardo-Galouët [4 L. Boccardo and T. Gallouët ( 1989 ). Nonlinear elliptic and parabolic equations involving measure data . J. Func. Anal. 87 : 149 – 169 .[Crossref], [Web of Science ®] , [Google Scholar]] and the two notions of solutions of [2 J.-J. Alibert and J.-P. Raymond ( 1997 ). Boundary control of semilinear elliptic equations with discontinuous leading coefficients and unbounded controls . Numer. Func. Anal. Optim. 18 : 235 – 250 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 7 E. Casas (1993). Boundary control of semilinear elliptic equations with pointwise state constraints. SIAM J. Control Optim. 31:993–1006.[Crossref], [Web of Science ®] , [Google Scholar]], and show that they are equivalent. As side results, we reformulate the solution in the sense of [19 G. Stampacchia ( 1965 ). Le probléme de Dirichlet pour les équations elliptiques du second ordre à coéffcients discontinus . Ann. Inst. Fourier 15 : 189 – 258 .[Crossref] , [Google Scholar]], and prove the existence of solutions in the sense of [2 J.-J. Alibert and J.-P. Raymond ( 1997 ). Boundary control of semilinear elliptic equations with discontinuous leading coefficients and unbounded controls . Numer. Func. Anal. Optim. 18 : 235 – 250 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 4 L. Boccardo and T. Gallouët ( 1989 ). Nonlinear elliptic and parabolic equations involving measure data . J. Func. Anal. 87 : 149 – 169 .[Crossref], [Web of Science ®] , [Google Scholar], 7 E. Casas (1993). Boundary control of semilinear elliptic equations with pointwise state constraints. SIAM J. Control Optim. 31:993–1006.[Crossref], [Web of Science ®] , [Google Scholar]] in case of mixed boundary conditions.     

ℤ3-Twisted Representations of Lattice Vertex Operator Algebras

Abstract

Let L be a positive definite even lattice and let g ∈ Aut L be a fixed point free automorphism of order 3. We determine the twisted Zhu's algebra A _? (V _L ) for the lattice vertex operator algebra V _L , where ? is an automorphism of V _L induced from g. As a result, we show that the set of all irreducible ?-twisted modules for V _L (up to isomorphism) are exactly those constructed by Dong and Lepowsky (1996 Dong, C. and Lepowsky, J. 1996. The algebraic structure of relative twisted vertex operators. J. Pure and Applied Algebra, 110: 259–295. [Crossref], [Web of Science ®] , [Google Scholar]) and Lepowsky (1985 Lepowsky, J. 1985. Calculus of twisted vertex operators. Proc. Natl. Acad. Sci. USA, 82: 8295–8299. [Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

A new family of set-theoretic solutions of the Yang–Baxter equation

A new family of non-degenerate involutive set-theoretic solutions of the Yang–Baxter equation is constructed. Two subfamilies, consisting of irretractable square-free solutions, are new counterexamples to Gateva-Ivanova’s Strong Conjecture [7 Gateva-Ivanova, T. (2004). A combinatorial approach to the set-theoretic solutions of the Yang-Baxter equation. J. Math. Phys. 45(10):3828–3858.[Crossref], [Web of Science ®] , [Google Scholar]]. They are in addition to those obtained by Vendramin [15 Vendramin, L. (2016). Extensions of set-theoretic solutions of the Yang-Baxter equation and a conjecture of Gateva-Ivanova. J. Pure Appl. Algebra 220:2064–2076.[Crossref], [Web of Science ®] , [Google Scholar]] and [1 Bachiller, D., Cedó, F., Jespers, E., Okniński, J. (2017). A family of irretractable square-free solutions of the Yang-Baxter equation. Forum Math. (to appear). [Google Scholar]].     

Certain Cyclically Presented Groups with the Same Polynomial

We consider three infinite families of cyclic presentations of groups, depending on a finite set of integers and having the same polynomial. Then we prove that the corresponding groups with the same parameters are isomorphic, and that the groups are almost all infinite. Finally, we completely compute the maximal Abelian quotients of such groups, and show that their HNN extensions are high-dimensional knot groups. Our results contain as particular cases the main theorems obtained in two nice articles: Johnson et al. (1999 Johnson , D. L. , Kim , A. C. , O'Brien , E. A. ( 1999 ). Certain cyclically presented groups are isomorphic . Comm. Algebra 27 ( 7 ): 3531 – 3536 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) and Havas et al. (2001 Havas , G. , Holt , D. F. , Newman , M. F. ( 2001 ). Certain cyclically presented groups are infinite . Comm. Algebra 29 ( 11 ): 5175 – 5178 . [CSA] [CROSSREF] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]).     

The Complement Graph for Gaussian Integers Modulo n

This article is a continuation for the work done in [1 Abu Osba , E. , Al-Addasi , S. , Abu Jaradeh , N. ( 2008 ). Zero divisor graph for the ring of Gaussian integers modulo . n. Comm. Algebra 36 ( 10 ): 3865 – 3877 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 2 Abu Osba , E. , Al-Addasi , S. , Al-Khamaiseh , B. ( 2011 ). Some properties of the zero divisor graph for the ring of gaussian integers modulo . n. Glasgow Journal of Mathematics 53 : 391 – 399 .[Crossref], [Web of Science ®] , [Google Scholar]] on the zero divisor graph for the ring of Gaussian integers modulo n. It investigates when the complement graph of the zero divisor graph for the Gaussian integers modulo n connected, planar, regular, or Eulerian. The girth and diameter were also studied.     

On the Associated Primes of Matlis Duals of Local Cohomology Modules II

In continuation of [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] we study associated primes of Matlis duals of local cohomology modules (MDLCM). We combine ideas from Helmut Zöschinger on coassociated primes of arbitrary modules with results from [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar] 4-6 Hellus , M. , Stückrad , J. ( 2008 ). On endomorphism rings of local cohomology modules . Proceedings of the American Mathematical Society 136 : 2333 – 2341 . Hellus , M. , Stückrad , J. ( 2008 ). Matlis duals of top local cohomology modules . Proceedings of the American Mathematical Society 136 : 489 – 498 . Hellus , M. , Stückrad , J. ( 2009 ). Artinianness of local cohomology . Journal of Commutative Algebra 1 : 269 – 274 . ], and obtain partial answers to questions which were left open in [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. These partial answers give further support for conjecture (*) from [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] on the set of associated primes of MDLCMs. In addition, and also inspired by ideas from Zöschinger, we prove some non-finiteness results of local cohomology.     

Root extraction in one-relator groups and slenderness

In this note we strengthen a result of Newman and use it to prove a conjecture of Nakamura stated in [10 Nakamura, J. (2015). Atomic properties of the Hawaiian earring group for HNN extensions. Commun. Algebra 43:4138–4147.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] that torsion-free one-relator groups are noncommutatively slender.     

Corrigendum to: “Clifford Theory of a Finite Group that Contains a Defect 0 p-Block of a Normal Subgroup”

At some point, after publication, the author realized that the proof of [3 Harris, M. E. (2013). Clifford theory of a finite group that contains a defect 0 p-block of a normal subgroup. Comm. in Alg. 41:3509–3540.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Theorem 5.2] is incorrect. This proof incorrectly adapts the proof of [1 Broué, M. (1990). Isométries parfaites, types de blocs, cégories dérivees. Aérisque 181–182:61–92. [Google Scholar], Theorem 4.8] since [3 Harris, M. E. (2013). Clifford theory of a finite group that contains a defect 0 p-block of a normal subgroup. Comm. in Alg. 41:3509–3540.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], (5.5)] is incorrect. Using the same proof outline, we correct the proof of [3 Harris, M. E. (2013). Clifford theory of a finite group that contains a defect 0 p-block of a normal subgroup. Comm. in Alg. 41:3509–3540.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Theorem 5.2].     

Automorphism Group of the Rank-decreasing Graph Over the Semigroup of Upper Triangular Matrices

Let F_q be a finite field with q elements, n ≥ 2 a positive integer, and T(n, q) the semigroup of all n × n upper triangular matrices over F_q. The rank-decreasing graph 𝕋 of T(n, q) is a directed graph which has T(n, q) as vertex set, and there is a directed edge from A ∈ T(n, q) to B ∈ T(n, q) if and only if r(AB) < r(B). The zero-divisor graph 𝒯 of T(n, q), with vertex set of all nonzero zero-divisors of T(n, q) and there is a directed edge from a vertex A to a vertex B if and only if AB = 0, can be viewed as a subgraph of 𝕋. In [16 Wang, L. (2015). A note on automorphisms of the zero-divisor graph of upper triangular matrices. Lin. Alg. Appl. 465:214–220.[Crossref], [Web of Science ®] , [Google Scholar]], L. Wang has determined the automorphisms of the zero-divisor graph 𝒯 of T(n, q). In this article, by applying the main result of [17 Wong, D., Ma, X., Zhou, J. (2014). The group of automorphisms of a zero-divisor graph based on rank one upper triangular matrices. Lin. Alg. Appl. 460:242–258.[Crossref], [Web of Science ®] , [Google Scholar]] we determine the automorphisms of the rank-decreasing graph 𝕋 of T(n, q).     

Dominance and Transmissions in Supertropical Valuation Theory

This article is a sequel of [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar]], where we defined supervaluations on a commutative semiring R and studied a dominance relation ? ≥ ψ between supervaluations ? and ψ on R, aiming at an enrichment of the algebraic tool box for use in tropical geometry.

A supervaluation ?: R → U is a multiplicative map from R to a supertropical semiring U, cf. [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar]], [7 Izhakian , Z. , Rowen , L. ( 2011 ). Supertropical matrix algebra . Israel J. Math. 182 ( 1 ): 383 – 424 .[Crossref], [Web of Science ®] , [Google Scholar]], [8 Izhakian , Z. , Rowen , L. ( 2010 ). Supertropical polynomials and resultants . J. Alg. 324 : 1860 – 1886 . (Preprint at arXiv:0902.2155.) [Crossref], [Web of Science ®] , [Google Scholar]], [5 Izhakian , Z. , Knebusch , M. , Rowen , L. Supertropical monoids: Basics and canonical factorization . Preprint at arXiv:1108.1880 . [Google Scholar]], [9 Maclane , S. ( 1998 ). Categories for the Working Mathemtician. , 4th ed. Springer Vereag . [Google Scholar]], with further properties, which mean that ? is a sort of refinement, or covering, of an m-valuation (= monoid valuation) v: R → M. In the most important case, that R is a ring, m-valuations constitute a mild generalization of valuations in the sense of Bourbaki [1 Bourbaki , N. Algèbre Commutative VI, §3 No. 1 . [Google Scholar]], while ? ≥ ψ means that ψ: R → V is a sort of coarsening of the supervaluation ?. If ?(R) generates the semiring U, then ? ≥ ψ iff there exists a “transmission” α: U → V with ψ = α ○ ?.

Transmissions are multiplicative maps with further properties, cf. [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar], Section 5]. Every semiring homomorphism α: U → V is a transmission, but there are others which lack additivity, and this causes a major difficulty. In the main body of the article we study surjective transmissions via equivalence relations on supertropical semirings. We put special emphasis on homomorphic equivalence relations. Even those are often much more complicated than congruences by ideals in usual commutative algebra.     

On Prime Spectrums of Commutative Rings

We show that π-regular rings and clean rings can be completely characterized by topological properties of their prime spectrums respectively. In addition, we give some applications of those result. Among others, we improve the main result of Samei (2004 Samei , K. ( 2004 ). Clean elements in commutative reduced rings . Comm. Algebra 32 ( 9 ): 3479 – 3486 . [CSA] [CROSSREF] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) and give a new criterion for a clean ring that a commutative ring is clean if and only if idempotents lifts modulo every radical ideal.     

Loewy Modules with Finite Loewy Invariants and Max Modules with Finite Radical Invariants

Over a commutative ring R, a module is artinian if and only if it is a Loewy module with finite Loewy invariants [5 Facchini , A. ( 1981 ). Loewy and artinian modules over commutative rings . Ann. Mat. Pura Appl. 128 : 359 – 374 .[Crossref], [Web of Science ®] , [Google Scholar]]. In this paper, we show that this is not necesarily true for modules over noncommutative rings R, though every artinian module is always a Loewy module with finite Loewy invariants. We prove that every Loewy module with finite Loewy invariants has a semilocal endomorphism ring, thus generalizing a result proved by Camps and Dicks for artinian modules [3 Camps , R. , Dicks , W. ( 1993 ). On semilocal rings . Israel J. Math. 81 : 203 – 211 .[Crossref], [Web of Science ®] , [Google Scholar]]. Finally, we obtain similar results for the dual class of max modules.     

Bounds for Arithmetic Degrees

ABSTRACT

Let I be a monomial ideal with minimal monomial generators m₁,…, m_s, and assume that deg(m₁) ≥deg(m₂) ≥ … ≥deg(m_s). Among other things, we prove that the arithmetic degree of I is bounded above by deg(m₁)…deg(m_mht(I)), where mht(I) is the maximal height of associated primes of I. This bound is shaper than the one given in [12 Sturmfels, B., Trung, N. V., Vogel, W. (1995). Bounds on degrees of projective schemes. Math. Ann. 302:417–432.[Crossref], [Web of Science ®] , [Google Scholar]] and more natural than the one given in [9 Hoa, L. T., Trung, N. V. (1998). On the Castelnuovo-Mumford regularity and the arithmetic degree of monomial ideals. Math. Z. 229:519–537.[Crossref], [Web of Science ®] , [Google Scholar]]. In addition, we point out that adeg(I) ≠ adeg(Gin(I)) in general and conjecture that adeg(I) = adeg(Gin(I)) if and only if R/I is sequentially Cohen–Macaulay.