A FINITENESS CONDITION CONCERNING COMMUTATORS IN GROUPS PATRIZIA LONGOBARDI AND MERCEDE MAJ
|
|
- Dale Campbell
- 6 years ago
- Views:
Transcription
1 HOUSTON JOURNAL OF MATHEMATICS Volume 19, No. 4, 1993 A FINITENESS CONDITION CONCERNING COMMUTATORS IN GROUPS PATRIZIA LONGOBARDI AND MERCEDE MAJ 1. Introduction. In [3] P.S. Kim, A. H. Rhemtulla and H. Smith posed the following question: Suppose that 12 is a variety of groups defined by means of a law v(x,...,x, ) = 1, and say that a group G belongs to the class 12' if for any infinite subsets X,...,X, there exist elements xi Xi, for all i {1,...,n}, such that V(Xl,...,x, )= 1. Obviously the class 12 and the class jf of all finite groups are contained in 12'. Is it true that 12' = ]2 U jf? The answer is affirmative for the variety 4 of abeljan groups by a famous theorem of B. U. Neumann (see[6]) and for the variety Ark of nilpotent groups of class at most k (see[4]). Questions of a similar nature for other classes of soluble groups are discussed in [3] and in [7]. In this paper we give a positive result for the variety Q2 defined by the law Ix, y]2 = 1, by proving the following Theorem A. Let G be an infinite group in Q. Then G is in Q2. The variety Q2 has been studied by I.D. MacDonald in [5] and S. Bachmuth and J. Lewin in [1]. If G Q2 then the seconderived subgroup G" of G has exponent at most 2 and is in the centre of G. Q2 is contained in the variety with the law [[x, y], Ix, z]] -- 1, which in turn is exactly the class of groups with the property that every 3-generator subgroup is metabelian. Finally a free group in the variety Q2 is residually a finite 2-group. Work partially supported by M.U.R.S.T. and G.N.S.A.G.A. (C.N.R.) 505
2 506 PATRIZIA LONGOBARDI AND MERCEDE MAJ 2. Preliminary results. We start with the following very easy remark: 2.1. Let G ß Q. Iœ Z(G) is infinite, then G ß Proof. Let x, y ß G and consider the infinite sets xz(g), yz(g). Then, for suitable z, z2 ß Z(G), [xz,yz2] = I since 1. [] The next result will play a key role in the following Let G ß Q be an infinite group. Then CG(x) is infinite, for any x ß G oœ order 2. Proof. Assume that Co(x) is finite, for some x ß G of order 2. First we construct, by induction on n, a sequence (x, ), er of elements of G satisfying the following properties (I)' XiX; 1 CG(I), if i j, (II): xix;lxkx C (/), ifi,j,h,k are pairwise different. For, assume that x,...,x, satisfy (I) and (II). If G = D, with = U C(x)x u U u U i=1 i,j,h= l i,j,h---1 then G is finite, a contradiction. Thus there exists xm+ ß G - D, and it is easy to verify that/,--., x,, x, + satisfy (I) and (II). Now let N = A U B with A and B infinite and disjoint. Then also the sets (xx /i ß A} and {xx /j ß B} are infinite and, since G ß Q, there exist s ß A, t ß B such that [/xs,/x,] = 1. Thus --1 and I x ß C (I). Write A = A-{s} and B = B-(t}. Then, arguing --1 analogously, we find v ß A, w ß B such that x x ß C (x). Hence, by induction, we construct infinite subsets I C_ A, J C_ B such that x x ß C (x), for an infinite number of pairs (i,j) (with all i's different and all j's different). But Cc(x) is finite, so there exists; ß I, ß J such that, for _ infinitely many h I, k ß J, x = x. Then x x' C (x), a finite set, hence there exist h, h" ß I, xx X, -1
3 A FINITENESS CONDITION IN GROUPS 507 k" such that xx X x;, -2 x, XXh"xk". Thus xxh'xk _ ' = x a" -'], and xa, x, x,,x, e C (x), contradicting (II). Therefore C (x) is finite, required. Corollary 2.3. Let G ß Q be an infinite group. Then G has an infinite abelian subgroup. Proof. We show that in any infinite group G ß Q there exists an element x with CG(x) infinite. Then the result will follow, arguing as in Corollary 2.5 of [2]. If G has element of order 2, then the result follows from 2.2. Assume that G has no elements of order 2, then if X, Y are infinite subsets of G there exist x ß X, y ß Y such that Ix, y] - 1. Thus G ß A* and G is abelian (see[6] and [4]). [] Corollary 2.4. Let G ß Q be an infinite FC-group. Then G ß Q2. Proof. Let x,y ß G. Then IG'CG(x)l and IG' C (y)l are finite, hence G- C(x) n is finite. Thus C (I) Cl CG(y) is an infinite group in Q and, by Corollary 2.3, there exists an infinite abeljan subgroup A _< C (I) Cl C (y). Therefore Z ({A, x, y}) is finite, and [/, y]2 = 1, by 2.1. [] We will often make use of the following Lemma. Lemma 2.5. Let G ß Q, x ß G and let A be an infinite abelian subgroup of S. Then there exists an infinite subset B of A such that ([b, x]/b ß B} is an elementary abelian 2-group. Furthermore, if IA' CA(x)l is infinite, there exists C c_ A such that ([c, x]/c ß C} is an infinite elementary abelian 2-group. Proof. Consider the sets Y and Ax, where Y is any infinite subset of A. Since G ß Q there exist b ß Y, v ß A such that I = [b, vx] 2 = [b,x] 2. Therefore A = {a ß A/[a,x] 2-1} is a cofinite subset of A. Now fix a ß A and consider the sets a V - and Ax, where V is any infinite subset of A. Then there exists c V and w ß A such that 1 = [a c- wx] 2 [a c- x] 2 (([a,x][x,c]) - ) 2, =, =, and so [[a,x], [c,x]] = 1. Therefore {a ß Ai/[a,x] ß CG([at,x])} is a cofinite subset of A1. We are now able to construct by induction on n an infinite sequence (a,),er of elements of A such that, for any n N, (II): ([ai, x]/i ß {1,...,n}) is an elementary abelian 2-group.
4 508 PATRIZIA LONGOBARDI AND MERCEDE MAJ For, assume that al,...,a A satisfy I) and II). By the previous remark there exist cofinite subsets Bx,..., B of A such that, for any i {1,..., s) and any a Bi, [a,x] C6 ([ai, x]). Hence also B 1 [-]... [' Bs is a cofinite subset of A and we have, for any y B1 N... Bs, [y, x] C6([al, x], [a2,x],...,[as, X]). If asnc 1 is any element of (Bx... B ) - {al,...,a ), the elements al,...,as, as+l satisfy (I) and (II). Therefore ([ai, x]/i N) is an elementary abeljan 2-group. Now assume that [A'C t(x)[ is infinite. Then there exists an infinite subset D of A such that d C t(x) for any d D and c-xd C t(x) if c, d are different elements of D. Arguing as before we can construct a sequence (b ) e of pairwise different elements of D such that H -- ([bi, x]/i N) is an elementary abeljan 2-group. l rom [bh, x] -- [bk, x] it follows that bhb Ca(x) and h k; therefore the subgroup H is infinite. [] Corollary 2.6. Iœ G Q, G is infinite and G does not have an infinite elementary abeljan 2-subgroup, then G Q.. Proof. Let x, y be elements of G. By 2.3 there exists an infinite abeljan subgroup A _ G, and 2.5 implies that [A'CA(x)[ and A'C (y)[ are both finite. Then A' C t(x) C t(y)[ is finite and, arguing as in 2.4, we get that = 1. [] The following result generalizes 2.2. Corollary 2.7. Let G Q be an infinite group. Then C6(x) is infinite, œor any x G oœ order 2 (œor all n in N). Proof. We argue by induction on n. If n - 1, then the result follows from 2.2. Let n 1 and assume that C6(x 2) is infinite. Then by 2.3 there exists an infinite abelian subgroup A _< Co(x2). If[A'C (x)l is finite, then C (x) is infinite, as required. Thus assume that [A'C t(x)[ is infinite. Then by 2.5 there exists a subset C C_ A such that ([c, x]/c C) is an infinite elementary abelian 2-group. Now for any c C we have 1 - [c, x 2] - = e e C) c_ and C (x) is infinite, as required. [] 3. The soluble case. In this section we will prove Theorem A under the additional hypothesis that G is soluble. We start with the following useful Lemma.
5 A FINITENESS CONDITION IN GROUPS 509 Lemma 3.1. Let G 6 Qt. If there exists an infinite abelinn subgroup A normal in G, then G 6 Q.. Proof. Let x, y be elements of C. We will show that [x,y] 2 = 1. If IA'CA(x)I and IA'CA(y)l are both finite, then Z ({A,x,y)) is infinite and [x,y] 2 = 1 by 2.1. So we can assume that A ß C/t(x)l is infinite, thus by 2.5 there exists an infinite subset B of A such that {[b, x]/b ß B) is an infinite elementary abelinn 2-group. Hence {a ß A/a = 1) is infinite, and we can assume without loss of generality, that A = {a ß A/a 2 = 1} is an elementary abelinn 2-group. Arguing as before we can also suppose that IA'CA(y)I is infinite (replacing y by xy if necessary). First we prove that (*) there exist infinite subsets C ß D A such that for any c C, d D, (Ix, y] [c, x]) = (Ix, y] [d, y])2 =. That is, [c,/]-1 Ix, y] [c, x] = [y,x], [d, y]-l[x, y] [d,y] = [y,x], and [c,/] [d,y] commutes with For, by a famous theorem of B. H. Nedann (see for instance [8] p. 105), A is not the union of finitely many cosets of C (x)uca(y). Then, guing in 2.2, we can construct infinite sequence (ai)ien of elements of A such that: 1) aiaj Co(x) U Co(y), if i j; 2) aiaja a Co(x) U Co(y), for i,j, h, k pairwise different. Then, guing again in the proof of 2.2, we get infinite subsets X = (bi/i N) and Y = (ci/i N) of (ai/i N} such that X Y = and [x b', y ']2 = 1, for any i e N. Hence I = [x b' ',y]2 = [x[x, bici],y]2 = ((Ix y] Ix, bier,y])2) [ ' ' '1, and (Ix, y] [/, b c, y])2 = ; an ogously from = [y ' ',x] 2 we get (Ix, y] [y, c b, x]) =. Then we have (*) with C = {[y,c bd/i e N} d D = {[x,b cd/i e Now consider the infinite sets xd, yc, then there exist d 6 D, c 6 C such that I = [xd, yc] = (Ix, c] [x, y] a[d, y]) = (([x,c] Ix, y] [d,y]) a) 2, and = (Ix, y] [c,x][d,y]) 2 = Ix, y] 2, since [c,x][d,y] centr izes Ix, y] by (.). Hence [x, y]2 = 1, required. Now we can prove Theorem 3.2. Let G ß Q be an infinite soluble group. Then G ß Q2.
6 510 PATRIZIA LONGOBARDI AND MERCEDE MAJ Proof. We argue by induction the derived length d of G. Assume d > 1, and let A be the last non-trivial term of the derived series of G. Then A is abelian. If A is infinite, then G Q2 by Lemma 3.1, so we can assume that A is finite. Thus G/A is an infinite group in Q and, by induction, G/A Q2. First we prove that (*) If b is any element of G of order 2, then [b, g]2 _ I for every g G, so that (b) G is abelian. For, let b e G be of order 2. Then ((b)ga)/a is abelian since G/A Q, and ((b) ) _ A is finite. Thus C (b)f C (b g) is infinite and, by 2.3, therexists em infinite abelian subgroup B C (b) C (b ). If lb'cs(g)[ is finite, then [b,g] = 1 since G Q. Therefore we can sume that [B ß Cs(g)[ is infinite and so, by 2.5, ther exists a subset C of B such that ([c, g]/c C) is an infinitelement y abelian 2-group. Now consider the infinite subsets {bc-1/c C} and go. There exists an infinite sequence (ai)ie in C such that [ba l,g] = 1, hence ([b,g] [g, ai]) = 1 and [ai, g] conjugates lb, g] to its inverse for y i e N. But, if we consider the infinite sets {b(ala;1)-l/i e N} and gc we have, for some k e N, c e C, 1= [b(ala;1)-l,gc]2= (([b,g] [g, ala;1]) 2) (a a; Dd [g, ala; 1] = --1 ([, ][, ]) m s Iv, ] to t o i= o o. Si.ce e C (IV, ]).a [ 1, ] [, ] e C (IV, ]) we IV, ] = 1, req.iroa. Now, if therexists b G of order 2 such that <b) a is infinite, then G Q by Lemma 3.1. Thus we c sume that <b) a is finite for any b G of order 2. By 2.6 we can suppose that G has an i nite elementary abelinn 2-sub oup X. Let D be a maximal normal elementary abelinn 2-subgroup of G. If D is infinite, then G Q by Lemma 3.1. Assume that D is finite. T o= e' C (V)I is nnite,a so IX.Cx(V)I is nnito. T,s t o e e ist b Cx(D) - D, d <b) D is an elementary abelinn norram 2-subgroup of G, contradicting the maxima ty of D. Therefore, G Q. Proof of Theorem A. Let G be an infinite group in Q. First we show that (*) if A is an infinite abelinn subgroup of G and x G has order 2, then In, x] = 1, for any a A. o, i n' c ( )l <, t o. c ( ) is i.n.ite, so t t z (<n, >) is infinite and the result follows. Now sume that [A'Cn(x)[ is infinite. Thus, by Lemma 2.5, there exists a subset C of A such that the sub-
7 A FINITENESS CONDITION IN GROUPS 511 group X = ([c,x]/c e C) is an infinite elementary abelian 2-group. If c e C, from [c,x] 2 = 1 = [c,x 2] we get [c,x,x] = 1. Now, let a e A. By the hypothesis G e Q there exist c, b e C such that 1 = [a[c, x], xb] 2 = ([a, x]b[c'x][c, x, xb]) 2 = ([a, x]o[c'x][c, x, x[x, hi]) 2 = ([a, x]o[c'z]), hence [a, x] = 1, as required. Then we have (**) [a,x] = 1, for any x e G of order œ and any a e G of order In fact, by 2.7, C (a) is infinite and, by 2.3., there exists an infinite abelian subgroup B 5 C (a). Then (**) follows from (.) with A = (a, B). Now put V = (x e G/x = 1). If V is finite, then G/V is an infinite group in A*, hence G/V is abelian (see[6] and [4]), G t is finite, and G is an FC-group. Then 2.4 implies G Q, required. Now assume that V is infinite. Then if x, y G there exist v, w V such that [xv, yw] = 1, thus [x, y] e V and G/V is abeljan. We will prove that V e Q, then V is soluble (see[5]), G is soluble and G e Q by Theorem 3.2. IfXl,X,...,x G d xi[ = 2 for alli, it is easy to prove, by induction on n and using (**), that ]x x... x [ divides 2. Hence V is a 2-group. If x e V h order 2 and y e V, then (**) implies [x, y]" = therefore Ix, xv] = 1 d (x)v is abeli. If (x)v is infinite for some x e V of order 2, then V Q by Lemma 3.1. Otherwise y element of order 2 is an FC-element, then V is an FC-group and, by 2.4, again V Q, as required. REFERENCES 1. Bachmuth, S., and Lewin, J., The Jacobi identity in groups, Math. Z. 85 (1964), Kegel, O.tt. and Wehrfritz, B.A.F., Locally Finite Groups, North-ttolland, Amsterdam, Kim, P.S., Rhemtulla, A.H., and Smith, H., A characterization of infinite metabelian group, Houston J. of Math. 17 n. 3 (1991), Longobaxdi, P., Maj, M., Rhemtulla, A. H., Infinite groups in a given variety and Ramsey's theorem, Comm. Alõebra 20 (1992), MacDonald, I.D., On certain varieties of groups, Math. Z. 76 (1961), Neumann, B.H., A problem of Paul ErdSs on groups, J. Austral. Math. Soc. (Series A) 21 (1976), Rhemtulla, A.H., Smith, H., On infinite solvable groups, to appear.
8 512 PATRIZIA LONGOBARDI AND MERCEDE MA3 8. Robinson, D. J. S., Finitenezz Conditionz and Generalized Soluble Groupz, l, Springer- Verlag, Berlin, Received: February 23, 1993 Revised Version Received: May 18, 1993 DIPARTIMENTO DI MATEMAT,CA --. APPLICAZIONI "R. CACCIOPPOLI", UNIVER- SITA' DEi2LI STUDI DI NAPOLI, VIA CINTIA, NAPOLI - ITALY
Two generator 4-Engel groups
Two generator 4-Engel groups Gunnar Traustason Centre for Mathematical Sciences Lund University Box 118, SE-221 00 Lund Sweden email: gt@maths.lth.se Using known results on 4-Engel groups one can see that
More informationRENDICONTI LINCEI MATEMATICA E APPLICAZIONI
ATTI ACCADEMIA NAZIONALE LINCEI CLASSE SCIENZE FISICHE MATEMATICHE NATURALI RENDICONTI LINCEI MATEMATICA E APPLICAZIONI Lucia Serena Spiezia Infinite locally soluble k-engel groups Atti della Accademia
More informationGROUPS WITH PERMUTABILITY CONDITIONS FOR SUBGROUPS OF INFINITE RANK. Communicated by Patrizia Longobardi. 1. Introduction
International Journal of Group Theory ISSN (print): 2251-7650, ISSN (on-line): 2251-7669 Vol. 7 No. 3 (2018), pp. 7-16. c 2018 University of Isfahan ijgt.ui.ac.ir www.ui.ac.ir GROUPS WITH PERMUTABILITY
More informationGroups with Few Normalizer Subgroups
Irish Math. Soc. Bulletin 56 (2005), 103 113 103 Groups with Few Normalizer Subgroups FAUSTO DE MARI AND FRANCESCO DE GIOVANNI Dedicated to Martin L. Newell Abstract. The behaviour of normalizer subgroups
More informationGroups with many subnormal subgroups. *
Groups with many subnormal subgroups. * Eloisa Detomi Dipartimento di Matematica, Facoltà di Ingegneria, Università degli Studi di Brescia, via Valotti 9, 25133 Brescia, Italy. E-mail: detomi@ing.unibs.it
More informationFreiman s theorem in torsion-free groups
Freiman s theorem in torsion-free groups Mercede MAJ UNIVERSITÀ DEGLI STUDI DI SALERNO ADDITIVE COMBINATORICS IN BORDEAUX Institut de Mathématiques de Bordeaux April, 11-15, 2016 Gregory Freiman, Tel Aviv
More informationA Note on Groups with Just-Infinite Automorphism Groups
Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 32 (2012) no. 2, 135 140. doi:10.1285/i15900932v32n2p135 A Note on Groups with Just-Infinite Automorphism Groups Francesco de Giovanni Dipartimento
More informationA CONDITION ON FINITELY GENERATED
COMMUNICATIONS IN ALGEBRA, 27(11), 5633-5638 (1999) A CONDITION ON FINITELY GENERATED SOLUBLE GROUPS Alireza Abdollahi Department of Mathematics, University of Isfahan, Isfahan, Iran Bijan Taeri Department
More informationON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT
ON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT GÉRARD ENDIMIONI C.M.I., Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr
More informationDISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents
DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions
More informationOn Torsion-by-Nilpotent Groups
On Torsion-by-Nilpotent roups. Endimioni C.M.I. - Université de Provence, UMR-CNRS 6632, 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr and. Traustason Department
More informationSOME TOPICS ON PERMUTABLE SUBGROUPS IN INFINITE GROUPS
SOME TOPICS ON PERMUTABLE SUBGROUPS IN INFINITE GROUPS TESI DI DOTTORATO SCIENZE MATEMATICHE E INFORMATICHE - XXIX CICLO DIPARTIMENTO DI MATEMATICA E APPLICAZIONI RENATO CACCIOPPOLI ROBERTO IALENTI UNIVERSITÀ
More informationRecognising nilpotent groups
Recognising nilpotent groups A. R. Camina and R. D. Camina School of Mathematics, University of East Anglia, Norwich, NR4 7TJ, UK; a.camina@uea.ac.uk Fitzwilliam College, Cambridge, CB3 0DG, UK; R.D.Camina@dpmms.cam.ac.uk
More informationLADDER INDEX OF GROUPS. Kazuhiro ISHIKAWA, Hiroshi TANAKA and Katsumi TANAKA
Math. J. Okayama Univ. 44(2002), 37 41 LADDER INDEX OF GROUPS Kazuhiro ISHIKAWA, Hiroshi TANAKA and Katsumi TANAKA 1. Stability In 1969, Shelah distinguished stable and unstable theory in [S]. He introduced
More informationFinitary Permutation Groups
Finitary Permutation Groups Combinatorics Study Group Notes by Chris Pinnock You wonder and you wonder until you wander out into Infinity, where - if it is to be found anywhere - Truth really exists. Marita
More informationLinear DifferentiaL Equation
Linear DifferentiaL Equation Massoud Malek The set F of all complex-valued functions is known to be a vector space of infinite dimension. Solutions to any linear differential equations, form a subspace
More informationTHE RELATIVE SIZES OF SUMSETS AND DIFFERENCE SETS. Merlijn Staps Department of Mathematics, Utrecht University, Utrecht, The Netherlands
#A42 INTEGERS 15 (2015) THE RELATIVE SIZES OF SUMSETS AND DIFFERENCE SETS Merlijn Staps Department of Mathematics, Utrecht University, Utrecht, The Netherlands M.Staps@uu.nl Received: 10/9/14, Revised:
More informationThe Class Equation X = Gx. x X/G
The Class Equation 9-9-2012 If X is a G-set, X is partitioned by the G-orbits. So if X is finite, X = x X/G ( x X/G means you should take one representative x from each orbit, and sum over the set of representatives.
More informationGroups that are pairwise nilpotent
Groups that are pairwise nilpotent Gérard Endimioni C.M.I, Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr Gunnar Traustason
More informationGROUPS WITH A MAXIMAL IRREDUNDANT 6-COVER #
Communications in Algebra, 33: 3225 3238, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1081/AB-200066157 ROUPS WITH A MAXIMAL IRREDUNDANT 6-COVER # A. Abdollahi,
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationIsomorphisms and Normality of Cayley Digraphs of A5
Isomorphisms and Normality of Cayley Digraphs of A5 Dachang Guo* Department of Mathematics and Physics Guangdong University of Technology Guangzhou 510643, People's Republic of China Abstract It is proved
More informationEngel Groups (a survey) Gunnar Traustason Department of Mathematical Sciences University of Bath
Engel Groups (a survey) Gunnar Traustason Department of Mathematical Sciences University of Bath Definition. Let G be a group and a G. (a) We say that G is an Engel group if for each pair (x, y) G G there
More informationCONJUGATE FACTORIZATIONS OF FINITE GROUPS. Communicated by Patrizia Longobardi. 1. Introduction
International Journal of Group Theory ISSN (print): 2251-7650, ISSN (on-line): 2251-7669 Vol. 4 No. 2 (2015), pp. 69-78. c 2015 University of Isfahan www.theoryofgroups.ir www.ui.ac.ir CONJUGATE FACTORIZATIONS
More informationOn the centralizer and the commutator subgroup of an automorphism
Noname manuscript No. (will be inserted by the editor) On the centralizer and the commutator subgroup of an automorphism Gérard Endimioni Primož Moravec the date of receipt and acceptance should be inserted
More informationGroups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems
Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A non-empty set ( G,*)
More informationA CLASS OF LOOPS CATEGORICALLY ISOMORPHIC TO UNIQUELY 2-DIVISIBLE BRUCK LOOPS
A CLASS OF LOOPS CATEGORICALLY ISOMORPHIC TO UNIQUELY 2-DIVISIBLE BRUCK LOOPS MARK GREER Abstract. We define a new variety of loops we call Γ-loops. After showing Γ-loops are power associative, our main
More informationOrdered Groups in which all Convex Jumps are Central. V. V. Bludov, A. M. W. Glass & Akbar H. Rhemtulla 1
Ordered Groups in which all Convex Jumps are Central V. V. Bludov, A. M. W. Glass & Akbar H. Rhemtulla 1 Abstract. (G,
More informationTensor Product of modules. MA499 Project II
Tensor Product of modules A Project Report Submitted for the Course MA499 Project II by Subhash Atal (Roll No. 07012321) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI
More informationDiscriminating groups and c-dimension
Discriminating groups and c-dimension Alexei Myasnikov Pavel Shumyatsky April 8, 2002 Abstract We prove that every linear discriminating (square-like) group is abelian and every finitely generated solvable
More informationOn the structure of some modules over generalized soluble groups
On the structure of some modules over generalized soluble groups L.A. Kurdachenko, I.Ya. Subbotin and V.A. Chepurdya Abstract. Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite
More informationOn Conditions for an Endomorphism to be an Automorphism
Algebra Colloquium 12 : 4 (2005 709 714 Algebra Colloquium c 2005 AMSS CAS & SUZHOU UNIV On Conditions for an Endomorphism to be an Automorphism Alireza Abdollahi Department of Mathematics, University
More information6.1 Matrices. Definition: A Matrix A is a rectangular array of the form. A 11 A 12 A 1n A 21. A 2n. A m1 A m2 A mn A 22.
61 Matrices Definition: A Matrix A is a rectangular array of the form A 11 A 12 A 1n A 21 A 22 A 2n A m1 A m2 A mn The size of A is m n, where m is the number of rows and n is the number of columns The
More informationSection 10: Counting the Elements of a Finite Group
Section 10: Counting the Elements of a Finite Group Let G be a group and H a subgroup. Because the right cosets are the family of equivalence classes with respect to an equivalence relation on G, it follows
More informationTwo questions on semigroup laws
Two questions on semigroup laws O. Macedońska August 17, 2013 Abstract B. H. Neumann recently proved some implication for semigroup laws in groups. This may help in solution of a problem posed by G. M.
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More informationInverses and Elementary Matrices
Inverses and Elementary Matrices 1-12-2013 Matrix inversion gives a method for solving some systems of equations Suppose a 11 x 1 +a 12 x 2 + +a 1n x n = b 1 a 21 x 1 +a 22 x 2 + +a 2n x n = b 2 a n1 x
More informationA NOTE ON PRIMITIVE SUBGROUPS OF FINITE SOLVABLE GROUPS
Commun. Korean Math. Soc. 28 (2013), No. 1, pp. 55 62 http://dx.doi.org/10.4134/ckms.2013.28.1.055 A NOTE ON PRIMITIVE SUBGROUPS OF FINITE SOLVABLE GROUPS Xuanli He, Shouhong Qiao, and Yanming Wang Abstract.
More informationLocal indicability in ordered groups: braids and elementary amenable groups
Local indicability in ordered groups: braids and elementary amenable groups Akbar Rhemtulla Dale Rolfsen September 18, 2002 Abstract Groups which are locally indicable are also right-orderable, but not
More informationOn the nilpotent conjugacy class graph of groups
Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 37 (2017) no. 2, 77 89. doi:10.1285/i15900932v37n2p77 On the nilpotent conjugacy class graph of groups A. Mohammadian Department of Pure Mathematics,
More informationResearch Article Commutator Length of Finitely Generated Linear Groups
Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 008, Article ID 81734, 5 pages doi:10.1155/008/81734 Research Article Commutator Length of Finitely
More informationPROFINITE GROUPS WITH RESTRICTED CENTRALIZERS
proceedings of the american mathematical society Volume 122, Number 4, December 1994 PROFINITE GROUPS WITH RESTRICTED CENTRALIZERS ANER SHALEV (Communicated by Ronald M. Solomon) Abstract. Let G be a profinite
More informationFINITE GROUPS IN WHICH SOME PROPERTY OF TWO-GENERATOR SUBGROUPS IS TRANSITIVE
FINITE GROUPS IN WHICH SOME PROPERTY OF TWO-GENERATOR SUBGROUPS IS TRANSITIVE COSTANTINO DELIZIA, PRIMOŽ MORAVEC, AND CHIARA NICOTERA Abstract. Finite groups in which a given property of two-generator
More informationPart 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form
Commutative Algebra Homework 3 David Nichols Part 1 Exercise 2.6 For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form m 0 + m
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS
1 ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS D. I. Moldavanskii arxiv:math/0701498v1 [math.gr] 18 Jan 2007 A criterion for the HNN-extension of a finite p-group to be residually a finite p-group
More informationLacunary Polynomials over Finite Fields Course notes
Lacunary Polynomials over Finite Fields Course notes Javier Herranz Abstract This is a summary of the course Lacunary Polynomials over Finite Fields, given by Simeon Ball, from the University of London,
More informationNormally monomial p-groups
Journal of Algebra 300 (2006) 2 9 www.elsevier.com/locate/jalgebra Normally monomial p-groups Avinoam Mann Einstein Institute of Mathematics, Hebrew University, Jerusalem, Israel Received 30 May 2005 Available
More informationA Generalization of VNL-Rings and P P -Rings
Journal of Mathematical Research with Applications Mar, 2017, Vol 37, No 2, pp 199 208 DOI:103770/jissn:2095-2651201702008 Http://jmredluteducn A Generalization of VNL-Rings and P P -Rings Yueming XIANG
More informationz-classes in finite groups of conjugate type (n, 1)
Proc. Indian Acad. Sci. (Math. Sci.) (2018) 128:31 https://doi.org/10.1007/s12044-018-0412-5 z-classes in finite groups of conjugate type (n, 1) SHIVAM ARORA 1 and KRISHNENDU GONGOPADHYAY 2, 1 Department
More informationCentralizers and the maximum size of the pairwise noncommuting elements in nite groups
Hacettepe Journal of Mathematics and Statistics Volume 46 (2) (2017), 193 198 Centralizers and the maximum size of the pairwise noncommuting elements in nite groups Seyyed Majid Jafarian Amiri and Hojjat
More informationRapporto di Ricerca CS G. Busetto, E. Jabara
UNIVERSITÀ CA FOSCARI DI VENEZIA Dipartimento di Informatica Technical Report Series in Computer Science Rapporto di Ricerca CS-2005-12 Ottobre 2005 G. Busetto, E. Jabara Some observations on factorized
More informationON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING
italian journal of pure and applied mathematics n. 31 2013 (63 76) 63 ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING A.M. Aghdam Department Of Mathematics University of Tabriz
More informationON STRUCTURE AND COMMUTATIVITY OF NEAR - RINGS
Proyecciones Vol. 19, N o 2, pp. 113-124, August 2000 Universidad Católica del Norte Antofagasta - Chile ON STRUCTURE AND COMMUTATIVITY OF NEAR - RINGS H. A. S. ABUJABAL, M. A. OBAID and M. A. KHAN King
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), 297 307 www.emis.de/journals ISSN 1786-0091 ON S-QUASINORMAL SUBGROUPS OF FINITE GROUP JEHAD J. JARADEN Abstract. A subgroup H of a group
More informationTHE STRUCTURE OF RAINBOW-FREE COLORINGS FOR LINEAR EQUATIONS ON THREE VARIABLES IN Z p. Mario Huicochea CINNMA, Querétaro, México
#A8 INTEGERS 15A (2015) THE STRUCTURE OF RAINBOW-FREE COLORINGS FOR LINEAR EQUATIONS ON THREE VARIABLES IN Z p Mario Huicochea CINNMA, Querétaro, México dym@cimat.mx Amanda Montejano UNAM Facultad de Ciencias
More informationSOME RESIDUALLY FINITE GROUPS SATISFYING LAWS
SOME RESIDUALLY FINITE GROUPS SATISFYING LAWS YVES DE CORNULIER AND AVINOAM MANN Abstract. We give an example of a residually-p finitely generated group, that satisfies a non-trivial group law, but is
More informationTHE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I
J Korean Math Soc 46 (009), No, pp 95 311 THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I Sung Sik Woo Abstract The purpose of this paper is to identify the group of units of finite local rings of the
More informationMATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.
MATH 3330 ABSTRACT ALGEBRA SPRING 2014 TANYA CHEN Dr. Gordon Heier Tuesday January 14, 2014 The Basics of Logic (Appendix) Definition. A statement is a declarative sentence that is either true or false.
More informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
More informationA Note on Finite Groups in which C-Normality is a Transitive Relation
International Mathematical Forum, Vol. 8, 2013, no. 38, 1881-1887 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2013.39168 A Note on Finite Groups in which C-Normality is a Transitive Relation
More informationON WEAK ARMENDARIZ RINGS
Bull. Korean Math. Soc. 46 (2009), No. 1, pp. 135 146 ON WEAK ARMENDARIZ RINGS Young Cheol Jeon, Hong Kee Kim, Yang Lee, and Jung Sook Yoon Abstract. In the present note we study the properties of weak
More informationOn the Mutually Commuting n-tuples. in Compact Groups
International Journal of Algebra, Vol. 1, 2007, no. 6, 251-262 On the Mutually Commuting n-tuples in Compact roups A. Erfanian and R. Kamyabi-ol Centre of Excellency in Analysis on Algebraic Structures
More informationELEMENTARY GROUPS BY HOMER BECHTELL
ELEMENTARY GROUPS BY HOMER BECHTELL 1. Introduction. The purpose of this paper is to investigate two classes of finite groups, elementary groups and E-groups. The elementary groups have the property that
More informationarxiv: v4 [math.gr] 2 Sep 2015
A NON-LEA SOFIC GROUP ADITI KAR AND NIKOLAY NIKOLOV arxiv:1405.1620v4 [math.gr] 2 Sep 2015 Abstract. We describe elementary examples of finitely presented sofic groups which are not residually amenable
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationCHARACTERIZATIONS OF THE CONJUGACY OF SYLOW /»-SUBGROUPS OF CC-GROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 106, Number 3, July 1989 CHARACTERIZATIONS OF THE CONJUGACY OF SYLOW /»-SUBGROUPS OF CC-GROUPS J. OTAL AND J. M. PEÑA (Communicated by Warren J.
More information( ) 3 = ab 3 a!1. ( ) 3 = aba!1 a ( ) = 4 " 5 3 " 4 = ( )! 2 3 ( ) =! 5 4. Math 546 Problem Set 15
Math 546 Problem Set 15 1. Let G be a finite group. (a). Suppose that H is a subgroup of G and o(h) = 4. Suppose that K is a subgroup of G and o(k) = 5. What is H! K (and why)? Solution: H! K = {e} since
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationOre extensions of Baer and p.p.-rings
Journal of Pure and Applied Algebra 151 (2000) 215 226 www.elsevier.com/locate/jpaa Ore extensions of Baer and p.p.-rings Chan Yong Hong a;, Nam Kyun Kim b; 1, Tai Keun Kwak c a Department of Mathematics,
More informationRecognize some structural properties of a finite group from the orders of its elements
Recognize some structural properties of a finite group from the orders of its elements Mercede MAJ UNIVERSITÀ DEGLI STUDI DI SALERNO Cemal Koç - Algebra Days Middle East Technical University April, 22-23,
More informationTo hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.
Homework #6. Due Thursday, October 14th Reading: For this homework assignment: Sections 3.3 and 3.4 (up to page 167) Before the class next Thursday: Sections 3.5 and 3.4 (pp. 168-171). Also review the
More informationHouston Journal of Mathematics. c 2007 University of Houston Volume 33, No. 1, 2007
Houston Journal of Mathematics c 2007 University of Houston Volume 33, No. 1, 2007 ROUPS WITH SPECIFIC NUMBER OF CENTRALIZERS A. ABDOLLAHI, S.M. JAFARIAN AMIRI AND A. MOHAMMADI HASSANABADI Communicated
More informationStrongly nil -clean rings
J. Algebra Comb. Discrete Appl. 4(2) 155 164 Received: 12 June 2015 Accepted: 20 February 2016 Journal of Algebra Combinatorics Discrete Structures and Applications Strongly nil -clean rings Research Article
More informationSEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS. D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum
SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum Abstract. We study the semi-invariants and weights
More informationThompson s group. Yael Algom Kfir. February 5, 2006
Thompson s group Yael Algom Kfir February 5, 006 In these notes, we follow Introductory notes on Richard Thompson s groups by J. W. Cannon, W. J. Floyd and W. R. Parry published in L Enseignement Mathématique,
More informationOn Torsion-by-Nilpotent Groups
Journal of Algebra 241, 669676 2001 doi:10.1006jabr.2001.8772, available online at http:www.idealibrary.com on On Torsion-by-Nilpotent Groups Gerard Endimioni and Gunnar Traustason 1 C.M.I., Uniersite
More informationPRIME RADICAL IN TERNARY HEMIRINGS. R.D. Giri 1, B.R. Chide 2. Shri Ramdeobaba College of Engineering and Management Nagpur, , INDIA
International Journal of Pure and Applied Mathematics Volume 94 No. 5 2014, 631-647 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v94i5.1
More informationThe final publication is available at
Document downloaded from: http://hdl.handle.net/0/ This paper must be cited as: Ballester Bolinches, A.; Beidleman, JC.; Cossey, J.; Esteban Romero, R.; Rangland, MF.; Schmidt, J. (00). Permutable subnormal
More informationMath 4400, Spring 08, Sample problems Final Exam.
Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that
More informationD. S. Passman. University of Wisconsin-Madison
ULTRAPRODUCTS AND THE GROUP RING SEMIPRIMITIVITY PROBLEM D. S. Passman University of Wisconsin-Madison Abstract. This expository paper is a slightly expanded version of the final talk I gave at the group
More informationCommunications in Algebra Publication details, including instructions for authors and subscription information:
This article was downloaded by: [Professor Alireza Abdollahi] On: 04 January 2013, At: 19:35 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered
More informationIndependent generating sets and geometries for symmetric groups
Independent generating sets and geometries for symmetric groups Peter J. Cameron School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS UK Philippe Cara Department
More informationVAGUE groups are studied by M. Demirci[2]. R.
I-Vague Normal Groups Zelalem Teshome Wale Abstract The notions of I-vague normal groups with membership and non-membership functions taking values in an involutary dually residuated lattice ordered semigroup
More informationSOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin
SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS Roger C. Alperin An extraordinary theorem of Gromov, [Gv], characterizes the finitely generated groups of polynomial growth; a group has polynomial
More informationBasic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.
Math 546 Review Exam 2 NOTE: An (*) at the end of a line indicates that you will not be asked for the proof of that specific item on the exam But you should still understand the idea and be able to apply
More informationCERTAIN LOCALLY NILPOTENT VARIETIES OF GROUPS
BULL. AUSTRAL. MATH. SOC. VOL. 66 (2003) [115-119] 20F45 CERTAIN LOCALLY NILPOTENT VARIETIES OF GROUPS ALIREZA ABOLLAHI Let c ~ 0, d ~ 2 be integers and NJd) be the variety of groups in which every d-
More informationExtensions of Regular Rings
Available online at http://ijim.srbiau.ac.ir/ Int. J. Industrial Mathematics (ISSN 2008-5621) Vol. 8, No. 4, 2016 Article ID IJIM-00782, 7 pages Research Article Extensions of Regular Rings SH. A. Safari
More informationFoundations of Cryptography
Foundations of Cryptography Ville Junnila viljun@utu.fi Department of Mathematics and Statistics University of Turku 2015 Ville Junnila viljun@utu.fi Lecture 7 1 of 18 Cosets Definition 2.12 Let G be a
More informationRELATIVE N-TH NON-COMMUTING GRAPHS OF FINITE GROUPS. Communicated by Ali Reza Ashrafi. 1. Introduction
Bulletin of the Iranian Mathematical Society Vol. 39 No. 4 (2013), pp 663-674. RELATIVE N-TH NON-COMMUTING GRAPHS OF FINITE GROUPS A. ERFANIAN AND B. TOLUE Communicated by Ali Reza Ashrafi Abstract. Suppose
More informationThe Maximum Dimension of a Subspace of Nilpotent Matrices of Index 2
The Maximum Dimension of a Subspace of Nilpotent Matrices of Index L G Sweet Department of Mathematics and Statistics, University of Prince Edward Island Charlottetown, PEI C1A4P, Canada sweet@upeica J
More informationW P ZI rings and strong regularity
An. Ştiinţ. Univ. Al. I. Cuza Iaşi. Mat. (N.S.) Tomul LXIII, 2017, f. 1 W P ZI rings and strong regularity Junchao Wei Received: 21.I.2013 / Revised: 12.VI.2013 / Accepted: 13.VI.2013 Abstract In this
More informationMinimal non-p C-groups
Algebra and Discrete Mathematics Volume 18 (2014). Number 1, pp. 1 7 Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Minimal non-p C-groups Orest D. Artemovych Communicated by L. A. Kurdachenko
More informationHYPO-EP OPERATORS 1. (Received 21 May 2013; after final revision 29 November 2014; accepted 7 October 2015)
Indian J. Pure Appl. Math., 47(1): 73-84, March 2016 c Indian National Science Academy DOI: 10.1007/s13226-015-0168-x HYPO-EP OPERATORS 1 Arvind B. Patel and Mahaveer P. Shekhawat Department of Mathematics,
More informationSemisimplity Condition and Covering Groups by Subgroups
International Journal of Algebra, Vol. 4, 2010, no. 22, 1063-1068 Semisimplity Condition and Covering roups by Subgroups Mohammad Javad Ataei Department of Mathematics Payame Noor University (PNU), Isfahan,
More informationStrongly Nil -Clean Rings
Strongly Nil -Clean Rings Abdullah HARMANCI Huanyin CHEN and A. Çiğdem ÖZCAN Abstract A -ring R is called strongly nil -clean if every element of R is the sum of a projection and a nilpotent element that
More informationKhukhro, E. I. and Shumyatsky, P. MIMS EPrint: Manchester Institute for Mathematical Sciences School of Mathematics
Nonsoluble and non-p-soluble length of finite groups Khukhro, E. I. and Shumyatsky, P. 2013 MIMS EPrint: 2013.79 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester
More informationEXERCISES. a b = a + b l aq b = ab - (a + b) + 2. a b = a + b + 1 n0i) = oii + ii + fi. A. Examples of Rings. C. Ring of 2 x 2 Matrices
/ rings definitions and elementary properties 171 EXERCISES A. Examples of Rings In each of the following, a set A with operations of addition and multiplication is given. Prove that A satisfies all the
More information