PRESENTATIONS OF FREE ABELIAN-BY-(NILPOTENT OF CLASS 2) GROUPS
|
|
- Arthur Peters
- 5 years ago
- Views:
Transcription
1 PRESENTATIONS OF FREE ABELIAN-BY-(NILPOTENT OF CLASS 2) GROUPS MARTIN J EVANS 1 Introduction Let F n, M n and U n denote the free group of rank n, the free metabelian group of rank n, and the free abelian-by-(nilpotent of class 2) group of rank n, respectively Thus M n F n F n and U n F n [γ (F n ), γ (F n )], where γ (F n ) [F n, F n ], the third term of the lower central series of F n Consider an arbitrary epimorphism θ: F n F k, where k n A routine argument (see [1, Theorem 33]) using the Nielsen reduction process shows that there exists a free basis y, y,, y n of F n such that ker θ is the normal closure in F n of y, y,, y n k A similar result has been obtained for free metabelian groups by C K Gupta, N D Gupta and G A Noskov [5] Indeed, it follows immediately from [5, Theorem 31] that if k n and θ: M n M k is an epimorphism, then there exists a free basis m, m,, m n of M n such that ker θ is the normal closure in M n of m, m,, m n k In the light of these results it is natural to consider the following question Question Let V n denote the free group of rank n in a variety V, and let θ: V n V k be an arbitrary epimorphism for some k n Does there exist a free basis,,, n of V n such that ker θ is the normal closure of,,, n k in V n? We have seen that this question has an affirmative answer, for all k n,ifvis the variety of all groups or the variety of all metabelian groups The main purpose of this work is to show that the question has a negative answer in general We accomplish this by proving the following theorem THEOREM For each n 2, there exists an epimorphism ψ n : U n+ such that ker ψ n is not the normal closure in U n+ of a single element Let V n again denote the free group of rank n in some variety V We say that x V n is a primitie element of V n if there exist x, x,, x n V n such that x, x,, x n is a basis of V n From Theorem, we shall deduce the following corollary COROLLARY 12 (1) For each n 2, there exists an epimorphism ψ n : U n+ such that ker ψ n does not contain any primitie elements of U n+ (2) For each n 2, there exists an epimorphism β n : F n+ such that ker β n does not contain any primitie elements of F n+ The reader might like to compare the second part of this corollary with the main result of [4], which asserts that there exists an epimorphism γ: F M such that ker γ does not contain any primitive elements of F Received 3 August 1993; revised 2 February Mathematics Subject Classification 2F5, 2E1 Bull London Math Soc 3 (1998)
2 FREE ABELIAN-BY-(NILPOTENT OF CLASS 2) GROUPS 137 In [7], P A Linnell proved the following interesting theorem THEOREM 13 Let G be a finite group which can be generated by k elements, and let n k1 If M and N are normal subgroups of F n such that F n M F n N G, then F n M F n N In Section 6 we shall show that this theorem does not extend to infinite groups G THEOREM 14 For each n 2, there exist normal subgroups M and N of F n+ with F n+ M F n+ N U n and such that F n+ M F n+ N Our notation is standard throughout Given elements x and y in a group G, we have that xy y xy and [x, y] x y xy Operators are usually written on the right In particular, all modules will be right modules However, we shall write module homomorphisms on the left This should cause no confusion We conclude this introduction by listing, for the convenience of the reader, some of the nonstandard notation introduced below n a fixed integer greater than 1 n the free nilpotent group of class 2 and rank n g, g,, g n a free basis of n Λ the integral group ring of n t, t,, t n a basis of the free Λ-module of rank n1 c the commutator [ g, g ] For typographical reasons, it will be convenient on occasion to let a g and b g Thus a, b, g,, g n is a free basis of n, and c [a, b] 2 Free nilpotent groups of class 2 and stably free modules Let n denote the free nilpotent group of class 2 and rank n We begin this section by recording some well-known elementary properties of n The notation introduced here will be used throughout the sequel We fix once and for all an integer n 2 and a free basis g, g,, g n of n Now Z Z( n ), the centre of n, is free abelian and is freely generated by the elements c i,j [g i, g j ], where 1 i j n Moreover, n Z is free abelian of rank n and is freely generated by g Z, g Z,, g n Z Evidently n has a normal series Z G G G n n, where G i Z, g,, g i for i 1,, n Observe that G i n and G Z G i+ G i C for i 1,, n1 Note also that G is free abelian with basis g, c i,j 1 i j n On the other hand, G is not abelian, since [g, g ] c 1 It will simplify our notation if we set c c so that,, gg cg, where c is a non-trivial element of the centre of n A finitely generated module K over a ring R is said to be stably free if K L is a free R-module for some finitely generated free R-module L In[13], J T Stafford shows that if G is a non-abelian poly-(infinite cyclic) group, then the integral group ring G contains a non-cyclic stably free right ideal I such that I G G G Observe that I can be viewed as the kernel of the G-epimorphism η: G G G
3 138 MARTIN J EVANS given by η(i, α) α for all i I and α G Here, of course, we are making use of the isomorphism I G G G We shall need an explicit description of this epimorphism η in case G is a free nilpotent group of class 2 Such a description is obtained in Lemma 23 below However, we wish to emphasize that this is already implicit in [13] Let R be a ring and let σ be an automorphism of R Recall that the skew Laurent extension S R[x, x ; σ] is the ring that is additively isomorphic to the free R- module with basis xi i and has multiplication defined by rxi xir σi for all r R and i The following lemma is little more than a restatement of [13, Theorem 12] LEMMA 21 Let σ be an automorphism of a Noetherian domain R, and let S R[x, x ; σ] Suppose that there exists a non-unit r R and some s R such that S rs(xs)s and sr σ rr Define an S-homomorphism θ: S S S by θ(s,s )rs (xs)s for all (s, s ) S S Then θ is an epimorphism, and ker θ is a non-cyclic S-module satisfying ker θ S S S Throughout the sequel we shall let a g and b g Thus a, b, g,, g n is a free basis of n, and c [a, b] LEMMA 22 (compare [13, Lemma 28]) Let θ: G G G be the G - homomorphism defined by θ(α, α ) (ab 1)α (bab1)α for all (α, α ) G G Then θ is an epimorphism, and ker θ is a non-cyclic G -module satisfying ker θ G G G Proof Let S G, and note that S R[b, b ; σ] where R G and σ is the automorphism of R defined by r σ b rb for all r R Since G is a free abelian group of finite rank, Hilbert s basis theorem implies that R is Noetherian Furthermore, it is easy to see that R is a domain We aim to apply Lemma 21 with x b, r ab 1 and s ab1 Therefore, to complete the proof, it suffices to show that ab 1 is a non-unit of G, that ab 1 and bab1 together generate G as a right ideal and that (ab1) (ab 1) (ab 1) G Let ε denote the augmentation map ε: G, and note that (ab 1)ε Since uε 1 for all units u G, we deduce that ab 1 is a non-unit of G Now (ab 1) (ab1)b (bab1) (bab 1)b 1, and so (ab 1) G (bab1) G G Recall that G is a free abelian group that has a free basis a, c i,j 1 i j n and that c c [a, b] Clearly,, ca, c i,j 1 i j n is also a free basis of G and so we may define a ring homomorphism ξ: G G by setting caξ 1 and c i,j ξ c i,j for 1 i j n Since ca ab, it is easy to see that ker ξ (ab 1) G Now (ab1) (ab 1) ξ (ca1) (ca1) ξ (c 1) (c1), and it follows that (ab1) (ab 1) (ab 1) G The proof is complete LEMMA 23 (compare [13, Theorem 212]) Let η: n n n be the n -homomorphism defined by η(β, β ) (ab 1) β (bab1) β for all (β, β ) n n Then η is an epimorphism, and ker η is a non-cyclic n -module satisfying ker η n n n
4 FREE ABELIAN-BY-(NILPOTENT OF CLASS 2) GROUPS 139 Proof Makes the obvious changes in the proof of [13, Theorem 212], using Lemma 22 in place of [13, Lemma 28] 3 The main lemmas Throughout the remainder of this note we shall write Λ for the integral group ring of n, and let t, t,, t n be a basis of a free Λ-module of rank n1 LEMMA 31 Let ρ: t Λ t Λ Λ be the Λ-homomorphism defined by ρt a1 and ρt b1 Then there exists a Λ-epimorphism φ: t Λ t Λ t Λ t Λ t Λ such that (i) ker φ is not cyclic, and (ii) ρφt, ρφt a1 and ρφt b1 Proof Let α: t Λ t Λ t Λ be the Λ-homomorphism defined by αt t (ca1) and αt t (bca1) Since ca ab and ca ab, Lemma 23 shows that α is an epimorphism and that ker α is non-cyclic We extend α to an epimorphism β: t Λ t Λ t Λ t Λ t Λ by letting βt t (ca1), βt t (bca1) and βt t Clearly ker β ker α, so that ker β is non-cyclic The remainder of the proof shows how we may modify β to obtain an epimorphism φ with the required properties Let w t t a b (ca1)t ((ca1) a b b (a1)) (ca1) and w t a b t (ca ca1) b Note that w, w, t is a basis of t Λ t Λ t Λ since w, w, t can be obtained from t, t, t by applying elementary transformations We claim that ρβw, ρβw a1 and ρβt b1 It is clear that ρβt b1, and an easy calculation, using the fact that ab ca, shows that ρβw a1 It is, of course, possible to verify that ρβw by direct calculation, but the details are rather unpleasant Instead, we observe that w t (t b (a1)) (ca1), where (t t (ca1)) a b, and invite the reader to verify that ρβ b (a1) With this information at hand, we have ρβw ρβt (ρβρβt b (a1)) (ca1) ρt (ca1)(ρβρβt b (a1)) (ca1) (ρt (ρβρβt b (a1))) (ca1) (a1(b (a1)(b1) b (a1))) (ca1) ((a1)b (a1)(b1) b (a1)) (ca1) (1b (b1) b )(a1) (ca1), as claimed Since w, w, t is a basis of t Λ t Λ t Λ, there exists an automorphism γ of t Λ t Λ t Λ such that γt w, γt w and γt t Let φβγ Clearly φ: t Λ t Λ t Λ t Λ t Λ is an epimorphism Moreover, ker φγ (ker β), so that ker φ ker β It follows that ker φ is non-cyclic Finally, we note that ρφt ρβγt ρβw, ρφt ρβγt ρβw a1 and ρφt ρβγt ρβt b1
5 14 MARTIN J EVANS The proof is complete LEMMA 32 Let ρ: t Λ t Λ t n Λ Λ be the Λ-homomorphism defined by ρt i g i 1, for i 1,, n Then there exists a Λ-epimorphism φ: t Λ t Λ t n Λ t Λ t Λ t n Λ such that (i) ker φ is not cyclic, and (ii) ρφt and ρφt i g i 1, for i 1,, n Proof If n2, then this is simply a restatement of Lemma 31, so we shall assume that n 3 Let φ and ρ be the maps referred to in Lemma 31, and define φ by φt φt, φt φt, φt φt and φt i t i for i 3, 4,, n Observe that φ is the restriction of φ to t Λ t Λ t Λ It follows that φ is an epimorphism and that ker φ ker φ From Lemma 31(i) we deduce that ker φ is not cyclic Part (ii) follows immediately from Lemma 32(ii) since ρ is the restriction of ρ to t Λ t Λ 4 Magnus embedding Let G be any group and let M be the free G-module with basis e,, e k Then it is easy to see that G M ( g m ) * gg,mm forms a group under formal matrix multiplication There is an extremely useful method, due to W Magnus [9], for obtaining representations of groups of the form F k R in such groups of matrices We next record a version of Magnus result as strengthened by V N Remeslennikov and V G Sokolov, who proved the final statement in this lemma in [12] LEMMA 41 Let x, x,, x k be a basis for F k, and let G be any group Let θ: F k G be an epimorphism with kernel R, and let e, e,, e k be a basis for a free G-module M Then the map x i R x i θ e i Moreoer, an element with m k i= e i r i is in the image of ψ if and only if extends to an injectie homomorphism ψ: F k R G M g m of G M k (x i θ1) r i g1 i= Let θ: F n n be the epimorphism defined by x i θ g i for i 1,, n Then ker θ γ (F n ), and applying Lemma 41 we obtain the following representation of U n F n [γ (F n ), γ (F n )]
6 LEMMA 42 FREE ABELIAN-BY-(NILPOTENT OF CLASS 2) GROUPS 141 U n is isomorphic to the group of all matrices of the form g n i= t i r i with g n, r, r,, r n Λ and n i= (g i 1)r i g1 Equialently, U n is isomorphic to the group of all matrices of the form g with g G, t Λ t n Λ and ρ g1, where ρ is the Λ-homomorphism defined in Lemma 32 It follows immediately from Lemma 41 that the group of matrices referred to in for i 1,, n t i We shall require one more application of Lemma 41 this lemma is generated by u,, u n where u i g i LEMMA 43 Let F n+ be the free group with basis x, x,, x n, and define an epimorphism π: F n+ n by x π 1 and x i π g i for i 1,, n Let S denote the kernel of π Then F n+ S is isomorphic to the group H of all matrices of the form g n i= t i r i with g n, r, r,, r n Λ and n i= (g i 1)r i Equialently, F n+ S is isomorphic to the group H of all matrices of the form g w with g n, w t Λ t Λ t n Λ and ρφw g1, where ρ and φ are the Λ-homomorphisms referred to in Lemma 32 5 The proofs of Theorem and Corollary 12 Throughout this section we shall identify U n with its matrix representation given in Lemma 42 Thus U n u,, u n Furthermore, H is the group of matrices defined in Lemma 43 LEMMA 51 Let φ: t Λ t Λ t n Λ t Λ t n Λ be the epimorphism obtained in Lemma 32 Then φ induces an epimorphism φ*: HU n defined by g w φ* g for all φw g H w Proof We begin by observing that the image of the function φ* lies in U n For let A g be an arbitrary element of H, so that ρφw g1 Then Lemma 42 w shows that Aφ* since ρ(φw) g1 We omit the routine argument which shows that φ* is a homomorphism, and so it remains to show only that φ* is surjective Now φ is surjective so, for each i 1,, n, there exists w i t Λ t Λ t n Λ such that φw i t i For each i 1,, n, we have that ρφw i ρt i g i 1, and therefore h i g i is an element of H Now w i h i φ* u i for all i 1,, n, and as U n is generated by u,, u n, we deduce that φ* is surjective
7 142 MARTIN J EVANS Our next lemma is well-known LEMMA 52 Let K be any integral group ring, and let (K)m denote the free Kmodule of rank m If µ: (K)m(K)mis a K-epimorphism, then µ is an isomorphism Proof Kaplansky has shown (see []) that if A and B are mm matrices with elements in the complex group ring G, then AB I m implies that BA I m Since (K)m is a projective K-module, we may deduce that (K)m (K)m ker µ The result now follows from [3, Proposition 21] LEMMA 53 Let φ*: HU n be the epimorphism defined in Lemma 51 Then ker φ* is not the normal closure in H of a single element Proof Let us write Λn+ for t Λ t Λ t n Λ and Λn for t Λ t n Λ Observe that if h ker φ*, then h 1 w for some w Λ n+ Suppose, for a contradiction, that ker φ* is the normal closure of h 1 in H Now Hker φ* is w isomorphic to the n-generator group U n, and consequently H ker φ*, h, h,, h n for some h, h,, h n H Since ker φ* is an abelian group that contains h, we deduce that ker φ* hh h h,h,,h n, and it follows that H h, h, h,, h n Let h i l i w i for i 1,, n, so that H - 1 w, l w,, l n w n It is easy to see that w, w,, w n is a basis of Λn+ Since h ker φ*, we have that φw, and therefore ker φ contains a basis element of Λn+, namely w Clearly Λn+wΛ Λn Moreover, φ: Λn+ Λn is an epimorphism, so we also have that Λn+ker φ Λn Now w ker φ, and so there exists a natural homomorphism µ: Λn+wΛ Λn+ker φ This is a Λ-epimorphism from a copy of Λn to another copy of Λn, and so Lemma 52 shows that µ is an isomorphism In particular, µ is monic and it follows that wλ ker φ However, Lemma 32 asserts that ker φ is not cyclic, and this contradiction completes the proof Proof of Theorem Recall from Lemma 43 that H is isomorphic to F n+ S, where F n+ S n Consequently, there exists an epimorphism δ: U n+ H We define the required epimorphism ψ n : U n+ by ψ n δφ* We must show that ker ψ n is not the normal closure in U n+ of a single element Suppose, for a contradiction, that ker ψ n is the normal closure in U n+ of an element u Then clearly ker φ* is the normal closure in H of uδ This contradicts Lemma 53, and completes the proof Proof of Corollary 12 (i) Since U n is finitely generated and abelian-by-nilpotent, it is residually finite [6, Theorem 1] Moreover, finitely generated residually finite groups are Hopfian [8], so it follows that U n is Hopfian Suppose, for a contradiction, that u ker ψ n is a primitive element of U n+ Let N denote the normal closure of u in U n+, and notice that U n+ N Note also
8 FREE ABELIAN-BY-(NILPOTENT OF CLASS 2) GROUPS 143 that U n+ ker ψ n Now N ker ψ n, so there is a natural map α: U n+ N U n+ ker ψ n Observe that α is an epimorphism from a copy of U n to a copy of U n Since U n is Hopfian, we deduce that α is an isomorphism Hence N ker ψ n, and therefore ker ψ n is the normal closure in U n+ of u This contradicts Theorem and completes the proof of (i) (ii) Let α: F n+ + be any epimorphism, and set β n αψ n Ifxis a primitive element of F n+ such that x ker β n, then clearly xα is a primitive element of U n+ such that xα ker ψ n However, by (i), ker ψ n does not contain any primitive elements of U n+, and we deduce that ker β n does not contain any primitive elements of F n+ 6 The proof of Theorem 14 Let x, x,, x n be a basis of F n+, and write γ for γ (F n+ ) We define an epimorphism π: F n+ n by x π 1 and x i π g i for i 1,, n Let S denote the kernel of π so that F n+ S n, and note that Lemma 43 shows that F n+ S is isomorphic to H via an isomorphism θ, say It follows from Lemma 53 that θφ*: F n+ SU n is an epimorphism such that ker θφ* is not the normal closure in F n+ S of a single element Moreover, since ker φ* is abelian, it follows that ker θφ* is also abelian Let N be the normal subgroup of F n+ such that S N and NSker θφ* Then F n+ N, and NS is an abelian group which is not the normal closure in F n+ S of a single element Since NS is abelian, N S, and it follows (see [2]) that N S Moreover, since γ S, it follows that γ N S Now F n+ N, and therefore F n+ γ N n Hence F n+ γ N F n+ S, and we deduce from the Hopficity of n that γ N S Let M be the normal closure of x, γ in F n+ Then F n+ M and γ M S Note that MS is the normal closure of x S in F n+ S Suppose, for a contradiction, that there exists an isomorphism α: F n+ N F n+ M Then (NN)α MM, since NN and MM are the Hirsch Plotkin radicals of F n+ N and F n+ M, respectively [1, Theorem 2] We claim that (SN)α SM Recall that γ N S γ M, so that SN(γ NN)(NN) and SM (γ MM)(MM) Now γ NNγ (F n+ N) and γ MMγ (F n+ M), so it follows that (γ NN)α γ MM We have seen above that (NN)α MM, and it now follows that (SN)α (γ NN)α(NN)α (γ MM)(MM) SM as claimed Thus (SN)α SM, and we observe that α therefore induces an automorphism α*: F n+ SF n+ S given by ( fs)α* ( fnα)s for all fs F n+ S Moreover, since (NN)α MM, we deduce that (NS)α* MS This gives the desired contradiction, since MS is the normal closure of x S in F n+ S, whereas NS is not the normal closure of a single element References 1 L AUSLANDER and E SCHENKMAN, Free groups, Hirsch Plotkin radicals, and applications to geometry, Proc Amer Math Soc 16 (1965) M AUSLANDER and R C LYNDON, Commutator subgroups of free groups, Amer J Math 77 (1955) P M COHN, Some remarks on the invariant basis property, Topology 5 (1966) M J EVANS, Presentations of the free metabelian group of rank 2, Canad Math Bull 37 (1994) no 4,
9 144 MARTIN J EVANS 5 C K GUPTA, N D GUPTA and G A NOSKOV, Some applications of Artamonov Quillen Suslin theorems to metabelian inner rank and primitivity, Canad J Math 46 (1994) no 2, P HALL, On the finiteness of certain soluble groups, Proc London Math Soc 9 (1959) no 3, P A LINNELL, Relation modules and augmentation ideals of finite groups, J Pure Appl Algebra 22 (1981) A MAL CEV, On isomorphic matrix representations of infinite groups, Mat Sb 8 (194) no 5, (Russian) 9 W MAGNUS, On a theorem of Marshall Hall, Ann of Math 4 (1939) W MAGNUS, A KARRASS and D SOLITAR, Combinatorial group theory (Interscience, New York, 1966) M S MONTGOMERY, Left and right inverses in group algebras, Bull Amer Math Soc 75 (1969) V N REMESLENNIKOV and V G SOKOLOV, Some properties of a Magnus embedding, Algebra i Logika 9 (197) no 5, J T STAFFORD, Stably free projective right ideals, Compositio Math 54 (1985) Department of Mathematics University of Alabama Tuscaloosa, AL USA
ON 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 informationIsomorphism of noncommutative group algebras of torsion-free groups over a field
An. Şt. Univ. Ovidius Constanţa Vol. 13(2), 2005, 23 30 Isomorphism of noncommutative group algebras of torsion-free groups over a field P. V. Danchev Abstract The isomorphism problem for group algebras
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 informationARTINIAN SKEW GROUP RINGS1
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 75, Number I, June 1979 ARTINIAN SKEW GROUP RINGS1 JAE KEOL PARK Abstract. Let R be a ring with identity and let 0 be a group homomorphism from a
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 informationThe Cyclic Subgroup Separability of Certain HNN Extensions
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 29(1) (2006), 111 117 The Cyclic Subgroup Separability of Certain HNN Extensions 1
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 informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationTwo 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 informationResidual finiteness of infinite amalgamated products of cyclic groups
Journal of Pure and Applied Algebra 208 (2007) 09 097 www.elsevier.com/locate/jpaa Residual finiteness of infinite amalgamated products of cyclic groups V. Metaftsis a,, E. Raptis b a Department of Mathematics,
More informationON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb
ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal
More informationA CONTINUALLY DESCENDING ENDOMORPHISM OF A FINITELY GENERATED RESIDUALLY FINITE GROUP
A CONTINUALLY DESCENDING ENDOMORPHISM OF A FINITELY GENERATED RESIDUALLY FINITE GROUP DANIEL T. WISE Abstract Let φ : G G be an endomorphism of a finitely generated residually finite group. R. Hirshon
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 informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More informationSUMS OF UNITS IN SELF-INJECTIVE RINGS
SUMS OF UNITS IN SELF-INJECTIVE RINGS ANJANA KHURANA, DINESH KHURANA, AND PACE P. NIELSEN Abstract. We prove that if no field of order less than n + 2 is a homomorphic image of a right self-injective ring
More informationAUTOMORPHISMS OF FINITE ORDER OF NILPOTENT GROUPS IV
1 AUTOMORPHISMS OF FINITE ORDER OF NILPOTENT GROUPS IV B.A.F.Wehrfritz School of Mathematical Sciences Queen Mary University of London London E1 4NS England ABSTRACT. Let φ be an automorphism of finite
More informationTHE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND.
THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. 58105-5075 ABSTRACT. In this paper, the integral closure of a half-factorial
More informationOn the linearity of HNN-extensions with abelian base groups
On the linearity of HNN-extensions with abelian base groups Dimitrios Varsos Joint work with V. Metaftsis and E. Raptis with base group K a polycyclic-by-finite group and associated subgroups A and B of
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationarxiv: v2 [math.gr] 16 Feb 2010
TWO REMARKS ON FIRST-ORDER THEORIES OF BAUMSLAG-SOLITAR GROUPS MONTSERRAT CASALS-RUIZ AND ILYA KAZACHKOV arxiv:1002.2658v2 [math.gr] 16 Feb 2010 ABSTRACT. In this note we characterise all finitely generated
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 informationFINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN
FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN A. I. LICHTMAN AND D. S. PASSMAN Abstract. In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the
More informationOn Dense Embeddings of Discrete Groups into Locally Compact Groups
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS 4, 31 37 (2003) ARTICLE NO. 50 On Dense Embeddings of Discrete Groups into Locally Compact Groups Maxim S. Boyko Institute for Low Temperature Physics and Engineering,
More informationUnimodular Elements and Projective Modules Abhishek Banerjee Indian Statistical Institute 203, B T Road Calcutta India
Unimodular Elements and Projective Modules Abhishek Banerjee Indian Statistical Institute 203, B T Road Calcutta 700108 India Abstract We are mainly concerned with the completablity of unimodular rows
More informationA GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS
A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS N. MOHAN KUMAR AND PRAMOD K. SHARMA Abstract. Let R be a commutative ring with identity. We define a graph Γ Aut R (R) on R, with vertices elements
More informationINTRODUCTION TO ALGEBRAIC TOPOLOGY. (1) Let k < j 1 and 0 j n, where 1 n. We want to show that e j n e k n 1 = e k n e j 1
INTRODUCTION TO ALGEBRAIC TOPOLOGY Exercise 7, solutions 1) Let k < j 1 0 j n, where 1 n. We want to show that e j n e k n 1 = e k n e j 1 n 1. Recall that the map e j n : n 1 n is defined by e j nt 0,...,
More informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS
Communications in Algebra, 36: 388 394, 2008 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870701715712 ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS
More informationStructure of rings. Chapter Algebras
Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together
More informationIA-automorphisms of groups with almost constant upper central series
IA-automorphisms of groups with almost constant upper central series Marianna Bonanome, Margaret H. Dean, and Marcos Zyman Abstract. Let G be any group for which there is a least j such that Z j = Z j+1
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationSome algebraic properties of. compact topological groups
Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete
More informationHomological Decision Problems for Finitely Generated Groups with Solvable Word Problem
Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem W.A. Bogley Oregon State University J. Harlander Johann Wolfgang Goethe-Universität 24 May, 2000 Abstract We show
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
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 informationOn Galois cohomology and realizability of 2-groups as Galois groups II. Author copy
Cent. Eur. J. Math. 9(6) 2011 1333-1343 DOI: 10.2478/s11533-011-0086-z Central European Journal of Mathematics On Galois cohomology and realizability of 2-groups as Galois groups II Research Article Ivo
More informationGENERALIZED BRAUER TREE ORDERS
C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 2 GENERALIZED BRAUER TREE ORDERS BY K. W. R O G G E N K A M P (STUTTGART) Introduction. p-adic blocks of integral group rings with cyclic defect
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationSurface Groups Within Baumslag Doubles
Fairfield University DigitalCommons@Fairfield Mathematics Faculty Publications Mathematics Department 2-1-2011 Surface Groups Within Baumslag Doubles Benjamin Fine Fairfield University, fine@fairfield.edu
More informationAmin Saied Finitely Presented Metabelian Groups 1
Amin Saied Finitely Presented Metabelian Groups 1 1 Introduction Motivating Question There are uncountably many finitely generated groups, but there are only countably many finitely presented ones. Which
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 informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationINVARIANTS FOR COMMUTATIVE GROUP ALGEBRAS
INVARIANTS FOR COMMUTATIVE GROUP ALGEBRAS BY WARREN MAY Let K be a commutative ring with identity and G an abelian group. Then the structure of KG as a K-algebra depends to some extent upon the primes
More informationThe Number of Homomorphic Images of an Abelian Group
International Journal of Algebra, Vol. 5, 2011, no. 3, 107-115 The Number of Homomorphic Images of an Abelian Group Greg Oman Ohio University, 321 Morton Hall Athens, OH 45701, USA ggoman@gmail.com Abstract.
More informationFréchet algebras of finite type
Fréchet algebras of finite type MK Kopp Abstract The main objects of study in this paper are Fréchet algebras having an Arens Michael representation in which every Banach algebra is finite dimensional.
More informationSpectrally Bounded Operators on Simple C*-Algebras, II
Irish Math. Soc. Bulletin 54 (2004), 33 40 33 Spectrally Bounded Operators on Simple C*-Algebras, II MARTIN MATHIEU Dedicated to Professor Gerd Wittstock on the Occasion of his Retirement. Abstract. A
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationTHE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter
THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationREFLEXIVITY OF THE SPACE OF MODULE HOMOMORPHISMS
REFLEXIVITY OF THE SPACE OF MODULE HOMOMORPHISMS JANKO BRAČIČ Abstract. Let B be a unital Banach algebra and X, Y be left Banach B-modules. We give a sufficient condition for reflexivity of the space of
More informationLecture 8, 9: Tarski problems and limit groups
Lecture 8, 9: Tarski problems and limit groups Olga Kharlampovich October 21, 28 1 / 51 Fully residually free groups A group G is residually free if for any non-trivial g G there exists φ Hom(G, F ), where
More informationALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.
ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
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 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 informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationMINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES
Communications in Algebra, 36: 1976 1987, 2008 Copyright Taylor & Francis roup, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870801941903 MINIMAL NUMBER OF ENERATORS AND MINIMUM ORDER OF
More informationarxiv: v1 [math.gr] 21 Jun 2017
WEAK COMMUTATIVITY AND FINITENESS PROPERTIES OF GROUPS MARTIN R. BRIDSON AND DESSISLAVA H. KOCHLOUKOVA Abstract. We consider the group X(G) obtained from G G by forcing each element g in the first free
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 informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationRELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES
RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES HENRIK HOLM Abstract. Given a precovering (also called contravariantly finite) class there are three natural approaches to a homological dimension
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationOn the image of noncommutative local reciprocity map
On the image of noncommutative local reciprocity map Ivan Fesenko 0. Introduction First steps in the direction of an arithmetic noncommutative local class field theory were described in [] as an attempt
More informationIntegral Extensions. Chapter Integral Elements Definitions and Comments Lemma
Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients
More informationISOMORPHISM OF COMMUTATIVE MODULAR GROUP ALGEBRAS. P.V. Danchev
Serdica Math. J. 23 (1997), 211-224 ISOMORPHISM OF COMMUTATIVE MODULAR GROUP ALGEBRAS P.V. Danchev Communicated by L.L. Avramov Abstract. Let K be a field of characteristic p > 0 and let G be a direct
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 informationNormal Automorphisms of Free Burnside Groups of Period 3
Armenian Journal of Mathematics Volume 9, Number, 017, 60 67 Normal Automorphisms of Free Burnside Groups of Period 3 V. S. Atabekyan, H. T. Aslanyan and A. E. Grigoryan Abstract. If any normal subgroup
More informationISOMORPHISM OF MODULAR GROUP ALGEBRAS OF ABELIAN GROUPS WITH SEMI-COMPLETE p-primary COMPONENTS
Commun. Korean Math. Soc. 22 (2007), No. 2, pp. 157 161 ISOMORPHISM OF MODULAR GROUP ALGEBRAS OF ABELIAN GROUPS WITH SEMI-COMPLETE p-primary COMPONENTS Peter Danchev Reprinted from the Communications of
More informationON PALINDROMIC WIDTHS OF NILPOTENT AND WREATHE PRODUCTS
ON PALINDROMIC WIDTHS OF NILPOTENT AND WREATHE PRODUCTS VALERIY G. BARDAKOV, OLEG V. BRYUKHANOV, AND KRISHNENDU GONGOPADHYAY arxiv:1501.05170v2 [math.gr] 2 Apr 2015 Abstract. We prove that nilpotent product
More informationClassifying Camina groups: A theorem of Dark and Scoppola
Classifying Camina groups: A theorem of Dark and Scoppola arxiv:0807.0167v5 [math.gr] 28 Sep 2011 Mark L. Lewis Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu
More informationWinter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada
Winter School on alois Theory Luxembourg, 15-24 February 2012 INTRODUCTION TO PROFINITE ROUPS Luis Ribes Carleton University, Ottawa, Canada LECTURE 2 2.1 ENERATORS OF A PROFINITE ROUP 2.2 FREE PRO-C ROUPS
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationADDITIVE GROUPS OF SELF-INJECTIVE RINGS
SOOCHOW JOURNAL OF MATHEMATICS Volume 33, No. 4, pp. 641-645, October 2007 ADDITIVE GROUPS OF SELF-INJECTIVE RINGS BY SHALOM FEIGELSTOCK Abstract. The additive groups of left self-injective rings, and
More informationOn a question of B.H. Neumann
On a question of B.H. Neumann Robert Guralnick Department of Mathematics University of Southern California E-mail: guralnic@math.usc.edu Igor Pak Department of Mathematics Massachusetts Institute of Technology
More information4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;
4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length
More informationarxiv: v1 [math.gr] 26 Jul 2013
On hopfian cofinite subsemigroups Victor Maltcev and N. Ruškuc arxiv:1307.6929v1 [math.gr] 26 Jul 2013 October 1, 2018 Abstract If a finitely generated semigroup S has a hopfian (meaning: every surjective
More informationPrimitive Ideals of Semigroup Graded Rings
Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 2004 Primitive Ideals of Semigroup Graded Rings Hema Gopalakrishnan Sacred Heart University, gopalakrishnanh@sacredheart.edu
More informationCONJUGACY SEPARABILITY OF CERTAIN HNN EXTENSIONS WITH NORMAL ASSOCIATED SUBGROUPS. Communicated by Derek J. S. Robinson. 1.
International Journal of Group Theory ISSN (print): 2251-7650, ISSN (on-line): 2251-7669 Vol 5 No 4 (2016), pp 1-16 c 2016 University of Isfahan wwwtheoryofgroupsir wwwuiacir CONJUGACY SEPARABILITY OF
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 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 informationarxiv: v1 [math.gt] 4 Nov 2014
POLYHEDRA FOR WHICH EVERY HOMOTOPY DOMINATION OVER ITSELF IS A HOMOTOPY EQUIVALENCE DANUTA KO LODZIEJCZYK arxiv:1411.1032v1 [math.gt] 4 Nov 2014 Abstract. We consider a natural question: Is it true that
More informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationAlgebraic geometry over groups I: Algebraic sets and ideal theory
Algebraic geometry over groups I: Algebraic sets and ideal theory Gilbert Baumslag Alexei Myasnikov Vladimir Remeslennikov Abstract The object of this paper, which is the first in a series of three, is
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 informationA stably free nonfree module and its relevance for homotopy classification, case Q 28
ISSN 1472-2739 (on-line) 1472-2747 (printed) 899 Algebraic & Geometric Topology Volume 5 (2005) 899 910 Published: 29 July 2005 ATG A stably free nonfree module and its relevance for homotopy classification,
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
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 informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationOn the Homotopy Type of CW-Complexes with Aspherical Fundamental Group
On the Homotopy Type of CW-Complexes with Aspherical Fundamental Group J. Harlander a, Jacqueline A. Jensen b, a Department of Mathematics, Western Kentucky University, Bowling Green, KY 42101, USA b Department
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 informationInternational Journal of Pure and Applied Mathematics Volume 13 No , M-GROUP AND SEMI-DIRECT PRODUCT
International Journal of Pure and Applied Mathematics Volume 13 No. 3 2004, 381-389 M-GROUP AND SEMI-DIRECT PRODUCT Liguo He Department of Mathematics Shenyang University of Technology Shenyang, 110023,
More informationPERFECT SUBGROUPS OF HNN EXTENSIONS
PERFECT SUBGROUPS OF HNN EXTENSIONS F. C. TINSLEY (JOINT WITH CRAIG R. GUILBAULT) Introduction This note includes supporting material for Guilbault s one-hour talk summarized elsewhere in these proceedings.
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More information