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

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

Classical Morita equivalence and linear topologies; applications to quasi-dualities

ABSTRACT

In this note,we answer a question of Hong et al. (2003 Hong , C. Y. , Kim , N. K. , Kwak , T. K. ( 2003 ). On skew Armendariz rings . Comm. Alg. 31 ( 1 ): 103 – 122 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) by proving that if α is a monomorphism of a reduced ring R, and R is α-skew Armendariz, then R is α-rigid.     

ℤ3-Twisted Representations of Lattice Vertex Operator Algebras

Abstract

Let L be a positive definite even lattice and let g ∈ Aut L be a fixed point free automorphism of order 3. We determine the twisted Zhu's algebra A _? (V _L ) for the lattice vertex operator algebra V _L , where ? is an automorphism of V _L induced from g. As a result, we show that the set of all irreducible ?-twisted modules for V _L (up to isomorphism) are exactly those constructed by Dong and Lepowsky (1996 Dong, C. and Lepowsky, J. 1996. The algebraic structure of relative twisted vertex operators. J. Pure and Applied Algebra, 110: 259–295. [Crossref], [Web of Science ®] , [Google Scholar]) and Lepowsky (1985 Lepowsky, J. 1985. Calculus of twisted vertex operators. Proc. Natl. Acad. Sci. USA, 82: 8295–8299. [Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

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.     

On subgroups of residually nilpotent metabelian groups

ABSTRACT

We study conditions on an ideal A of a self-injective R such that the factor ring R/ A is again self-injective, extending certain of our results for PF rings (Faith, 2006 Faith , C. ( 2006 ). Factor rings of pseudo-Frobenius rings . J. Algebra and Its Applications 6 :(to appear). [CSA] [Web of Science ®] , [Google Scholar]). We also consider the same question for p -injective, and for CS -rings. For the CS -rings we consider conditions under which A splits off as a ring direct factor, equivalently, when A is generated by a central idempotent. Definitive results are obtained for an ideal A which is semiprime as a ring, that is, has no nilpotent ideals except zero, and which is a right annihilator ideal. Then A is said to be an r -semiprime right annulet ideal, and is generated by a central idempotent in the following cases: (1) whenever A is generated by an idempotent as a right (or left) ideal (Theorems 3.4, 3.6); (2) in any Baer ring R (Theorem 3.5); (3) in any right and left CS -ring R (Theorem 4.2), and (4) in any right nonsingular right CS -ring R (Theorem 5.5).

These results also generalize results of the author in Faith (1985 Faith , C. ( 1985 ). The maximal regular ideal of self-injective and continuous rings splits off . Arch. Math. 44 : 511 – 521 . [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), where it is proven that the maximal regular ideal M( R) splits off in any right and left continuous ring.

The results are applied in Section 6 to extend theorems of Faith (1996 Faith , C. ( 1996 ). New characterizations of von Neumann regular rings and a conjecture of Shamsuddin . Publ. Mat. 40 : 383 – 385 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]) characterizing VNR rings, and, as the title of Faith (1996 Faith , C. ( 1996 ). New characterizations of von Neumann regular rings and a conjecture of Shamsuddin . Publ. Mat. 40 : 383 – 385 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]) suggests, extend the conjecture of Shamsuddin.     

DECOMPOSITION OF A HIGHER DEGREE FORM

ABSTRACT

We give another proof of Harrison's decomposition result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 2.3 for higher degree forms over a noetherian ring, exploiting an earlier introduction of the centre. We generalise to higher degree forms over a noetherian scheme: we extend the notion of centre; we prove a decomposition result; we extend Harrison's result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 4.3 on the behaviour of the centre under a flat base extension; and we improve his result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 4.2, giving conditions on the base scheme under which the centre of the tensor product of two higher degree forms is isomorphic to the tensor product of their centres.     

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.     

Sur les varietes d'algebres de lie

ABSTRACT

S. Bulman-Fleming (1992 Bulman-Fleming , S. ( 1992 ). Flat and strongly flat S -systems . II. Comm. Alg. 20 : 2553 – 2567 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) presented necessary and sufficient conditions under which an amalgam of two copies of a monoid by a proper right ideal is flat, weakly flat, or principally weakly flat. In this note, a similar problem is considered for other generalizations of projective acts, namely for weak, Rees weak, and principal Rees weak projectivity.     

Stratifying Systems via Relative Projective Modules

ABSTRACT

In this paper we point out that the “Process of standardization”, given in Dlab and Ringel (1992 Dlab , V. , Ringel , C. M. ( 1992 ). The module theoretical approach to quasi-hereditary algebras . Repr. Theory and Related Topics, London Math. Soc. LNS 168 : 200 – 224 . [Google Scholar]), and also the “Comparison method” given in Platzeck and Reiten (2001 Platzeck , M. I. , Reiten , I. ( 2001 ). Modules of finite projective dimension for standardly stratified algebras . Comm. in Algebra 29 : 973 – 986 . [CROSSREF] [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]) can be generalized. To do so, we introduce the concept of relative projective stratifying system and prove a result from which the Theorem 2 in Dlab and Ringel (1992 Dlab , V. , Ringel , C. M. ( 1992 ). The module theoretical approach to quasi-hereditary algebras . Repr. Theory and Related Topics, London Math. Soc. LNS 168 : 200 – 224 . [Google Scholar]) and Proposition 2.1 in Ringel (1991 Ringel , C. M. ( 1991 ). The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences . Math. Z. 208 : 209 – 223 .[Crossref], [Web of Science ®] , [Google Scholar]) follows.

     

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.     

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.     

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.     

DIRECT SUM DECOMPOSITION OF THE PRODUCT OF PREINJECTIVE MODULES OVER RIGHT PURE SEMISIMPLE HEREDITARY RINGS

ABSTRACT

In his recent work, [1] Simson, D. 2000. An Artin Problem for Division Ring Extensions and the Pure Semisimplicity Conjecture, II. J. Algebra, 227: 670–705. [Crossref], [Web of Science ®] , [Google Scholar] and [2] Simson, D. 2001. On Small Right Pure Semisimple Rings and the Structure of their Auslander-Reiten Quiver. Communic. in Algebra, 29 in press[Web of Science ®] , [Google Scholar], on the pure semisimplicity conjecture Simson raised two problems about the structure of the direct sum decomposition of the direct product modulo the direct sum of indecomposable preinjective modules over right pure semisimple hereditary rings. The main goal of this paper is the proof of a theorem that resolves one of these problems and provides a partial answer to the other.     

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.     

Sequences Determining Mixed Multiplicities and Reductions of Ideals

Abstract

Using the notion of (FC)-sequences in Viêt (2000 Viêt, D. Q. 2000. Mixed multiplicities of arbitrary ideals in local rings. Comm. Algebra, 28(8): 3803–3821. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]), this paper presents some results concerning reductions and the vanishing and non-vanishing of mixed multiplicities of finite collection of arbitrary ideals in local rings.     

Procedurally Rational Volunteers

The mixed-strategy equilibrium applied to the volunteer's dilemma (Diekmann, 1985 Diekmann , A. ( 1985 ). Volunteer's dilemma . Journal of Conflict Resolution , 29 , 605 – 610 .[Crossref], [Web of Science ®] , [Google Scholar]) predicts that the probability that at least 1 bystander volunteers decreases, if the number of bystander increases. I argue that this prediction lacks empirical support and demonstrate that an alternative solution concept from the literature on bounded rationality, the procedurally rational equilibrium (Osborne &; Rubinstein, 1998 Osborne , M. J. &; Rubinstein , A. ( 1998 ). Games with procedurally rational players . American Economic Review , 88 , 834 – 847 .[Web of Science ®] , [Google Scholar]), yields alternative predictions. I supply some empirical evidence that the alternative solution concept fares better in explaining observed behavior in the volunteer's dilemma.     

NIVEAU HERMITIEN D'UNE ALGÈBRE DE QUATERNIONS À DIVISION MUNIE D'UNE INVOLUTION DE DEUXIÈME ESPÈCE

ABSTRACT

In this note we show that the hermitian level of a quaternion division algebra with involution of second kind, is always a power of 2, when it is finite. This result holds for a field with trivial or non-trivial involution, and quaternion division algebras with involution of first kind [6] Pfister, A. 1965. Darstellung von -1 als Summe Von Quadraten in Einem Körper. J. London Math. Soc., 40: 159–165. [Crossref], [Web of Science ®] , [Google Scholar], [5] Lewis, D.W. 1988. Sums of Hermitian Squares. Journal of Algebra, 115(2): 446–480.  [Google Scholar], [9] Serhir, A. 1997. Niveau Hermitien de Certaines Algèbres de Quaternions. Communications in Algebra, 25(8): 2531–2538. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar].