Sum of the Products of the Orders of Two Distinct Elements in Finite Groups

Let G be a finite group. Then we denote ψ(G) the sum of element orders in G. In [1 Amiri , H. , Jafarian Amiri , S. M. , Isaacs , I. M. ( 2009 ). Sums of element orders in finite groups . Comm. Algebra 37 ( 9 ): 2978 – 2980 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] it is proved that if G is a non-cyclic group of order n, then ψ(G) < ψ(C _n ), where C _n is the cyclic group of order n. Here we generalize and improve this result, and also we give an application of this improvement.     

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

Direct Limits of Diagonal Chains of Type O,U, and Sp,and Their Homotopy Groups

ABSTRACT

Baranov and Zhilinskii (1999 Baranov , A. A. , Zhilinskii , A. G. ( 1999 ). Diagonal direct limits of simple Lie algebras . Comm. Algebra 27 ( 6 ): 2749 – 2766 [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) have shown a classification theorem for diagonal direct limits of simple Lie algebras. In this work, we will transfer their results to diagonal direct limits of certain matrix groups, and show that homotopy groups are significant invariants for specific classes of direct limit groups.

Communicated by B. Allison     

Solvable Permutation Groups and Orbits on Power Sets

We consider the class ? of finitely generated toral relatively hyperbolic groups. We show that groups from ? are commutative transitive and generalize a theorem proved by Benjamin Baumslag in [3 Baumslag, B. (1967). Residually free groups. Prceedings of the London Mathematical Society 17(3):402–418.[Crossref] , [Google Scholar]] to this class. We also discuss two definitions of (fully) residually-𝒞 groups, i.e., the classical Definition 1.1 and a modified Definition 1.4. Building upon results obtained by Ol'shanskii [18 Ol'shanskii, A. Yu. (1993). On residualing homomorphisms and G-subgroups of hyperbolic groups. International Journal of Algebra Computation 3:365–409.[Crossref] , [Google Scholar]] and Osin [22 Osin, D. V. (2010). Small cancellations over relatively hyperbolic groups and embedding theorems. Annals of mathematics 172:1–39.[Crossref], [Web of Science ®] , [Google Scholar]], we prove the equivalence of the two definitions for 𝒞 = ?. This is a generalization of the similar result obtained by Ol'shanskii for 𝒞 being the class of torsion-free hyperbolic groups. Let Γ ∈ ? be non-abelian and non-elementary. Kharlampovich and Miasnikov proved in [14 Kharlampovich, O., Myasnikov, A. (2012). Limits of relatively hyperbolic groups and Lyndon's completions. Journal of the European Math. Soc. 14:659–680.[Crossref], [Web of Science ®] , [Google Scholar]] that a finitely generated fully residually-Γ group G embeds into an iterated extension of centralizers of Γ. We deduce from their theorem that every finitely generated fully residually-Γ group embeds into a group from ?. On the other hand, we give an example of a finitely generated torsion-free fully residually-? group that does not embed into a group from ?; ? is the class of hyperbolic groups.     

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

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

Regularity in Endomorphism Rings

The unique largest regular ideal Reg(A, A) in the endomorphism ring End(A) is computed for abelian groups A using the general tools developed in [7 Kasch , F. , Mader , A. ( 2005 ). Regularity and substructures of hom . Communications in Algebra 34 : 1459 – 1478 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. This generalizes earlier results on groups with regular endomorphism ring. Interesting questions remain for a very special class of mixed abelian groups.     

A Note on Dimension Modules

In [2 Camillo , V. P. , Zelmanowitz , J. M. ( 1980 ). Dimension modules . Pacific J. Math. 91 : 249 – 261 .[Crossref], [Web of Science ®] , [Google Scholar]] Camillo and Zelmanowitz stated that rings all whose modules are dimension modules are semisimple Artinian. It seem however that the proof in [2 Camillo , V. P. , Zelmanowitz , J. M. ( 1980 ). Dimension modules . Pacific J. Math. 91 : 249 – 261 .[Crossref], [Web of Science ®] , [Google Scholar]] contains a gap and applies to rings with finite Goldie dimension only. In this paper we show that the result indeed holds for all rings with a basis as well as for all commutative rings with Goldie dimension attained.     

Continuous Cohomology of Permutation Groups on Profinite Modules

ABSTRACT

Model theorists have made use of low-dimensional continuous cohomology of infinite permutation groups on profinite modules, see Ahlbrandt and Ziegler (1991 Ahlbrandt , G. , Ziegler , M. ( 1991 ). What's so special about (?/4?)^ω? Archive for Math. Logic 31 : 115 – 132 . [CSA] [Crossref] , [Google Scholar]), Evans (1997b Evans , D. M. ( 1997b ). Computation of first cohomology groups of finite covers . J. Algebra 193 : 214 – 238 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), Evans et al. (1997 Evans , D. M. , Ivanov , A. A. , Macpherson , H. D. ( 1997 ). Finite covers . In: Evans , D. M. , ed. Model Theory of Groups and Automorphism Groups . London Mathematical Society Lecture Notes 244 . Cambridge : Cambridge Univ Press , pp. 1 – 72 .[Crossref] , [Google Scholar]), and Hodges and Pillay (1994 Hodges , W. , Pillay , A. ( 1994 ). Cohomology of structures and some problems of Ahlbrandt and Ziegler . J. London Math. Soc. 50 ( 2 ): 1 – 16 . [CSA] [Crossref] , [Google Scholar]), for example. We expand the module category in order to widen the cohomological toolkit. For an important class of groups we use these tools to establish criteria for finiteness of cohomology.     

Virtually Biautomatic Groups

We introduce virtually biautomatic groups (groups with finite index biautomatic subgroups) and generalize results of Gersten and Short [3 Gersten , S. , Short , H. ( 1991 ). Rational subgroups of biautomatic groups . Annals of Mathematics 134 : 125 – 128 .[Crossref], [Web of Science ®] , [Google Scholar]] and Mosher [5 Mosher , L. ( 1997 ). Central quotients of biautomatic groups . Comment. Math. Helv. 72 ( 1 ): 16 – 29 .[Crossref], [Web of Science ®] , [Google Scholar]] on centralizers, normalizers, and quotients to virtually biautomatic groups.     

The Generalized C.M.Z.-Theorem and a Drinfel'd Double Construction for WT-Coalgebras and Graded Quantum Groupoids

Let π be a group. In this article, we introduce the notions of a weak Doi–Hopf π-module and a weak π-twisted smash product. We show that the Yetter–Drinfel'd π-modules over a weak crossed Hopf π-coalgebra (WT-coalgebra) are special cases as these new weak Doi–Hopf π-modules, generalizing the main result by Caenepeel et al. (1997 Caenepeel , S. , Militaru , G. , Zhu , S. ( 1997 ). Crossed modules and Doi–Hopf modules . Israel J. Math. 100 : 221 – 248 .[Crossref] , [Google Scholar]) and that the Drinfel'd double for WT-coalgebras (Van Daele and Wang, 2008 Van Daele , A. , Wang , S. H. ( 2008 ). New braided crossed categories and Drinfel'd quantum double for weak Hopf group-coalgebras . Comm. Algebra 36 : 2341 – 2386 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) appears as, a type of such a weak π -twisted smash product, respectively. Finally, starting from a weak Hopf algebra endowed with an action of a group π by weak Hopf automorphisms, we construct a quasitriangular weak Hopf π -coalgebra by a twisted double method, generalizing the main result in Virelizier (2005 Virelizier , A. ( 2005 ). Graded quantum groups and quasitriangular Hopf group-coalgebras . Comm. Algebra 33 ( 9 ): 3029 – 3050 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]). This method allows us to obtain nontrivial examples of quasitriangular weak Hopf π-coalgebras.     

Graded Left Symmetric Pseudo-algebras

In the present article, we introduce G-graded left symmetric H-pseudoalgebras, where G is a grading group, and H is a cocommutative Hopf algebra. Some results about associative H-pseudoalgebras in [23 Retakh , A. ( 2004 ). Unital associative pseudoalgebras and their representations . J. Algebra 227 : 769 – 805 .[Crossref] , [Google Scholar]] are generalized. The commutator algebras of the G-graded left symmetric H-pseudo-algebras are Lie H-pseudoalgebras, which are classified when the grading group is trivial in [3 Bakalov , B. , D'Andrea , A. , Kac , V. G. ( 2001 ). Theory of finite pseudoalgebras . Adv. in Math. 162 : 1 – 140 .[Crossref], [Web of Science ®] , [Google Scholar]]. We investigate the left symmetric structure of Lie H-pseudoalgebras W(𝔟), S(𝔟), and He defined in [3 Bakalov , B. , D'Andrea , A. , Kac , V. G. ( 2001 ). Theory of finite pseudoalgebras . Adv. in Math. 162 : 1 – 140 .[Crossref], [Web of Science ®] , [Google Scholar]].     

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

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.     

Semilocal Convergence of Steffensen-Type Algorithms for Solving Nonlinear Equations

In this article, we provide a semilocal analysis for the Steffensen-type method (STTM) for solving nonlinear equations in a Banach space setting using recurrence relations. Numerical examples to validate our main results are also provided in this study to show that STTM is faster than other methods ([7 I. K. Argyros , J. Ezquerro , J. M. Gutiérrez , M. Hernández , and S. Hilout ( 2011 ). On the semilocal convergence of efficient Chebyshev-Secant-type methods . J. Comput. Appl. Math. 235 : 3195 – 3206 .[Crossref], [Web of Science ®] , [Google Scholar], 13 J. A. Ezquerro and M. A. Hernández ( 2009 ). An optimization of Chebyshev's method . J. Complexity 25 : 343 – 361 .[Crossref], [Web of Science ®] , [Google Scholar]]) using similar convergence conditions.     

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.     

Double Ore Extensions Versus Iterated Ore Extensions

Motivated by the construction of new examples of Artin–Schelter regular algebras of global dimension four, Zhang and Zhang [6 Zhang , J. J. , Zhang , J. ( 2008 ). Double Ore extensions . J. Pure Appl. Algebra 212 ( 12 ): 2668 – 2690 .[Crossref], [Web of Science ®] , [Google Scholar]] introduced an algebra extension A _P [y ₁, y ₂; σ, δ, τ] of A, which they called a double Ore extension. This construction seems to be similar to that of a two-step iterated Ore extension over A. The aim of this article is to describe those double Ore extensions which can be presented as iterated Ore extensions of the form A[y ₁; σ₁, δ₁][y ₂; σ₂, δ₂]. We also give partial answers to some questions posed in Zhang and Zhang [6 Zhang , J. J. , Zhang , J. ( 2008 ). Double Ore extensions . J. Pure Appl. Algebra 212 ( 12 ): 2668 – 2690 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Leibniz Algebras with Invariant Bilinear Forms and Related Lie Algebras

In ([11 Benayadi, S., Hidri, S. (2014). Quadratic Leibniz algebras. Journal of Lie Theory 24:737–759.[Web of Science ®] , [Google Scholar]]), we have studied quadratic Leibniz algebras that are Leibniz algebras endowed with symmetric, nondegenerate, and associative (or invariant) bilinear forms. The nonanticommutativity of the Leibniz product gives rise to other types of invariance for a bilinear form defined on a Leibniz algebra: the left invariance, the right invariance. In this article, we study the structure of Leibniz algebras endowed with nondegenerate, symmetric, and left (resp. right) invariant bilinear forms. In particular, the existence of such a bilinear form on a Leibniz algebra 𝔏 gives rise to a new algebra structure ☆ on the underlying vector space 𝔏. In this article, we study this new algebra, and we give information on the structure of this type of algebras by using some extensions introduced in [11 Benayadi, S., Hidri, S. (2014). Quadratic Leibniz algebras. Journal of Lie Theory 24:737–759.[Web of Science ®] , [Google Scholar]]. In particular, we improve the results obtained in [22 Lin, J., Chen, Z. (2010). Leibniz algebras with pseudo-Riemannian bilinear forms. Front. Math. China 5(1):103–115.[Crossref], [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.     

A Note on Irwin's Conjecture (E.F.I. p-Groups = Thick p-Groups)

We show that in the article of Cutler and Missel (1984 Cutler , D. , Missel , C. ( 1984 ). The structure of C-decomposable p ^ω+n -projective abelian p-groups . Comm. Alg. 12 : 301 – 319 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) there is, in fact, an example of an essentially finitely indecomposable (e.f.i.) abelian p-group which is not thick, and which can be chosen even to be separable, thus answering once again in the negative Irwin's conjecture that the e.f.i. p-groups are precisely the thick ones and that was already resolved in Dugas and Irwin (1992 Dugas , M. , Irwin , J. ( 1992 ). On thickness and decomposability of abelian p-groups . Isr. J. Math. 79 : 153 – 159 . [Google Scholar]).