A Note on Maximal Properties of Some Subsemigroups of Finite Order-Preserving Transformation Semigroups

Both maximal idempotent-generated subsemigroups and maximal idempotent-generated regular subsemigroups of O _n were studied by Yang [10 Yang , X. , Lu , C. ( 2000 ). Maximal properties of some subsemigroups in finite order-preserving transformation semigroups . Communications in Algebra 28 : 3125 – 3135 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. The purpose of this article is to simplify the results of Yang [10 Yang , X. , Lu , C. ( 2000 ). Maximal properties of some subsemigroups in finite order-preserving transformation semigroups . Communications in Algebra 28 : 3125 – 3135 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]].     

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.     

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

The Minimal Faithful Permutation Degree for a Direct Product Obeying an Inequality Condition

The minimal faithful permutation degree μ(G) of a finite group G is the least nonnegative integer n such that G embeds in the symmetric group Sym(n). Clearly μ(G × H) ≤ μ(G) + μ(H) for all finite groups G and H. In 1975, Wright ([10 Wright, D. (1975). Degrees of minimal embeddings of some direct products. Amer. J. Math. 97:897–903.[Crossref], [Web of Science ®] , [Google Scholar]]) proved that equality occurs when G and H are nilpotent and exhibited an example of strict inequality where G × H embeds in Sym(15). In 2010 Saunders ([7 Saunders, N. (2010). The minimal degree for a class of finite complex reflection groups. J. Algebra 323:561–573.[Crossref], [Web of Science ®] , [Google Scholar]]) produced an infinite family of examples of permutation groups G and H where μ(G × H) < μ(G) + μ(H), including the example of Wright's as a special case. The smallest groups in Saunders’ class embed in Sym(10). In this article, we prove that 10 is minimal in the sense that μ(G × H) = μ(G) + μ(H) for all groups G and H such that μ(G × H) ≤9.     

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.     

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

Note on Conic Bundles over Henselian Discrete Valued Fields with Real Closed Residue Field

ABSTRACT

Let ? be a complete set of Sylow subgroups of a finite group G, that is, ? contains exactly one and only one Sylow p-subgroup of G for each prime p. A subgroup H of a finite group G is said to be ?-permutable if H permutes with every member of ?. The purpose of this article is to study the influence of ?-permutability of all maximal subgroups of the Sylow subgroups of the generalized Fitting subgroup of some normal subgroup of a finite group G on the structure of G. Our results improve and extend the main results of Asaad (1998 Asaad , M. ( 1998 ). On maximal subgroups of Sylow subgroups of finite groups . Comm. Algebra 26 ( 11 ): 3647 – 3652 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]), Asaad and Heliel (2003 Asaad , M. , Heliel , A. A. ( 2003 ). On permutable subgroups of finite groups . Arch. Math. 80 : 113 – 118 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Asaad et al. (1991 Asaad , M. , Ramadan , M. , Shaalan , A. ( 1991 ). Influence of π-quasinormality on maximal subgroups of Sylow subgroups of Fitting subgroup of a finite group . Arch. Math. 56 : 521 – 527 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Li et al. (2003 Li , Y. , Wang , Y. , Wei , H. ( 2003 ). The influence of π-quasinormality of maximal subgroups of Sylow subgroups of a finite group . Arch. Math. 81 ( 3 ): 245 – 252 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), Ramadan (1992 Ramadan , M. ( 1992 ). Influence of normality on maximal subgroups of Sylow subgroups of a finite group . Acta Math. Hungar. 59 ( 1–2 ): 107 – 110 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), and Srinivasan (1980 Srinivasan , S. ( 1980 ). Two sufficient conditions for supersolvability of finite groups . Israel J. Math. 35 : 210 – 214 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]).     

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

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.     

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.     

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

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.     

Bounds for the Number of Conjugacy Classes of Non-Normal Subgroups in a Finite p-Group

Let ν(G) be the number of conjugacy classes of non-normal subgroups of a finite group G. We obtain two new lower bounds for ν(G) when G is a non-abelian finite p-group and p is odd. More precisely, if |G| =p ⁿ , exp Z(G) = p ^e , and exp G/G′ =p ^f , let us define λ(G) = n ? e and κ(G) = n ? f. Then we prove that ν(G) ≥ p(λ(G) ?3) +2 and ν(G) ≥ p(κ(G) ?3) +2. The first bound improves the bound ν(G) ≥ λ(G) ?1 given by [10 La Haye , R. , Rhemtulla , A. ( 1999 ). Groups with a bounded number of conjugacy classes of non-normal subgroups . J. Algebra 214 : 41 – 63 .[Crossref], [Web of Science ®] , [Google Scholar]], and almost in every case, the second one improves the bound ν(G) ≥ p(k ? 1) +1 obtained by [6 Fernández-Alcober , G. A. , Legarreta , L. ( 2008 ). Conjugacy classes of non-normal subgroups in finite nilpotent groups . J. Group Theory 11 ( 3 ): 381 – 397 .[Crossref] , [Google Scholar]], where k is defined by the condition that |G′| =p ^k .     

Approximations of Parabolic Equations at the Vicinity of Hyperbolic Equilibrium Point

This article is devoted to the numerical analysis of the abstract semilinear parabolic problem u′(t) = Au(t) + f(u(t)), u(0) = u ⁰, in a Banach space E. We are developing a general approach to establish a discrete dichotomy in a very general setting and prove shadowing theorems that compare solutions of the continuous problem with those of discrete approximations in space and time. In [3 W.-J. Beyn and S. Piskarev ( 2008 ). Shadowing for discrete approximations of abstract parabolic equations . Discrete Contin. Dyn. Syst., B 10 : 19 – 42 .[Crossref], [Web of Science ®] , [Google Scholar]] the discretization in space was constructed under the assumption of compactness of the resolvent. It is a well-known fact (see [10 S. Larsson ( 1999 ). Numerical analysis of semilinear parabolic problems . In: The Graduate Student's Guide to Numerical Analysis ’98 ( M. Ainsworth , ed.). Lecture Notes from the 8th EPSRC Summer School in Numerical Analysis . Leicester , UK , July 5–17. 1998. Ser. Comput. Math. 26:83–117; Springer, Berlin .[Crossref] , [Google Scholar], 11 S. Larsson and J. M. Sanz-Serna (1994). The behavior of finite element solutions of semilinear parabolic problems near stationary points. SIAM J. Numer. Anal. 31:1000–1018.[Crossref], [Web of Science ®] , [Google Scholar]]) that the phase space in the neighborhood of the hyperbolic equilibrium can be split in a such way that the original initial value problem is reduced to initial value problems with exponential bounded solutions on the corresponding subspaces. We show that such a decomposition of the flow persists under rather general approximation schemes, utilizing a uniform condensing property. The main assumption of our results are naturally satisfied, in particular, for operators with compact resolvents and condensing semigroups and can be verified for finite elements as well as finite differences methods.     

Characterizations for Supersolvable Lie Algebras

In (2009), Towers [10 Towers , D. A. ( 2009 ). C-ideals of Lie algebras . Comm. Algebra 37 : 4366 – 4373 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] presented the notion of c-ideality of a subalgebra of a Lie algebra, and gave some characterizations of solvable and supersolvable Lie algebras. In this article, we further investigate the influence of c-ideality of some subalgebras on the structure of Lie algebras. We also obtain some equivalent conditions for supersolvability of a finite dimensional Lie algebra.     

p-Length and p′-Degree Irreducible Characters Having Values in ℚ p

Let G be a p-solvable group of p-length l, where p is any prime. We show that G has at least 2 ^l irreducible characters of degree coprime to p and having values inside ? _p . This generalizes a previous result for p = 2 [6 Tent , J. ( 2011 ). 2-Length and rational characters of odd degree . Arch. Math. 96 ( 3 ): 201 – 206 .[Crossref], [Web of Science ®] , [Google Scholar]] to arbitrary primes. With the same notation, we prove that if p is odd then G has at least 2 ^l Galois orbits of conjugacy classes of p-elements having values in ? _p .     

Dixmier's Problem 6 for the Weyl Algebra (The Generic Type Problem)

ABSTRACT

In Dixmier (1968 Dixmier , J. ( 1968 ). Sur les algèbres de Weyl . Bull. Soc. Math. France 96 : 209 – 242 . [CSA] [Crossref] , [Google Scholar]), the author posed six problems for the Weyl algebra A ₁ over a field K of characteristic zero. Problems 3, 6, and 5 were solved respectively by Joseph (1975 Joseph , A. ( 1975 ). The Weyl algebra—semisimple and nilpotent elements . Amer. J. Math. 97 ( 3 ): 597 – 615 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]) and Bavula (2005a Bavula , V. V. ( 2005a ). Dixmier's Problem 5 for the Weyl algebra . J. Algebra 283 ( 2 ): 604 – 621 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]). Problems 1, 2, and 4 are still open. In this article a short proof is given to Dixmier's problem 6 for the ring of differential operators 𝒟 (X) on a smooth irreducible algebraic curve X. It is proven that, for a given maximal commutative subalgebra C of 𝒟 (X), (almost) all noncentral elements of it have the same type, more precisely, have exactly one of the following types: (i) strongly nilpotent; (ii) weakly nilpotent; (iii) generic; (iv) generic, except for a subset K*a + K of strongly semi-simple elements; (iv) generic, except for a subset K*a + K of weakly semi-simple elements, where K* := K\{0}. The same results are true for other popular algebras.