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.     

On Strongly Clean Matrix and Triangular Matrix Rings

A ring R with identity is called “clean” if every element of R is the sum of an idempotent and a unit, and R is called “strongly clean” if every element of R is the sum of an idempotent and a unit that commute. Strongly clean rings are “additive analogs” of strongly regular rings, where a ring R is strongly regular if every element of R is the product of an idempotent and a unit that commute. Strongly clean rings were introduced in Nicholson (1999 Nicholson , W. K. (1999). Strongly clean rings and Fitting's lemma. Comm. Algebra 27:3583–3592. [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) where their connection with strongly π-regular rings and hence to Fitting's Lemma were discussed. Local rings and strongly π-regular rings are all strongly clean. In this article, we identify new families of strongly clean rings through matrix rings and triangular matrix rings. For instance, it is proven that the 2 × 2 matrix ring over the ring of p-adic integers and the triangular matrix ring over a commutative semiperfect ring are all strongly clean.     

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.     

Supercharacter Theory Constructions Corresponding to Schur Ring Products

Diaconis and Isaacs have defined the supercharacter theories of a finite group to be certain approximations to the ordinary character theory of the group [7 Diaconis , P. , Isaacs , I. M. ( 2008 ). Supercharacters and superclasses for algebra groups . Trans. Amer. Math. Soc. 360 : 2359 – 2392 .[Crossref], [Web of Science ®] , [Google Scholar]]. We make explicit the connection between supercharacter theories and Schur rings, and we provide supercharacter theory constructions which correspond to Schur ring products of Leung and Man [12 Leung , K. H. , Man , S. H. ( 1996 ). On Schur rings over cyclic groups, II . J. Algebra 183 : 273 – 285 .[Crossref], [Web of Science ®] , [Google Scholar]], Hirasaka and Muzychuk [10 Hirasaka , M. , Muzychuk , M. ( 2001 ). An elementary abelian group of rank 4 is a CI-group . J. Combin. Theory Ser. A 94 : 339 – 362 .[Crossref], [Web of Science ®] , [Google Scholar]], and Tamaschke [20 Tamaschke , O. ( 1970 ). On Schur-rings which define a proper character theory on finite groups . Math. Z. 117 : 340 – 360 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Erratum to “On α-DICC modules” Commun. Algebra. 22(6):1933–1944 (1994)

We give a correct statement for [2 Karamzadeh, O. A. S., Motamedi, M. (1994). On α-DICC modules. Commun. Algebra 22(6):1933–1944.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Proposition 1.2]. However, this new form of the proposition needs no different proof from that of [2 Karamzadeh, O. A. S., Motamedi, M. (1994). On α-DICC modules. Commun. Algebra 22(6):1933–1944.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Proposition 1.2].     

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

Quasi-ordered rings - A uniform approach to orderings and valuations

A quasi-order on a set S is a binary, reflexive and transitive relation on S. In [3 Fakhruddin, S. M. (1987). Quasi-ordered fields. J. Pure Appl. Algebra 45:207–210.[Crossref], [Web of Science ®] , [Google Scholar]], Fakhruddin introduced the notion of (totally) quasi-ordered fields and showed that each such field is either an ordered field or else a valued field. Hence, quasi-ordered fields are very well suited to treat ordered and valued fields simultaneously. The aim of the present paper is to prove that an analogous dichotomy holds for commutative rings with 1 as well.     

On Serial Noetherian Rings

It is well known that every serial Noetherian ring satisfies the restricted minimum condition. In particular, following Warfield (1975 Warfield , R. B. ( 1975 ). Serial rings and finitely presented modules . J. Algebra 37 : 187 – 222 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), such a ring is a direct sum of an Artinian ring and hereditary prime rings. The aim of this note is to show that every serial ring having the restricted minimum condition is Noetherian.     

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.     

Automorphism Groups of Schur Rings

In 1993, Muzychuk [23 Muzychuk , Mikhail E. ( 1993 ). The structure of rational Schur rings over cyclic groups . European Journal of Combinatorics 14 : 479 – 490 .[Crossref], [Web of Science ®] , [Google Scholar]] showed that the rational Schur rings over a cyclic group Z _n are in one-to-one correspondence with sublattices of the divisor lattice of n, or equivalently, with sublattices of the lattice of subgroups of Z _n . This can easily be extended to show that for any finite group G, sublattices of the lattice of characteristic subgroups of G give rise to rational Schur rings over G in a natural way. Our main result is that any finite group may be represented as the (algebraic) automorphism group of such a rational Schur ring over an abelian p-group, for any odd prime p. In contrast, over a cyclic group the automorphism group of any Schur ring is abelian. We also prove a converse to the well-known result of Muzychuk [24 Muzychuk , Mikhail E. ( 1994 ). On the structure of basic sets of Schur rings over cyclic groups . Journal of Algebra 169 : 655 – 678 .[Crossref], [Web of Science ®] , [Google Scholar]] that two Schur rings over a cyclic group are isomorphic if and only if they coincide; namely, we show that over a group which is not cyclic, there always exist distinct isomorphic Schur rings.     

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.     

Classifying annihilating-ideal graphs of commutative artinian rings

In this article we investigate the annihilating-ideal graph of a commutative ring, introduced by Behboodi and Rakeei in [10 Behboodi, M., Rakeei, Z. (2011). The annihilating-ideal graph of commutative rings I. J. Algebra Appl. 10(4):727–739.[Crossref], [Web of Science ®] , [Google Scholar]]. Our main goal is to determine which algebraic properties of a ring are reflected in its annihilating-ideal graph. We prove that, for artinian rings, the annihilating-ideal graph can be used to determine whether the ring in question is a PIR or, more generally, if it is a dual ring. Moreover, with one trivial exception, the annihilating-ideal graph can distinguish between PIRs with different ideal lattices. In addition, we explore new techniques for classifying small annihilating-ideal graphs. Consequently, we completely determine the graphs with six or fewer vertices which can be realized as the annihilating-ideal graph of a commutative ring.     

Finite Groups with Given Quantitative Non-Nilpotent Subgroups II

As an extension of Shi and Zhang's 2011 article [4 Shi , J. , Zhang , C. ( 2011 ). Finite groups with given quantitative non-nilpotent subgroups . Comm. Algebra 39 : 3346 – 3355 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]], we prove that any finite group having at most 23 non-normal non-nilpotent proper subgroups is solvable except for G ? A ₅ or SL(2, 5), and any finite group having at most three conjugacy classes of non-normal non-nilpotent proper subgroups is solvable except for G ? A ₅ or SL(2, 5).     

Divisibility Theory of Arithmetical Rings with One Minimal Prime Ideal

Continuing the study of divisibility theory of arithmetical rings started in [1 Ánh, P. N., Márki, L., Vámos, P. (2012). Divisibility theory in commutative rings: Bezout monoidss. Trans. Amer. Math. Soc. 364:3967–3992.[Crossref], [Web of Science ®] , [Google Scholar]] and [2 Ánh, P. N., Siddoway, M. (2010). Divisibility theory of semi-hereditary rings. Proc. Amer. Math. Soc. 138:4231–4242.[Crossref], [Web of Science ®] , [Google Scholar]], we show that the divisibility theory of arithmetical rings with one minimal prime ideal is axiomatizable as Bezout monoids with one minimal m-prime filter. In particular, every Bezout monoid with one minimal m-prime filter is order-isomorphic to the partially ordered monoid with respect to inverse inclusion, of principal ideals in a Bezout ring with a smallest prime ideal. Although this result can be considered as a satisfactory answer to the divisibility theory of both semihereditary domains and valuation rings, the general representation theory of Bezout monoids is still open.     

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 Few Properties of Just Infinite Algebras

In this article we prove a few interesting properties of just infinite algebras. Bartholdi (2006 Bartholdi , L. ( 2006 ). Branch rings, thinned rings, tree enveloping rings . Israel J. Math. 154 : 93 – 139 .[Crossref], [Web of Science ®] , [Google Scholar]), defines a particular class of just infinite algebras and demonstrates various properties of these examples. One such property, which is tedious to prove for his specific examples, is primality. We prove here that, in fact, all just infinite algebras are prime. We then consider two corollaries of this theorem; one suggests a weaker definition of just infinite for finitely generated algebras and the other examines the specific case of just infinite algebras which also satisfy a polynomial identity.     

Fractional powers of sectorial operators via the Dirichlet-to-Neumann operator

In the very influential paper [4 Caffarelli, L.A., Silvestre, L. (2007). An extension problem related to the fractional Laplacian. Commun. Partial Differential Equations 32:1245–1260.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] Caffarelli and Silvestre studied regularity of (?Δ)^s, 0<s<1, by identifying fractional powers with a certain Dirichlet-to-Neumann operator. Stinga and Torrea [15 Stinga, P.R., Torrea, J. (2010). Extension problem and Harnack’s inequality for some fractional operators. Commun. Partial Differential Equations 35:2092–2122.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] and Galé et al. [7 Galé, J., Miana, P., Stinga, P.R. (2013). Extension problem and fractional operators: semigroups and wave equations. J. Evol. Eqn. 13:343–368.[Crossref], [Web of Science ®] , [Google Scholar]] gave several more abstract versions of this extension procedure. The purpose of this paper is to study precise regularity properties of the Dirichlet and the Neumann problem in Hilbert spaces. Then the Dirichlet-to-Neumann operator becomes an isomorphism between interpolation spaces and its part in the underlying Hilbert space is exactly the fractional power.     

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

A note on rings with McCoy-like properties

According to Nielsen [10 Nielsen, P. P. (2006). Semi-commutativity and the McCoy condition. J. Algebra 298:134–141.[Crossref], [Web of Science ®] , [Google Scholar]], a ring R is called right McCoy if for every nonzero f(x),g(x) in the polynomial ring R[x], f(x)g(x) = 0 implies that there exists a nonzero s in R such that f(x)s = 0. In this work, we state two notes on rings with McCoy-like conditions.