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

A Note on the Dimension Theory of ℤ n -Graded Rings

In this note we want to generalize some of the results in [1 Brewer , J. , Montgomery , P. , Rutter E. , Heinzer , W. ( 1973 ). Krull dimension of polynomial rings in “Conference on Commutative Algebra, Lawrence 1972.” . Springer Lecture Notes in Mathematics 311 : 26 – 45 .[Crossref] , [Google Scholar]] from polynomial rings in several indeterminates to arbitrary ? ⁿ -graded commutative rings. We will prove an analogue of Jaffard's Special Chain Theorem and a similar result for the height of a prime ideal 𝔭 over its graded core 𝔭*.     

Optimal Control of Nonlinear Transport-Flow Mixed Variational Problems

Optimal control of nonlinear transport-flow mixed variational problems are studied qualitatively, and the solvability analysis of the transport and flow mixed state systems is performed on the basis of primal and dual evolution duality principles. Corresponding primal and dual mixed optimality conditions are established by the application of some fundamental perturbation conjugate duality results recently proposed [8 G. Alduncin (2013). Optimal control of evolution mixed variational inclusions. Applied Mathematics and Optimization 68:445–473.[Crossref], [Web of Science ®] , [Google Scholar]]. Further, for computational purposes, two- and three-field proximation penalty-duality algorithms in the resolution of the mixed optimality conditions are finally presented and discussed.     

On Cohomological Periodicity After 2-Steps

The notion of cohomological periodicity after 1-step has been studied by Talelli in [7 Talelli , O. ( 1980 ) On cohomological periodicity for infinite groups . Comment. Math. Helvetici 55 : 178 – 192 .[Crossref], [Web of Science ®] , [Google Scholar], 8 Talelli , O. ( 1983 ). On groups with periodic cohomology after 1-step . Journal of Pure and Applied Algebra 30 : 85 – 93 .[Crossref], [Web of Science ®] , [Google Scholar]], and [9 Talelli , O. ( 1996 ). On cohomological periodicity isomorphisms . Bull. London Math. Soc. 28 : 600 – 602 .[Crossref], [Web of Science ®] , [Google Scholar]]. If a group G has periodic cohomology after 1-step, then G is the fundamental group of a graph of finite groups, which have periodic cohomology of the same period. Also, the fundamental group of a tree of finite groups, which have periodic cohomology of the same period, has periodic cohomology after 1-step. In this paper, we show that if a group G has only cyclic finite subgroups and is the fundamental group of a certain tree of groups, which have -steps.     

Galois Extensions for Coquasi-Hopf Algebras

In this article, we consider categories of all semimodules over semirings which are p-Schreier varieties, i.e., varieties whose projective algebras are all free. Among other results, we show that over a division semiring R all semimodules are projective iff R is a division ring, prove that categories of all semimodules over proper additively π-regular semirings are not p-Schreier varieties (in particular, this result solves Problem 1 of Katsov [8 Katsov , Y. ( 2004 ). Toward homological characterization of semirings: Serre's conjecture and Bass's perfectness in a semiring context . Algebra Universalis 52 : 197 – 214 .[Crossref], [Web of Science ®] , [Google Scholar]]), as well as prove that categories of all semimodules over cancellative division semirings are, in contrast, p-Schreier varieties.     

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.     

Irreducible W-Graphs for Type D 4 and D 5

ABSTRACT

The “W-graph” concept was introduced by Kazhdan and Lusztig in their influential article Kazhdan and Lusztig (1979 Kazhdan , D. , Lusztig , G. ( 1979 ). Representations of Coxeter groups and Hecke algebras . Invent. Math. 53 : 165 – 184 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]). If W is a Coxeter group, then a W-graph provides a method for constructing a matrix representation of the Hecke algebra ? associated with W (the degree of the representation being the number of vertices of the W-graph). The aim of this note is to explicitly construct all the irreducible representations of ? when W is of type D ₄ and D ₅.     

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.     

Prüfer v-Multiplication Domains and w-Multiplicative Canonical Ideals

Let R be an integral domain. A w-ideal I of R is called a w-multiplicative canonical ideal if (I: (I: J)) = J for each w-ideal J of R. In particular, if R is a w-multiplicative canonical ideal of R, then R is a w-divisorial domain. These are the w-analogues of the concepts of a multiplicative canonical ideal and a divisorial domain, respectively. Motivated by the articles [8 El Baghdadi S., Gabelli , S. ( 2005 ). w-Divisorial domains . J. Algebra 285 : 335 – 355 .[Crossref], [Web of Science ®] , [Google Scholar], 10 Heinzer , W. , Huckaba , J. A. , Papick , I. J. ( 1998 ). m-Canonical ideals in integral domains . Comm. Algebra 26 ( 9 ): 3021 – 3043 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]], we study the domains possessing w-multiplicative canonical ideals; in particular, we consider Prüfer v-multiplication domains.     

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.     

Nonuniform FDM for Poisson-Type Equations on a Disk with Singular Solutions

We are concerned with the Dirichlet boundary value problem of Poisson-type equations on a disk. Matsunaga and Yamamoto [8 N. Matsunaga and T. Yamamoto ( 1999 ). Convergence of Swartztrauber–Sweet's approximation for the Poisson-type equation on a disk . Numer. Funct. Anal. Optimz. 20 : 917 – 928 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] proved that if the exact solution u is very smooth over the closure of the disk, then the approximate solution by the Swartztrauber–Sweet scheme with uniform partition is second order accurate. In this article, it is assumed that the exact solution performs singular properties such that its derivatives go to infinity at the boundary of the disk. We use a stretching polynomial-like function with a parameter to construct a local grid refinement and consider the Swartztrauber–Sweet scheme over the non-uniform partition. The effects of the parameter are analyzed completely by carrying out convergence analysis and numerical results show that there exists an optimal value for the parameter to have a best approximated solution.     

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

Algebra Structures Arising from Yang–Baxter Systems

Yang–Baxter operators from algebra structures appeared for the first time in [11 D?sc?lescu , S. , Nichita , F. ( 1999 ). Yang–Baxter operators arising from (co)algebra structures . Comm. Algebra 27 : 5833 – 5845 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 22 Nichita , F. ( 1999 ). Self-inverse Yang–Baxter operators from (co)algebra structures . J. Algebra 218 : 738 – 759 .[Crossref], [Web of Science ®] , [Google Scholar], 23 Nuss , P. ( 1997 ). Noncommutative descent and non-abelian cohomology . K-Theory 12 ( 1 ): 23 – 74 .[Crossref] , [Google Scholar]]. Later, Yang–Baxter systems from entwining structures were constructed in [8 Brzeziński , T. , Nichita , F. F. ( 2005 ). Yang–Baxter systems and Entwining Structures . Comm. Algebra 33 : 1083 – 1093 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. In fact, Yang–Baxter systems are equivalent with braid systems. In this paper we show that braidings and entwinings of various algebraic structures—in particular, algebra factorisations—can be constructed from a braid system, whence from a Yang–Baxter system as well.     

Table algebras with exactly one irreducible character whose degree and multiplicity are not equal

Commutative standard table algebras with exactly one multiplicity not equal to 1 are characterized by the wreath product of some special table algebras in [1 Antonou, A. (2015). Commutative standard table algebras with at most one nontrivial multiplicity. Commun. Algebra 43:2516–2523.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]. A natural and much more general question is the characterization of standard table algebras (not necessarily commutative) with exactly one irreducible character whose degree and multiplicity are not equal and the degree is 1. We will give a characterization of such table algebras, including the main result of [1 Antonou, A. (2015). Commutative standard table algebras with at most one nontrivial multiplicity. Commun. Algebra 43:2516–2523.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]] as a special case. Applications to association schemes are also discussed.     

Centralizers of Subgroups in Direct Limits of Symmetric Groups with Strictly Diagonal Embedding

Let ξ = (p ₁, p ₂,…) be a given infinite sequence of not necessarily distinct primes. In 1976, the structure of locally finite groups S(ξ) (respectively A(ξ) ) which are obtained as a direct limit of finite symmetric (finite alternating) groups are investigated in [7 Kegel , O. H. , Wehrfritz , B. A. F. ( 1973 ). Locally Finite Groups . Amsterdam : North-Holland Publishing Company . [Google Scholar]]. The countable locally finite groups A(ξ) gives an important class in the theory of infinite simple locally finite groups. The classification of these groups using the lattice of Steinitz numbers is completed by Kroshko and Sushchansky in 1998 see [8 Kroshko , N. V. , Sushchansky , V. I. ( 1998 ). Direct Limits of symmetric and alternating groups with strictly diagonal embeddings . Arch. Math. 71 : 173 – 182 .[Crossref], [Web of Science ®] , [Google Scholar]]. Here we extend the results on the structure of centralizers of elements to centralizers of arbitrary finite subgroups and correct some of the errors in the section of centralizers of elements in [8 Kroshko , N. V. , Sushchansky , V. I. ( 1998 ). Direct Limits of symmetric and alternating groups with strictly diagonal embeddings . Arch. Math. 71 : 173 – 182 .[Crossref], [Web of Science ®] , [Google Scholar]]. We construct for each infinite cardinal κ, a new class of uncountably many simple locally finite groups of cardinality κ as a direct limit of finitary symmetric groups. We investigate the centralizers of elements and finite subgroups in this new class of simple locally finite groups, and finally, we characterize this class by the lattice isomorphism with the cardinality of the group and the Steinitz numbers.     

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.     

The McCoy Condition on Ore Extensions

Nielsen [29 Nielsen , P. P. ( 2006 ). Semi-commutativity and the McCoy condition . J. Algebra 298 : 134 – 141 .[Crossref], [Web of Science ®] , [Google Scholar]] proved that all reversible rings are McCoy and gave an example of a semicommutative ring that is not right McCoy. When R is a reversible ring with an (α, δ)-condition, namely (α, δ)-compatibility, we observe that R satisfies a McCoy-type property, in the context of Ore extension R[x; α, δ], and provide rich classes of reversible (semicommutative) (α, δ)-compatible rings. It is also shown that semicommutative α-compatible rings are linearly α-skew McCoy and that linearly α-skew McCoy rings are Dedekind finite. Moreover, several extensions of skew McCoy rings and the zip property of these rings are studied.     

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

Commutative rings with genus two annihilator graphs

Let R be a commutative ring and Z(R)* be its set of all nonzero zero-divisors. The annihilator graph of a commutative ring R is the simple undirected graph AG(R) with vertices Z(R)*, and two distinct vertices x and y are adjacent if and only if ann(xy)≠ann(x)∪ann(y). The notion of annihilator graph has been introduced and studied by Badawi [8 Badawi, A. (2014). On the annihilator graph of a commutative ring. Commun. Algebra 42(1):108–121.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. In this paper, we classify the finite commutative rings whose AG(R) are projective. Also we determine all isomorphism classes of finite commutative rings with identity whose AG(R) has genus two.     

On the almost Gorenstein property of determinantal rings

In this paper, we investigate the question of when the determinantal ring R over a field k is an almost Gorenstein local/graded ring in the sense of [14 Goto, S., Takahashi, R., Taniguchi, N. (2015). Almost Gorenstein rings - towards a theory of higher dimension. J. Pure Appl. Algebra 219:2666–2712.[Crossref], [Web of Science ®] , [Google Scholar]]. As a consequence of the main result, we see that if R is a non-Gorenstein almost Gorenstein local/graded ring, then the ring R has a minimal multiplicity.