Trudinger-Moser Inequalities with the Exact Growth Condition in ℝ N and Applications

In a recent paper [19 Ibrahim , S. , Masmoudi , N. , Nakanishi , K. ( 2015 ). Trudinger-Moser inequality on the whole plane with the exact growth condition . JEMS 17 : 819 – 835 .[Crossref] , [Google Scholar]], the authors obtained a sharp version of the Trudinger-Moser inequality in the whole space ?², giving necessary and sufficient conditions for the boundedness and the compactness of general nonlinear functionals in W ^{1, 2}(?²). We complete this study showing that an analogue of the result in [19 Ibrahim , S. , Masmoudi , N. , Nakanishi , K. ( 2015 ). Trudinger-Moser inequality on the whole plane with the exact growth condition . JEMS 17 : 819 – 835 .[Crossref] , [Google Scholar]] holds in arbitrary dimensions N ≥2. We also provide an application to the study of the existence of ground state solutions for quasilinear elliptic equations in ? ^N .     

Unimodular Regularity,Stable Range,and Exchange Rings

Let R be an exchange ring. In this article, we show that the following conditions are equivalent: (1) R has stable range not more than n; (2) whenever x ∈ R ⁿ is regular, there exists some unimodular regular w ∈  ⁿ R such that x = xwx; (3) whenever x ∈ R ⁿ is regular, there exist some idempotent e ∈ R and some unimodular regular w ∈ R ⁿ such that x = ew; (4) whenever x ∈ R ⁿ is regular, there exist some idempotent e ∈ M _n (R) and some unimodular regular w ∈ R ⁿ such that x = we; (5) whenever a( ⁿ R) + bR = dR with a ∈ R ⁿ and b,d ∈ R, there exist some z ∈ R ⁿ and some unimodular regular w ∈ R ⁿ such that a + bz = dw; (6) whenever x = xyx with x ∈ R ⁿ and y ∈  ⁿ R, there exist some u ∈ R ⁿ and v ∈  ⁿ R such that vxyu = yx and uv = 1. These, by replacing unimodularity with unimodular regularity, generalize the corresponding results of Canfell (1995 Canfell , M. J. ( 1995 ). Completions of diagrams by automorphisms and Bas' first stable range condition . J. Algebra 176 : 480 – 513 .[Crossref], [Web of Science ®] , [Google Scholar], Theorem 2.9), Chen (Chen 2000 Chen , H. ( 2000 ). On stable range conditions . Comm. Algebra 28 : 3913 – 3924 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Theorem 4.2 and Proposition 4.6, Chen 2001 Chen , H. ( 2001 ). Regular rings with finite stable range . Comm. Algebra 29 : 157 – 166 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Theorem 10), and Wu and Xu (1997 Wu , T. , Xu , Y. ( 1997 ). On the stable range condition of exchagne rings . Comm. Algebra 25 : 2355 – 2363 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Theorem 9), etc.     

Strongly J-Clean Matrices Over Local Rings

An element of a ring is called strongly J-clean provided that it can be written as the sum of an idempotent and an element in its Jacobson radical that commute. We investigate, in this article, a single strongly J-clean 2 × 2 matrix over a noncommutative local ring. The criteria on strong J-cleanness of 2 × 2 matrices in terms of a quadratic equation are given. These extend the corresponding results in [8 Li , B. ( 2009 ). Strongly clean matrix rings over noncommutative local rings . Bull. Korean Math. Soc. 46 : 71 – 78 .[Crossref], [Web of Science ®] , [Google Scholar], Theorems 2.7 and 3.2], [9 Li , Y. ( 2007 ). Strongly clean matrix rings over local rings . J. Algebra 312 : 397 – 404 .[Crossref], [Web of Science ®] , [Google Scholar], Theorem 2.6], and [11 Yang , X. , Zhou , Y. ( 2008 ). Strongly cleanness of the 2 × 2 matrix ring over a general local ring . J. Algebra 320 : 2280 – 2290 .[Crossref], [Web of Science ®] , [Google Scholar], Theorem 7].     

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.     

A Simple Proof of Tyurin's Babylonian Tower Theorem

Using the method of Coand? and Trautmann [4 Coand? , I. , Trautmann , G. ( 2006 ). The splitting criterion of Kempf and the Babylonian tower theorem . Comm. Algebra 34 : 2485 – 2488 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]], we give a simple proof of a theorem due, in the smooth case, to Tyurin [9 Tyurin , A. N. ( 1976 ). Finite dimensional vector bundles over infinite varieties . Math. USSR Izv. 10 : 1187 – 1204 .[Crossref], [Web of Science ®] , [Google Scholar]]: if a vector bundle E on a c-codimensional locally Cohen–Macaulay closed subscheme X of ? ⁿ extends to a vector bundle F on a similar closed subscheme Y of ? ^N , for every N > n, then E is the restriction to X of a direct sum of line bundles on ? ⁿ . Using the same method, we also provide a proof of the Babylonian tower theorem for locally complete intersection subschemes of projective spaces.     

Hurwitz Generation of PSp 6(q)

We show that the symplectic groups PSp₆(q) are Hurwitz for all q = p ^m  ≥ 5, with p an odd prime. The result cannot be improved since, for q even and q = 3, it is known that PSp₆(q) is not Hurwitz. In particular, n = 6 turns out to be the smallest degree for which a family of classical simple groups of degree n, over 𝔽 _{p ^m} , contains Hurwitz groups for infinitely many values of m. This fact, for a given (possibly large) p, also follows from [9 Larsen , M. , Lubotzky , A. , Marion , C. ( 2014 ). Deformation theory and finite simple quotients of triangle groups I . J. Eur. Math. Soc. (JEMS) 16 ( 7 ): 1349 – 1375 .[Crossref], [Web of Science ®] , [Google Scholar]] and [10 Larsen , M. , Lubotzky , A. , Marion , C. ( 2014 ). Deformation theory and finite simple quotients of triangle groups II . Groups Geom. Dyn. 8 ( 3 ): 811 – 836 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Control and Stabilization Properties for a Singular Heat Equation with an Inverse-Square Potential

The goal of this article is to analyze control properties of parabolic equations with a singular potential ? μ/|x|², where μ is a real number. When μ ≤ (N ? 2)²/4, it was proved in [19 Vancostenoble , J. , Zuazua , E. ( 2008 ). Null controllability for the heat equation with singular inverse-square potentials . J. Funct. Anal. 254 : 1864 – 1902 .[Crossref], [Web of Science ®] , [Google Scholar]] that the equation can be controlled to zero with a distributed control which surrounds the singularity. In the present work, using Carleman estimates, we will prove that this assumption is not necessary, and that we can control the equation from any open subset as for the heat equation. Then we will study the case μ > (N ? 2)²/4, and prove that the situation changes completely: indeed, we will consider a sequence of regularized potentials μ/(|x|² + ?²), and prove that we cannot stabilize the corresponding systems uniformly with respect to ? > 0, due to the presence of explosive modes which concentrate around the singularity.     

A Note on Strongly Clean Matrix Rings

Let R be an associative ring with identity. An element a ∈ R is called strongly clean if a = e + u with e ² = e ∈ R, u a unit of R, and eu = ue. A ring R is called strongly clean if every element of R is strongly clean. Strongly clean rings were introduced by Nicholson [7 Nicholson , W. K. ( 1999 ). Strongly clean rings and Fitting's lemma . Comm. Algebra 27 : 3583 – 3592 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. It is unknown yet when a matrix ring over a strongly clean ring is strongly clean. Several articles discussed this topic when R is local or strongly π-regular. In this note, necessary conditions for the matrix ring 𝕄 _n (R) (n > 1) over an arbitrary ring R to be strongly clean are given, and the strongly clean property of 𝕄₂(RC ₂) over the group ring RC ₂ with R local is obtained.     

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]]).     

Representations of Generalized Almost-Jordan Algebras

This paper deals with the variety of commutative algebras satisfying the identity β{(yx ²)x ? ((yx)x)x} + γ{yx ³ ? ((yx)x)x} = 0, where β, γ are scalars. These algebras appeared as one of the four families of degree four identities in Carini, Hentzel, and Piacentini-Cattaneo [6 Carini , L. , Hentzel , I. R. , Piacentini-Cattaneo , J. M. ( 1988 ). Degree four identities not implies by commutativity . Comm. in Algebra 16 ( 2 ): 339 – 357 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. We give a characterization of representations and irreducible modules on these algebras. Our results require that the characteristic of the ground field is different from 2, 3.     

Abelian-by-Cyclic Moufang Loops

We use groups with triality to construct a series of nonassociative Moufang loops. Certain members of this series contain an abelian normal subloop with the corresponding quotient being a cyclic group. In particular, we give a new series of examples of finite abelian-by-cyclic Moufang loops. The previously known [10 Rajah , A. ( 2001 ). Moufang loops of odd order pq ³ . J. Algebra 235 ( 1 ): 66 – 93 .[Crossref], [Web of Science ®] , [Google Scholar]] loops of this type of odd order 3q ³, with prime q ≡ 1 (mod 3), are particular cases of our series. Some of the examples are shown to be embeddable into a Cayley algebra.     

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.     

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.     

An Involutorial Version of a Theorem of Gräter

Let D be a division ring with centre Z and with involution (*). Let V be a valuation of D with value group Γ, a linearly ordered additive group (non necessarily commutative) together with a symbol ∞ (positive infinity). We assume that for each nonzero symmetric element s = s* of D, which is algebraic over Z, we have for all nonzero elements x of D, V(xa ? ax) > V(ax). We define the residue characteristic exponent p of V to be the characteristic χ of the associated residue division ring written as D _V , if χ ≠ 0, and p = 1, if χ = 0. We show here that if F is a finite dimensional commutative subalgebra of D over Z, which is *-closed (i.e., F* = F), and if (*) is of the first kind (i.e., each central element of D must be symmetric), then [F: Z] = 2 ^r p ^m where m is a nonnegative integer and r = 0 or 1 according as the restricted involution in F is trivial or not. The case of an involution (*) of the second kind (i.e., some central element of D is not symmetric) requires (for this author) a stronger type of valuation, namely, V is a *-valuation, that is to say, for all elements x of D, we have V(x*) = V(x), a condition which readily implies Γ must be Abelian. Here, we can show that for F as in the preceding, [F: Z] = p ^m , where m is again a nonnegative integer. The preceding results generalize a theorem of Gräter and improve in parts recent theorems of this author in [2 Chacron , M. ( 2014 ). Residually *-abelian valuation with residue characteristic not 2 . Communication in Algebra 42 : 2956 – 2968 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. In the special case p = 2 the results provide a modicum of answers to the questions opened informally in [2 Chacron , M. ( 2014 ). Residually *-abelian valuation with residue characteristic not 2 . Communication in Algebra 42 : 2956 – 2968 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] (see concluding paragraph in [2 Chacron , M. ( 2014 ). Residually *-abelian valuation with residue characteristic not 2 . Communication in Algebra 42 : 2956 – 2968 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] or here Question 3.2.1). More is to be said in the third and final section of this work.     

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]).     

Classification of Pointed Fusion Categories of dimension 8 up to weak Morita equivalence

In this paper we give a complete classification of pointed fusion categories over ? of global dimension 8. We first classify the equivalence classes of pointed fusion categories of dimension 8, and then we proceed to determine which of these equivalence classes have equivalent categories of modules following the procedure presented in [9 Naidu, D. (2007). Categorical Morita equivalence for group-theoretical categories. Commun. Algebra 35(11):3544–3565.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 11 Uribe, B. (2017). On the classification of pointed fusion categories up to weak Morita equivalence. Pac. J. Math. 290(2):437–466.[Crossref], [Web of Science ®] , [Google Scholar]]. The results of this paper permit to recover the classification of twisted quantum doubles of groups of order 8 up to gauge equivalence of braided quasi-Hopf algebras that was previously done in [6 Mason, C., Ng, S.-H (2001). Group cohomology and gauge equivalence of some twisted quantum doubles. Trans. Am. Math. Soc. 353(9):3465–3509.[Crossref], [Web of Science ®] , [Google Scholar]] and [5 Goff, C., Mason, G., Ng, S.-H (2007). On the gauge equivalence of twisted quantum doubles of elementary abelian and extra-special 2-groups. J. Algebra 312(2):849–875.[Crossref], [Web of Science ®] , [Google Scholar]].     

Rank Properties of the Semigroup of Singular Transformations on a Finite Set

It is known that the semigroup Sing _n of all singular self-maps of X _n  = {1,2,…, n} has rank n(n ? 1)/2. The idempotent rank, defined as the smallest number of idempotents generating Sing _n , has the same value as the rank. (See Gomes and Howie, 1987 Gomes , G. M. S. , Howie , J. M. ( 1987 ). On the rank of certain finite semigroups of transformations . Math. Proc. Cambridge Phil. Soc. 101 : 395 – 303 .[Crossref], [Web of Science ®] , [Google Scholar].) Idempotents generating Sing _n can be seen as special cases (with m = r = 2) of (m, r)-path-cycles, as defined in Ay\i k et al. (2005 Ay?k , G. , Ay?k , H. , Howie , J. M. ( 2005 ). On factorisations and generators in transformation semigroups . Semigroup Forum 70 : 225 – 237 .[Crossref], [Web of Science ®] , [Google Scholar]). The object of this article is to show that, for fixed m and r, the (m, r)-rank of Sing _n , defined as the smallest number of (m, r)-path-cycles generating Sing _n , is once again n(n ? 1)/2.     

Global Unique Solvability of Inhomogeneous Navier-Stokes Equations with Bounded Density

In this paper, we prove the global existence and uniqueness of solution to d-dimensional (for d = 2, 3) incompressible inhomogeneous Navier-Stokes equations with initial density being bounded from above and below by some positive constants, and with initial velocity u₀ ∈ H^s( R ²) for s > 0 in 2-D, or u₀ ∈ H¹( R ³) satisfying ‖u₀‖_L² ‖?u₀‖_L² being sufficiently small in 3-D. This in particular improves the most recent well-posedness result in [10 Danchin , R. , Mucha , P.B. ( 2013 ). Incompressible flows with piecewise constant density . Arch. Rat. Mech. Anal. 207 : 991 – 1023 .[Crossref], [Web of Science ®] , [Google Scholar]], which requires the initial velocity u₀ ∈ H²( R ^d) for the local well-posedness result, and a smallness condition on the fluctuation of the initial density for the global well-posedness result.     

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].     

Some Remarks on the Hyperelliptic Moduli of Genus 3

In 1967, Shioda [20 Shioda , T. ( 1967 ). On the graded ring of invariants of binary octavics . Amer. J. Math. 89 : 1022 – 1046 .[Crossref], [Web of Science ®] , [Google Scholar]] determined the ring of invariants of binary octavics and their syzygies using the symbolic method. We discover that the syzygies determined in [20 Shioda , T. ( 1967 ). On the graded ring of invariants of binary octavics . Amer. J. Math. 89 : 1022 – 1046 .[Crossref], [Web of Science ®] , [Google Scholar]] are incorrect. In this paper, we compute the correct equations among the invariants of the binary octavics and give necessary and sufficient conditions for two genus 3 hyperelliptic curves to be isomorphic over an algebraically closed field k, char k ≠ 2, 3, 5, 7. For the first time, an explicit equation of the hyperelliptic moduli for genus 3 is computed in terms of absolute invariants.