The Average Sylow Multiplicity Character and the Solvable Residual

Let G be a finite group, and let p₁,…, p_m be the distinct prime divisors of |G|. Given a sequence 𝒫 =P₁,…, P_m, of Sylow p_i-subgroups of G, and g ∈ G, denote by m_𝒫(g) the number of factorizations g = g₁…g_m such that g_i ∈ P_i. The properly normalized average of m_𝒫 over all 𝒫 is a complex character over G whose kernel contains the solvable radical of G [7 Levy , D. ( 2010 ). The average Sylow multiplicity character and solvability of finite groups . Communications in Algebra. 38 : 632 – 644 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. The present paper characterizes the solvable residual of G in terms of this character.     

Classes of Subgroups of Simply Presented Primary Abelian Groups

A class 𝒳 of abelian p-groups is closed under ω₁-bijective homomorphisms if whenever f: G → H is a homomorphism with countable kernel and cokernel, then G ∈ 𝒳 iff H ∈ 𝒳. For an ordinal α, we consider the smallest class with this property containing (a) the p ^α-bounded simply presented groups; (b) the p ^α-projective groups; (c) the subgroups of p ^α-bounded simply presented groups. This builds upon classical results of Nunke from [14 Nunke , R. ( 1963 ). Purity and subfunctors of the identity . In: Topics in Abelian Groups , Chicago : Scott, Foresman and Co. , pp. 121 – 171 . [Google Scholar]] and [15 Nunke , R. ( 1967 ). Homology and direct sums of countable abelian groups . Math. Z. 101 : 182 – 212 .[Crossref], [Web of Science ®] , [Google Scholar]]. Particular attention is paid to the separable groups in these classes.     

Quasi-Deformations of 𝔰𝔩2(𝔽) Using Twisted Derivations

In this article we apply a method devised in Hartwig, Larsson, and Silvestrov (2006 Hartwig , J. T. , Larsson , D. , Silvestrov , S. D. ( 2006 ). Deformations of Lie algebras using σ-derivations . J. Algebra 295 : 314 – 361 .[Crossref], [Web of Science ®] , [Google Scholar]) and Larsson and Silvestrov (2005a Larsson , D. , Silvestrov , S. D. (2005a). Quasi-hom-Lie algebras, Central extensions and 2-cocycle-like identities. J. Algebra 288:321–344.[Crossref], [Web of Science ®] , [Google Scholar]) to the simple 3-dimensional Lie algebra 𝔰𝔩₂(𝔽). One of the main points of this deformation method is that the deformed algebra comes endowed with a canonical twisted Jacobi identity. We show in the present article that when our deformation scheme is applied to 𝔰𝔩₂(𝔽) we can, by choosing parameters suitably, deform 𝔰𝔩₂(𝔽) into the Heisenberg Lie algebra and some other 3-dimensional Lie algebras in addition to more exotic types of algebras, this being in stark contrast to the classical deformation schemes where 𝔰𝔩₂(𝔽) is rigid.     

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

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.     

Second Maximum Sum of Element Orders of Finite Nilpotent Groups

In [1 Amiri , H. , Jafarian Amiri , S. M. , Isaacs , I. M. ( 2009 ). Sums of element orders in finite groups . Communications in Algebra 37 : 2978 – 2980 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]], the authors proved that the maximum sum of element orders on finite groups of the same order occurs in cyclic group. In this paper we obtain the structure of groups having maximum sum of element orders on noncyclic nilpotent group of the same order.     

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

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.     

A note on some structure theorems of modules in category 0

ABSTRACT

Using the local subgroup strategy of An and O'Brien (1997 An , J. , O'Brien , E. A. ( 1997 ). A local strategy to decide the Alperin and Dade conjectures . J. Alg. 189 : 34 – 57 . [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), An and O'Brien (1999 An , J. , O'Brien , E. A. ( 1999 ). The Alperin and Dade conjectures for the Fischer simple group Fi₂₃ . Internat. J. Alg. Comput. 9 : 621 – 670 . [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), we classify the radical subgroups and chains of the Fischer simple group Fi ₂₂ and verify the Alperin weight conjecture and the Uno reductive conjecture for this group; the latter is a refinement of the Dade reductive and Isaacs–Navarro conjectures.

     

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

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.     

Polytopal Linear Groups and Balanced 3-Polytopes

In [5 Bruns , W. , Gubeladze , J. ( 2002 ). Polyhedral K ₂ . Manuscr. Math. 109 : 367 – 404 . [Google Scholar]] Bruns and Gubeladze have constructed Milnor K ₂-groups for so-called balanced lattice polytopes and classified the balanced polytopes of dimension 2 up to equivalence of the stable elementary groups 𝔼(R, P). In [6 Bruns , W. , Gubeladze , J. ( 2003 ). Higher polyhedral K-groups . J. Pure and Applied Algebra 184 : 175 – 228 .[Crossref] , [Google Scholar]] they have shown that the polytopes in a certain subclass, called Col-divisible, behave well for the construction of higher K-groups. In this article, we give a list of all possibly occurring E-equivalence classes of three-dimensional balanced polytopes. Finally, we compute 𝔼(R, P) provided P is a Col-divisible balanced polytope of dimension three.     

Two Open Questions On Goldie Extending Modules

Five open questions on Goldie extending modules were posed by Akalan et al. [1 Akalan , E. , Birkenmeier , G. F. , Tercan , A. ( 2009 ). Goldie extending modules . Comm. Algebra 37 : 663 – 683 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. The first one and the second one are considered in this article. It is shown that a 𝒢-extending module M with (C ₃) is 𝒢⁺-extending. Moreover, let M = M ₁ ⊕ M ₂ be a direct sum of 𝒢-extending modules, where M satisfies (C ₃) and M ₁ is M ₂-ojective (or M ₂ is M ₁-ojective), then M is 𝒢-extending. Other sufficient conditions for a direct sum of 𝒢-extending modules to be 𝒢-extending are obtained.     

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.     

Heart of Irreducible Morphisms of Bounded Complexes

In [9 Giraldo , H. , Merklen , H. ( 2009 ). Irreducible morphisms of categories of complexes . Journal of Algebra 321 : 2716 – 2736 .[Crossref], [Web of Science ®] , [Google Scholar]] Giraldo and Merklen studied irreducible morphisms in the categories 𝒞(𝒜) and D^?(Λ), where 𝒞(𝒜) is the category of complexes over an abelian Krull–Schmidt category 𝒜 and D^?(Λ) is the derived category of the bounded above complexes of finite generate left modules, over an Artin algebra Λ. In this work, we continue the study of irreducible morphism having one finite irreducible truncation.     

Minimal Multi-Convex Projections Onto Subspaces of Incomplete Algebraic Polynomials

Let X = (C ^N [0, 1], ‖·‖), where N ≥ 3 and let V be a linear subspace of Π _N , where Π _N denotes the space of algebraic polynomials of degree less than or equal to N. Denote by 𝒫 _S = 𝒫 _S (X, V) = {P: X → V | P-linear and bounded P| _V  = id _V , PS ? S}, where S denotes a cone of multi-convex functions. In [25 G. Lewicki and M. Prophet ( 2006 ). Minimal shape-preserving projections onto Π _n : generalizations and extensions . Numer. Func. Anal. Optim. 27 ( 7–8 ): 847 – 873 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 26 G. Lewicki and M. Prophet ( 2007 ). Minimal multi-convex projections . Studia Mathematica 178 ( 2 ): 99 – 124 . [Google Scholar]], the multi-convex projections were defined and it was shown the explicite formula for projection with minimal norm in 𝒫 _S for V = Π _N . In this article we present a generalization of these results in the case of V being certain, proper subspaces of Π _N .     

Gorenstein FP-Injective Dimension for Complexes

This article is a continuous work of [17 Hu , J. , Zhang , D. ( 2013 ). Weak AB-context for FP-injective modules with respect to semidualizing modules . J. Algebra Appl. 12 ( 7 ): 1350039 .[Crossref], [Web of Science ®] , [Google Scholar]], where the coauthors introduced the notion of 𝒢-FP-injective R-modules. In this article, we define a notion of 𝒢-FP-injective dimension for complexes over left coherent rings. To investigate the relationships between 𝒢-FP-injective dimension and FP-injective dimension for complexes, the complete cohomology group bases on FP-injectives is given.     

On the Construction of Finite Oscillator Dictionary

A finite oscillator dictionary which has important applications in sequences designs and the compressive sensing was introduced by Gurevich, Hadani, and Sochen in [3 Gurevich , S. , Hadani , R. , Sochen , N. (2008). The finite harmonic oscillator and its applications to sequences, communication and radar. IEEE Trans. Inform. Theory 54(9):4239–4253.[Crossref], [Web of Science ®] , [Google Scholar]]. In this paper, closed formulae of the finite split oscillator dictionary 𝔖 ^s are revisited by a simple proof, the structure of nonsplit tori of the group SL(2, 𝔽 _p ) is studied, and an explicit algorithm for computing the finite nonsplit oscillator dictionary 𝔖 ^ns is described.     

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

The infinitesimal and the little q-Schur superalgebras

In this paper, based on the results in [8 Du, J., Gu, H.-X. (2014). A realization of the quantum supergroup U(𝔤𝔩_m|n). J. Algebra 404:60–99.[Web of Science ®] , [Google Scholar]] we give a monomial basis for q-Schur superalgebra and then a presentation for it. The presentation is different from that in [12 El Turkey, H., Kujawa, J. (2012). Presenting Schur superalgebras. Pacific J. Math., 262(2):285–316.[Crossref], [Web of Science ®] , [Google Scholar]]. Imitating [3 Cox, A. G. (1997). On some applications of infinitesimal methods to quantum groups and related algebras. Ph.D. Thesis. University of London. [Google Scholar]] and [7 Du, J., Fu, Q., Wang, J.-P. (2005). Infinitesimal quantum 𝔤𝔩_n and little q-Schur algebras. J. Algebra 287:199–233.[Crossref], [Web of Science ®] , [Google Scholar]], we define the infinitesimal and the little q-Schur superalgebras. We give a “weight idempotent presentation” for infinitesimal q-Schur superalgebras. The BLM bases and monomial bases of little q-Schur superalgebras are obtained, and dimension formulas of infinitesimal and little q-Schur superalgebras are deduced.