Notas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018

Size: px
Start display at page:

Download "Notas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018"

Transcription

1 Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre

2 Le risposte uccidono le domande. 2

3 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4 Profinite groups 14 5 The Tychonoff Theorem 17 6 Inverse limits 18 7 Pro-C groups 22 8 Completion 26 9 Exercises - list Lagrange and Sylow Pronilpotent and pro-p groups A theorem of Serre about finitely generated pro-p groups Finitely generated profinite groups A dense subgroup of finite index The automorphism group Hopfian groups Exercises - list Exercises - list Infinite Galois Theory The fundamental theorem of Galois Theory Free profinite groups Projective profinite groups Positively Finitely Generated groups PMSG groups 80 3

4 1 Topology A topological space is a set X endowed with a family τ of subsets of X (called the open subsets of X, and τ is called the topology of X) with the following properties. 1. If {U i : i I} is an arbitrary family of open subsets of X then i I U i is open (τ is closed under arbitrary unions). 2. If U, V are open subsets of X then U V is open (τ is closed under finite intersections). 3. and X are open (, X τ). We may indicate such topological space also as a pair (X, τ) Let (X, τ) be a topological space. A subset F of X is called closed if X F is open. It is easy to see that the family of closed subsets contains and X, it is closed under finite unions and arbitrary intersections. If Y is a subset of X then Y has the structure of topological space whose open subsets are of the form U Y where U is an open subset of X. This is called topological subspace. Whenever we will treat a subset of a topological space as a topological space we will mean it is endowed with the subspace topology. Example: The discrete topology. If X is any set let P (X) denote the set of all subsets of X. Then P (X) is (clearly) a topology, called the discrete topology on X. A discrete space is a topological space X whose topology is precisely the discrete topology. Example: The trivial topology. If X is any set then {, X} is (clearly) a topology on X, called the trivial topology. Example: If X is a topological space with exactly one element (we call such space point ) then there is only one topology on X, it is {, X} (which in this unique case is both discrete and trivial). Example: The real line R has the usual topology, its members are all the arbitrary unions of open intervals of the form (a, b) = {x R : a < x < b} where a < b. This topology is not discrete (for example {0} is not open). Exercise: Prove that in this space the subset (0, 1] = {x R : 0 < x 1} is not open and not closed. Exercise: Prove that Z (as a topological subspace of R) is discrete. Example: The unique possible topologies on the set {1, 2} are the trivial topology, the discrete topology and the two topologies τ 1 = {, {1, 2}, {1}} and 4

5 τ 2 = {, {1, 2}, {2}}. With the topology τ 1 the point {2} is closed, the point {1} is not closed; with the topology τ 2 the point {1} is closed, the point {2} is not closed. We also recall some other notions. A base (or basis) for the topology τ is a collection of open subsets of X (i.e. elements of τ) (U λ ) λ such that every non-empty open subset of X (i.e. element of τ) can be written as a union of some of the U λ. For example a base of the real line R (with the usual topology) is given by the open intervals (a, b) with a < b. X is said to be disconnected if it can be written as a disjoint union of two proper non empty open subsets, and connected otherwise. For example a discrete space with more than one element is clearly disconnected. For example the space {1, 2} with the topology {, {1, 2}, {1}} is connected. X is said to be totally disconnected if everytime a subset of X is connected, it has exactly one element. For example any discrete space is (clearly) totally disconnected. X is said to be compact if any open cover of X admits a finite subcover. In other words everytime {U i : i I} is a family of open subsets of X with the property that X = i I U i there exists J I, a finite subset of I, such that X = j J U j. Equivalently, any family of closed subsets with empty intersection has a finite subfamily with empty intersection. Equivalently if a family of closed subsets has the property that every finite subfamily has non-empty intersection then the family itself has non-empty intersection. Exercise: Let X be a discrete space. Show that X is compact if and only if it is finite. Exercise: Show that in the real line R with the usual topology the open intervals (a, b) are not compact, and the closed intervals [a, b] = {x R : a x b} are compact. Exercise: Let X be a topological space and let B be a base for the topology of X. Show that X is compact if and only if any open cover of X consisting of elements of B admits a finite subcover. If C X is closed and X is compact then C is compact. [If C is a union of some U i C where each U i is open in X then X is the union (X C) i U i hence there is a finite set I of indeces with X = (X C) i I U i therefore i I U i C = C.] A topological space X is called Hausdorff if for any two points x, y of X there are open subsets U, V of X such that x U, y V and U V =. Exercise: show that in a Hausdorff topological space the points are always closed. 5

6 If X is Hausdorff and C X is compact then C is closed. [Let x X C, for every c C let U cx, V cx be open in X with c U cx, x V cx and U cx V cx =, then C = c C U cx C so there are finitely many c i (x) C with C i U c i(x)x. Let V x := i V c i(x)x, it is open (finite intersection of opens) and contains x, also V x C =. Therefore X C = x X C V x is open.] A function f : X Y between two topological spaces is called continuous if f 1 (V ) is open in X whenever V is open in Y. Recall that f 1 (V ) := {x X : f(x) V } (pre-image of V ). Exercise: Let f : X Y be a continous map between two topological spaces. Show that if X is compact then f(x) (the image of f) is compact. Exercise: Let f : X Y be a continuous map between two topological spaces. Show that if X is connected then f(x) (the image of f) is connected. Exercise: Show that if f : X Y is a continous bijection, X is compact and Y is Hausdorff, then f is a homeomorphism (in other words the inverse f 1 is continuous). Exercise: Find an example of a continuous bijection f : X Y whose inverse is not continuous. A subset of a topological space is called clopen if it is both open and closed. For example if U and V are disjoint open subsets of a space X with U V = X then U and V are clopen (their complements are V and U respectively). In the next class we will prove the following theorem. Theorem 1. Let X be a Hausdorff compact and totally disconnected topological space. Then every open subset of X is a union of clopen subsets of X, that is, X admits a basis consisting of clopens. 2 Profinite spaces Lemma 1. Let X be a compact and Hausdorff topological space. Let C, D be closed and disjoint subsets of X. Then there exist U, V, open subsets of X such that C U, D V and U V =. Proof. First assume C = {c} is a single point. In this case for each d D there are disjoint open sets U cd, V cd with c U cd and d V cd. Observe that D = d D V cd D so since D is compact (because it is closed in a compact) there is a finite family d i of points of D with D V = i V cd i, now let U = i U cd i, then U is open (finite intersection of opens) and c U, moreover U is disjoint from V by construction. Now we consider the general case. Let c C. By the above paragraph there exist two disjoint open subsets U c, V c of X such that c U c and D V c. 6

7 Now the union of the U c covers C, so we can extract a finite subcovering, say U c1,..., U ck (C is closed in a compact, so it is compact). Take as U the union U c1... U ck and as V the intersection V c1... V ck. Exercise: If X is a topological space and F G X are subspaces, with F closed in G and G closed in X, show that F is closed in X. Lemma 2. Let X be a compact and Hausdorff topological space, and let x X. Let {C λ } λ Λ be the family of all the clopens of X that contain x. Then A := λ Λ C λ is connected. Proof. Let by contradiction be A = C D where C, D are non-empty open disjoint subsets of A. A is an intersection of closed, so it is closed, hence compact (because X is compact). C and D are closed in X (being closed in A, which is closed), so they are compact in X. By the previous lemma, there exist U and V open in X such that C U, D V and U V =. Then clearly A (X (U V )) =. That is, ( C λ ) (X (U V )) = λ (X (U V ))) = λ Λ λ Λ(C We have found a family of closed subsets of the compact space X with empty intersection, so it admits a finite subfamily with empty intersection: there exists J Λ finite such that C j U V j J Now, j J C j is clopen, being a finite intersection of clopens. Moreover, using the previous formula it is clear that A j J C j = (U j J C j ) (V j J C j ) Since U and V are disjoint, this says that V ( j C j) and U ( j C j) are closed in j C j which is closed in X, so that they are closed in X. It follows that U ( j C j) and V ( j C j) are clopens of X. Since x A, either x U ( j C j) or x V ( j C j). Without loss of generality assume that x U ( j C j). Then U ( j C j) is one of the C λ, being a clopen that contains x. It follows that it contains A (by definition of A), therefore A U. Since A = C D and D is disjoint from U it follows that A C U so D =. Contradiction. A topological space is called profinite if it is Hausdorff, compact and totally disconnected. For example any finite discrete space is (clearly) profinite. 7

8 Theorem 2. Let X be a profinite space. Then every open subset of X is a union of clopen subsets of X, that is, X admits a basis consisting of clopens. Proof. Let A be an open non-empty subset of X, and let x A. It suffices now to find a clopen C of X such that x C A. Now, by the previous lemma the intersection of all the clopens of X containing x is connected, so it has exactly one element (X is totally disconnected), that clearly has to be x. So if X y x there exists a clopen F y such that x F y and y F y. Now we have X = A ( (X F y )) x y X This is an open covering of X, so it admits a finite subcovering (in which A has to show up because x X F y for any x y X): X = A (X F y1 )... (X F yn ) = A (X (F y1... F yn )) So that n i=1 F y i is a clopen contained in A and containing x. Let X be a topological space and let A be a subset of X. The closure of A is the intersection of the closed subsets of X containing A. It is the smallest closed containing A. For example in the real line the closure of an open interval (a, b) is the closed interval [a, b]. The closure of A is denoted A. The subset A of the space X is called dense (in X) if A = X, equivalently for every non-empty open subset U of X we have A U (prove this equivalence as an exercise). For example Q is dense in R. Proposition 1. If X is a topological space, the closures of the points of X are connected. In particular if X is totally disconnected the points of X are closed. Proof. Given x X we need to show that Y := {x} is connected. Suppose that Y = A B where A and B are non-empty disjoint open subsets of Y. Then without loss of generality we have x A. Writing B = U Y with U open in X we have that x X U so X U is a closed subset of X containing x, hence B Y X U, contradicting the fact that B U. Usually the property of being Hausdorff is called T2. A space is called T0 if at most one of its points is dense. A space is called T1 if its points are closed. It is easy to show that T2 implies T1 and that T1 implies T0 (exercise). It is also easy to show (by means of counterexamples) that T0 does not imply T1 and that T1 does not imply T2 (exercise). T0, T1 and T2 are examples of separation axioms (there are more: T3, T4,...). Trivial example of profinite space: any finite discrete space is profinite. We want a non-trivial example of profinite space. Cartesian product. If I is a set of indeces and X i is a set for every i I define X := i I X i to be the set of functions f : I i I X i with the property 8

9 that f(i) X i for all i I. To such a function we associate the well-known I-tuple (x i ) i I identifying f(i) with x i, in other words we think of f as the sequence of its values. A finite cartesian product (i.e. a cartesian product with finitely many indeces) will be also denoted X 1... X n, and its points will be denoted (x 1,..., x n ). A direct power is a set of the form X n = X... X (n times). Geometrically for example R 2 = R R corresponds to the real plane. Product topology. Let X i be a topological space for every i in a set of indeces I. We want to give X = i I X i the structure of topological space. For every i I let π i : X X i be given by π i (x) := x i (canonical i-th projection). The product topology is the topology on X with base the family of finite intersections π 1 i 1 (U i1 )... π 1 i n (U in ) where U i1,..., U in are open subsets of X i1,..., X in respectively. In other words an open subset of X is by definition an arbitrary union of finite intersections of this type. Clearly when X is given the product topology all the projections π i are continuous. It is an easy exercise to show that the product topology on X is the intersection of all the topologies τ of X with the property that the projections π i are all continuous when X is given the topology τ. When we treat a cartesian product of topological spaces as topological space we will always mean that it is endowed with the product topology. Fact 1. A product of Hausdorff spaces is Hausdorff. To see this let x y in X = i I X i, then there exists an index i I such that x i y i. Since X i is Hausdorff there are two open subsets U, V of X i with x i U, y i V, U V =. Clearly x i = π i (x) U, y i = π i (y) V, in other words x π 1 i (U), y π 1 i (V ), and π 1 i (U) π 1 i (V ) is empty because if it contained an element α then π i (α) would belong to U V. We managed to separate x and y with open disjoint subsets of X (they are open because they are pre-images of open subsets of X i via the i-th canonical projection). Fact 2. A product of totally disconnected spaces is totally disconnected. To see this let A be a connected subspace of X = i I X i. We need to prove that A = 1. We know that the projections π i are continuous, and that a continuous function takes connected sets to connected sets. Therefore for every i I the set π i (A) is connected in X i, which is totally disconnected, therefore π i (A) = {a i }. It follows that setting a = (a i ) i I in the product, A = {a}. Fact 3. A product of compact spaces is compact. This is the Tychonoff theorem and I will not prove it now. It follows that a cartesian product of profinite spaces is a profinite space. In particular a cartesian product of finite discrete spaces is a profinite space (this is the first non-trivial example of a profinite space). Warning: it is not discrete in general! Exercise: a cartesian product of discrete spaces is not discrete in general. 9

10 Exercise: Let Y be a topological space and let = {(y, y) : y Y } Y Y (the diagonal ). Prove that Y is Hausdorff if and only if is closed in Y Y (where Y Y as usual is given the product topology). Exercise: Prove that a closed subset of a profinite space is profinite. Exercise: Let τ 1, τ 2 be two topologies of a space X. Prove that the identity (X, τ 1 ) (X, τ 2 ) is continuous if and only if τ 2 τ 1. Prove that the identity (X, τ 1 ) (X, τ 2 ) is a homeomorphism if and only if τ 1 = τ 2. 3 Topological groups Exercise. A composition of continuous functions is continuous. Exercise. Let X = i I X i be a product of topological spaces (with the product topology). A map f : Y X is continuous if and only if the compositions π i f are continuous (where π i : X X i are the canonical projections). Exercise. Let X = X 1 X 2 the product of two topological spaces (with the product topology). Show that a subset U of X is open in X if and only if for every (a, b) X there exist an open A of X 1 and an open B of X 2 with a A, b B and A B U. Let G be a group (multiplicative notation) and a topological space. G is called a topological group if v = v G : G G G, (x, y) xy 1 is continuous. For example the additive group R with the usual topology is a topological group. If G is a topological group then: φ : G G, g g 1 is continuous because it is a composition of continuous mappings (look at the compositions with the projections and use the exercises above): G G G v G g (1, g) g 1 µ : G G G, (x, y) xy is continuous because it s a composition of continuous mappings: G G G G G (x, y) (x, y 1 ) xy v 10

11 If x G the map G G, g gx is an homeomorphism. It s continuous because it is the composition G G G µ G g (g, x) gx The inverse is G G, g gx 1, and it is continuous for similar reasons. It follows that if g G and U G is open (resp. closed) then gu, Ug, U 1 are all open (resp. closed). Lemma 3. Let G be a topological group, and let H G. 1. If H is open then H is closed. 2. If H is closed and G : H is finite then H is open. 3. If H is open and G is compact, then G : H is finite. Proof. Let us define the equivalence relation in G by g 1 g 2 iff g 2 g1 1 H. The equivalence classes are the cosets Hg. Let {g λ } λ Λ be a set of representatives of different cosets. Then clearly G is the disjoint union of the Hg λ. We have G H = Hg λ Hg λ H We obtain that if H is open, G H is a union of cosets Hg, which are open, so G H is also open, i.e. H is closed. If H is closed and G : H is finite, G H is a finite union of closed subsets of G, so it is closed, i.e. H is open. If H is open and G is compact then we can extract from the open covering {Hg λ } λ Λ a finite one, so by disjointness G : H is finite (a covering that is also a partition does not have proper subcoverings). Let X be a topological space, and let P be an equivalence relation on X. X/P is a topological space with the so called quotient topology, defined using the canonical projection π : X X/P by saying that U X/P is open in X/P if π 1 (U) is open in X. The main example of this is the case of a quotient group G/N where N is a normal subgroup of the topological group G. Whenever we treat a quotient group G/N as a topological group we will mean that it is endowed with the quotient topology. If f : X Y is a continuous mapping of topological spaces, we can construct the equivalence relation on X defined by x y iff f(x) = f(y). There exists a unique continuous mapping f : X/P Y such that the diagram commutes. X π f X/P f Y 11

12 Let now G be a topological group. H G with the subspace topology is a topological group (this is because a restriction of a continuous function is always continuous). Recall that a function f : X Y between topological spaces is said to be open if f(u) is open in Y whenever U is open in X. Observe that a continuous function does not need to be open (for example sin : R R has the property that sin(r) = [ 1, 1]). Proposition 2. If N G then the canonical projection π : G G/N is open and G/N is a topological group. Proof. We prove that π is open. Let U G be open. We want to prove that π(u) is open in G/N, i.e. (by definition of quotient topology) that π 1 (π(u)) is open in G. But it is easy to see that π 1 (π(u)) = UN, so it is open, being the union of the cosets Un with n N. Now let v G : G G G and v G/N : G G G be both defined by the rule (x, y) xy 1. Since G is a topological group, v G is continuous. We want to prove that v G/N is continuous. Consider the commutative diagram G G v G G (π,π) G/N G/N v G/N π G/N where v G and v G/N are both defined by the rule (x, y) xy 1. Now, since π is open and surjective, f = (π, π) is also open and surjective (exercise). This implies that v G/N is continuous (which is what we need to prove). Indeed if U is open in G/N to show that v 1 G/N v 1 G/N (U) = f(f 1 (v 1 G/N f 1 (v 1 G/N (U) is open observe that since f is surjective (U))) and since f is open it is then enough to prove that (U)) is open; now apply the commutativity of the above diagram. We remark that in a Hausdorff topological space X the points are closed. The converse in general is false, as the following example shows. Let X be an infinite set and let τ be the cofinite topology on X, defined by saying that U X is open if and only if X U is finite (in other words F X is closed if and only if it is finite). In this topology points are closed (they are finite sets) but this topology is not Hausdorff (exercise). In the case of topological groups we have: Theorem 3. Let G be a topological group. G is Hausdorff if and only if {1} is closed in G. 12

13 Proof. Let {1} be closed, and let a b be elements of G. We have to show that there exist two disjoint open subsets of G containing respectively a and b. Clearly a 1 b 1. Moreover {a 1 b} = {1}a 1 b, hence {a 1 b} is closed. So that U := G {a 1 b} is open and 1 U. Now v : G G G is continuous, and v(1, 1) = 1 U, so that v 1 (U) is open and contains (1, 1). There exists an open subset Z of the form V W for some V, W open of G, such that V W v 1 (U) and 1 V W. Since v(z) U, clearly a 1 b v(z) = V W 1, i.e. av bw =. av and bw are disjoint and open, a av and b bw. Using the exercise of the previous lecture, another way of proving the theorem is the following: if {1} is closed then v 1 ({1}) is closed in G G (being v continuous), but v 1 ({1}) = {(g, g) : g G} (the diagonal) and we now that the diagonal being closed is equivalent to G being Hausdorff. It follows that for a topological group G, Let K G and consider G/K with the quotient topology. Then G/K is Hausdorff if and only if K is closed in G. If G is totally disconnected, it is Hausdorff because points are closed. Lemma 4. If the topological group G is compact and Hausdorff, and C, D are closed subsets of G, then CD is closed. Proof. C and D are compact because they are closed in the compact G, so that by Tychonoff s theorem C D is compact, hence µ(c D) = CD is compact, µ being continuous. Since G is Hausdorff, CD is closed. Observe that if A is a subset of a topological space X then a point x X belongs to the closure A if and only if every open of X containing x has a non-empty intersection with A (exercise). Proposition 3. Let H be a subgroup of a topological group G. Then the closure H is a subgroup of G. Proof. Let a, b H. It is enough to prove that ab 1 H. If by contradiction this is not the case then ab 1 U = G H. Observe that U is open. Since the map f : G G G taking (x, y) to xy 1 is continuous and (a, b) f 1 (U), there exist two open subsets A and B of G such that a A, b B and A B f 1 (U) (by definition of product topology), in other words f(a B) U. Since a, b H there exist x A H and y B H. Therefore xy 1 f(a H B H) f(a B) U, on the other hand clearly xy 1 H (being x, y H and being H a subgroup) hence U H, a contradiction (because H H and U = G H). Exercise. If f, g : X Y are continuous and Y is Hausdorff, the set F = {x X f(x) = g(x)} is closed in X, or equivalently the set U = 13

14 X F = {x X f(x) g(x)} is open in X. (Hint: recall that the diagonal = {(y, y) : y Y } is closed in Y Y ). Exercise. Let N be a normal subgroup of a topological group G. Prove that G/N is Hausdorff if and only if N is closed in G, and that G/N is discrete if and only if N is open in G. Exercise: do the exercises of Chapter 0 of the book of Wilson. 4 Profinite groups Lemma 5. Let G be a compact topological group. Take Y G closed. Let {X λ } λ Λ be a family of closed subsets of G with the property that for any λ 1, λ 2 Λ there exists µ Λ such that X µ X λ1 X λ2. Then ( X λ )Y = λ Y ) λ Λ λ Λ(X Proof. The inclusion ( ) is trivial because for any λ 0 Λ we have ( λ X λ )Y X λ0 Y. Assume now that g ( λ X λ )Y, so that gy 1 ( λ X λ ) =. Then {gy 1 } {X λ } λ is a family of closed subsets of G of empty intersection. Since G is compact, there exist λ 1,..., λ r Λ such that gy 1 X λ1... X λr =. Now, there exists µ Λ such that X µ X λ1... X λr, so that gy 1 X µ =, that is, g X µ Y. Lemma 6. Let G be a compact topological group, and let C G be a clopen such that 1 C. Then C contains an open normal subgroup of G. Proof. Let x C and W x := Cx 1. W x is open and contains 1. Since µ : G G G is continous, there exist L x, R x open subsets of G containing 1, such that µ(l x R x ) = L x R x W x, that is, (1, 1) L x R x µ 1 (W x ). S x := L x R x is open and contains 1, and S x S x W x. Now since 1 W x for all x C we have C S x x x C This is an open covering of C, which is closed, hence compact being G compact, so there exist x 1,..., x n C such that C n i=1 S x i x i. Now, S := n i=1 S x i is open and contains 1. Moreover n n n n n SC S S xi x i = SS xi x i S xi S xi x i W xi x i = C = C i=1 i=1 i=1 We deduce SC C. Since 1 C, this implies S C. Let now T := S S 1. It is open and 1 T. Let H := n N T n i=1 i=1 14

15 It is the subgroup of G generated by T. H is open because it is a union of sets of the kind T x for some x, which are open (specifically T n = x T n 1 T x). We claim that H C. Clearly T S C. If n N then T n+1 = T T n SC C by induction. This proves that T n C for any n N, so H C. Now let N = g G Hg where H g = g 1 Hg is the conjugate of H by g. We have N G (exercise) and N H C so to conclude it is enough to show that N is open in G. For this it is enough to show that H has finitely many conjugates in G, because then N is a finite intersection of conjugates of H, which are open because H is open, hence N is open as well. Now since H is open and G is compact, G : H is finite, therefore H has finitely many cosets, say they are Hg 1,..., Hg n. Let H g be an arbitrary conjugate of H, and let i {1,..., n} be such that g Hg i (such i exists because the cosets of a subgroup of G form a partition of G), then there is some h H with g = hg i hence H g = H hgi = H gi. This shows that any conjugate of H is one of H g1,..., H gn hence H has finitely many conjugates in G. Definition 1 (Profinite groups). A topological group G is called a profinite group if it is compact and totally disconnected. Every profinite group is Hausdorff. Indeed, as we have seen, in a totally disconnected space points are closed and in a topological group this implies the Hausdorff property. Therefore a profinite group is in particular a profinite space. Theorem 4. Let G be a profinite group. Then any open subset of G is a union of cosets of open normal subgroups of G. Proof. Let U G be open, and x U. Then since G is a profinite space, it admits a base consisting of clopen subsets, so x V U for some V clopen, and 1 V x 1. So V x 1 is clopen and contains 1. By the lemma above V x 1 contains a normal open subgroup N of G. Hence x Nx V. It follows that a basis for a profinite group G is {Ng g G, N G open}. This is indeed a base for the topology (see below). Corollary 1. Let G be a profinite group and let X G. Then X = {NX N G, N open} Proof. Let N G be open. Then NX is a union of cosets of N, and it is a finite union because N has finite index. Each of these cosets is a clopen, so it is closed. Hence NX is closed so X NX by definition of closure. ( ) is proved. Now let y G and y X. Then since y G \ X is open, by the theorem above there exists N G open such that Ny X =. Then y NX, and ( ) is proved. 15

16 In particular if G is a profinite group, the intersection of the open normal subgroups of G is equal to {1} (to see this just apply the corollary to the case X = {1} and recall that in a profinite group points are closed). Since the open subgroups have finite index, this implies in particular that profinite groups are residually finite, meaning that the intersection of the subgroups of finite index is {1}. Observe that this is a purely algebraic property. In particular, if a group is not residually finite, then there is no hope to construct a topology that would make it a profinite group. Exercise: Let X be a set and let B be a family of subsets of X with the property that B B B = X and for all A, B B and for all x A B there exists U B with x U A B. Then B is a base of a topology on X, in other words the family of all unions of members of B (including the empty union, that is ) is a topology on X. Proposition 4 (Costruction of topological groups). Let G be an abstract group (i.e. a group without a topology). Let L be a family of normal subgroups of G with the property that for any K 1, K 2 L there exists K 3 L such that K 3 K 1 K 2. We define a topology on G in this way: a basis of open subsets is given by the cosets Kg, where K L and g G. In this way G is a topological group. Proof. Observe that the given family of cosets is indeed a base for a topology. They clearly cover G, and if g 1, g 2 G and K 1, K 2 L then if K 1 g 1 K 2 g 2, taken x K 1 g 1 K 2 g 2 we have K 1 g 1 K 2 g 2 = K 1 x K 2 x = (K 1 K 2 )x = y K1 K 2 K 3 y where L K 3 K 1 K 2. So K 1 g 1 K 2 g 2 is open. Consider v : G G G, (g, h) gh 1. We have to show that v is continous. Suppose that g 1, g 2 G and g 1 g2 1 W for some open subset W of G. There exists N L such that Ng 1 g2 1 W (a coset of N containing g 1 g2 1 is equal to Ng 1 g2 1 ). Let U := Ng 1 and V := Ng 2. Then v(u V ) = UV 1 W. For example we can consider: (Profinite topology) L is the set of the normal subgroups of G of finite index. Careful: the construction in this case does not necessarily make G a profinite group. (Pro-π topology) L is the set of the normal subgroups N of G of finite index and such that G/N is a π-group, where π is a fixed set of prime numbers (a π-group is a finite group whose order factorizes in prime numbers that are element of π). We have to show that if N 1 and N 2 are element of L there exists N 3 L contained in the intersection N 1 N 2. If N 1, N 2 L then we have the homomorphism G G/N 1 G/N 2, g (gn 1, gn 2 ). The kernel is N 1 N 2. So G/(N 1 N 2 ) is isomorphic to a subgroup of G/N 1 G/N 2, which is a π-group, so that G/(N 1 N 2 ) is a π-group, and we can take N 3 := N 1 N 2. 16

17 In the case of a profinite group G we can reconstruct the topology via the above construction choosing L to be the family of all open normal subgroups. Indeed if K 1, K 2 are open normal subgroups then K 1 K 2 is also an open normal subgroup. 5 The Tychonoff Theorem Definition 2 (Filter). Let X be a set, L P (X) be a non empty family of subsets of X, closed under finite unions and intersections. A filter F on L is a subset of L such that: 1. If A, B F then A B F. 2. If A, B L and F A B then B F. 3. F. Lemma 7. Every filter F on L is contained in a maximal filter on F, said ultrafilter on L. Proof. Easy application of Zorn s lemma. Theorem 5. Let F be an ultrafilter on L. Let A, B L such that A B F. Then A F or B F. Proof. Suppose A F. Let D := {D L A M D M F} Clearly F D and A D (note that A (A B) A and A B F). In particular D is not a filter because it contains properly the ultrafilter F. But D is closed under finite intersections and unions, and if D L and D C D then D D. It follows that D because otherwise D would be a filter. Then there exists M F such that A M =. Now, B = B (A M) = (A B) (M B) F because A B and M B are elements of F. So B F. Exercise: Let X be a topological space and let L be the set of the closed subsets of X. Then X is compact if and only if the intersection of every ultrafilter of L is non empty. Theorem 6 (Tychonoff). Let X λ be a compact topological space, for every λ Λ. Then X := λ Λ X λ with the product topology is compact. Proof. Let L be the set of the closed subsets of X, and let F be an ultrafilter on L. By the exercise, it is enough to show that F. For every λ Λ consider D λ := {D X λ D closed in X λ, π λ (F ) D F F} 17

18 Clearly D λ is closed in X λ. To show that it is non empty it suffices to show that the intersection of any given finite subfamily is non empty (because X λ is compact). So consider r i=1 D λ i r i=1 π λ(f i ) for some F i F. If it is empty then r r = π λ (F i ) π λ ( F i ) i=1 so r i=1 F i = F because F is closed under finite intersections. Contradiction because F is a filter, so F. Now let a λ D λ for every λ Λ, and consider a := (a λ ) λ Λ X. We want to show that a F for every F F. Suppose by contradiction that a F for some suitable F F. Then a X F, which is open, so a j J i=1 π 1 j (U j ) X F for some suitable J Λ finite, U i X i open in X i. This implies clearly that π j (a) U j for every j J. Now F i J (X π 1 j (U j )) F But since F is an ultrafilter, one of the sets in this finite union belongs to F, say X π 1 j (U j ) F for a suitable j J. π j (X π 1 j (U j )) X j U j, so by definition of D j, X j U j D j. This implies that a j X j U j, i.e. a j U j, contradiction. 6 Inverse limits Recall that a partial order on a set I is a relation on I that is reflexive, transitive and antisymmetric. Usually partial orders are denoted by. Definition 3 (Directed sets). A directed set is a poset (i.e. a partially ordered set) I such that for any a, b I there exists c I such that a c and b c. Definition 4 (Inverse limit). Let I be a directed set. An inverse system is a family {X i } i I of sets with a map ϕ ij : X j X i for any i j, such that ϕ ii = id Xi for any i I, and if i j k then ϕ ij ϕ jk = ϕ ik. A set of compatible maps on the inverse system {X i, ϕ ij } i,j is a set of maps {ϕ i : Y X i } i such that whenever i j the diagram commutes. ϕ j Y ϕ i X j ϕ ij X i 18

19 An inverse limit on the inverse system {X i, ϕ ij } i,j is a set X together with a set of compatible maps α i : X X i, with the following universal property: for any set of compatible maps β i : Y X i there exists a unique map σ : Y X such that the diagram commutes. Y σ β i X i To help imagination observe that if all maps are inclusions then the inverse limit of a family of sets coincides with their intersection. Replacing set by group, topological space, topological group and map by homomorphism, continuous map and continuous homomorphism respectively we get analogous definitions in the category of groups, topological spaces and topological groups respectively. Recall that in such categories the word isomorphism means group isomorphism, homeomorphism and homeomorphic group isomorphism. In the following proposition isomorphism means morphism (map, homomorphism, continuous function...) f : X Y that admits an inverse, that is a morphism g : Y X such that f g is the identity of Y and g f is the identity of X. Proposition 5. If it exists, the inverse limit is unique up to isomorphism. Proof. Let (X, α i ) and (Y, β i ) be two inverse limits of the direct system {X i, ϕ ij } i,j. By definition of inverse limit there are unique maps σ, τ such that the following diagrams commute for all i I. Y σ X β i α i X i τ β i Y α i X X τ Y α i β i X i This implies that the following diagrams commute too. σ α i X Y τ σ Y X σ τ X β i α i β i α i X i X i The identity Y Y clearly makes the first diagram commute as well. By unicity of the compatible map we deduce that τ σ is the identity of Y. The same argument applied to the second diagram shows that σ τ is the identity of X. Therefore σ and τ are isomorphisms. 19

20 The above proof is purely categorical. Existence of inverse limit for sets, groups, topological spaces, topological groups, etc. Let {X i, ϕ ij } i,j be an inverse system and let X := {(x i ) i I i I X i j i, ϕ ij (x j ) = x i } and consider the maps α i := π i X, the restrictions of the projections. X with the α i is an inverse limit for the inverse system {X i, ϕ ij } i,j. Indeed if β i : Y X i is a set of compatible maps then there is a unique map σ : Y X satisfying α i σ = β i for all i, indeed such compatibility condition is saying precisely that if y Y then π i (σ(y)) = β i (y) in other words σ(y) is the tuple (β i (y)) i. This defines uniquely σ, and observe that the universality works categorically because if each β i is a homomorphism then σ is also a homomorphism, and if each β i is a continuous map then σ is also a continuous map. When talking about inverse limits, if not specified we will refer to this construction. Again, if we work in the category of groups, X is a group. The same holds for many objects you could consider (topological spaces, topological groups, rings...). Now let {X i, ϕ ij } i,j be an inverse system of topological spaces (the ϕ ij are continuous mappings), and let X be its inverse limit. We have: If the X i are Hausdorff then X, as a subspace of a cartesian product of Hausdorff topological spaces, is Hausdorff. If the X i are totally disconnected then X is totally disconnected (because the cartesian product is totally disconnected). If the X i are Hausdorff then X is closed in i I X i: if j i consider D ij := {c l X l ϕ ij (π j (c)) = π i (c)}. Since X i is Hausdorff and all the considered maps are continuous, D ij is closed. Since X is the intersection of the D ij, X is closed. If the X i are Hausdorff and compact, then X is compact, being a closed subspace of a compact Hausdorff topological space. It follows that if each X i is a finite discrete set then the corresponding inverse limit is a profinite space, and if each X i is a finite discrete group then the corresponding inverse limit is a profinite group. We conclude with a motivation. Proposition 6 (Density criterion). Let {X i, ϕ ij } i,j be an inverse system of Hausdorff topological spaces, with the set of indeces being a directed set, and with X (together with the maps ϕ i ) its inverse limit. Assume that Y X is such that ϕ i (Y ) = X i for any i I. Then Y is a dense subset of X. 20

21 Proof. We will prove this next time. Theorem 7. A topological space is a profinite space if and only if it is homeomorphic to an inverse limit of finite discrete spaces. Proof. We saw above that an inverse limit of finite discrete spaces is a profinite spaces. We now prove the converse. Let X be a profinite space, that is a compact Hausdorff totally disconnected topological space. Let Y be a discrete space (a set with the discrete topology). Let α : X Y be surjective and continuous. Since X is compact and α is surjective, Y is finite (being discrete and compact). Since the points are clopen in Y, their preimages are a finite number of clopens of X that yield a partition of X. So that the set of discrete images of X corresponds to the partitions of X in a finite number of clopens. Call Σ the set of partitions σ of X in a finite number of clopens, and for any σ Σ define X σ := X/σ (recall that to give a partition of a set is equivalent to give an equivalence relation on the same set), and give it the quotient topology. Then clearly every X σ is finite and discrete. Consider β σ : X X σ, the natural projection. It is continuous and epimorphic. The set Σ is a poset with the following partial order: σ 1 σ 2 if σ 2 is a refinement of σ 1, i.e. if any clopen of the partition σ 1 is a union of suitable clopens of the partition σ 2. It is easy to show that with this partial order Σ is a directed set. Define moreover, whenever σ 1 σ 2, ϕ σ1σ 2 : X σ2 X σ1, [x] σ2 [x] σ1. Here [x] σ denotes the clopen of the partition σ containing the point x. In this way {X σ, ϕ σ2σ 1 } is an inverse system (this is easy to show). Denote by (Y, ϕ σ ) its inverse limit. Recall that Y is a topological subspace of σ Σ X σ. By universality of the inverse limit Y, there exists a unique continuous map β : X Y such that the diagram commutes for any σ Σ. X β β σ X σ β is surjective: let Z := β(x). Then everytime σ Σ ϕ σ ϕ σ (Z) = ϕ σ (β(x)) = β σ (X) = X σ By the density criterion, this says that Z is dense in Y. But since X is compact, its image by the continuous β, that is Z, is compact. It follows that Z is closed in Y because Y is Hausdorff and Z is compact. Z is dense and closed in Y, so Z = Y, that is, β is surjective. β is injective: take x 1, x 2 X and assume that β(x 1 ) = β(x 2 ). Then β σ (x 1 ) = ϕ σ (β(x 1 )) = ϕ σ (β(x 2 )) = β σ (x 2 ) Y 21

22 for any σ Σ. This means exactly, by definition of β σ, that every clopen of X that contains x 1 contains also x 2, and conversely (because we can always consider the partition σ = {C, X C} where C is a clopen). We have seen that in a compact and Hausdorff space the intersection of all the clopens that contain a point is connected. Now since X is also totally disconnected, every point is the intersection of all the clopens that contain the point. It follows that x 1 = x 2. Moreover, β is a homeomorphism because it is bijective and continuous from a compact to a Hausdorff. More precisely, a profinite space is the inverse limit of its finite discrete quotient spaces. Exercises. 1. Wilson exercises 1, 2, 3, 4, 5, 6 of Chapter Ribes-Zalesski exercise Compute the inverse limit of an inverse system {X i, ϕ ij } when the partial order on the set of indices is equality (the trivial order). 7 Pro-C groups Proposition 7. Let {X i, ϕ ij } i,j be an inverse system of Hausdorff topological spaces on a directed set I, and let X (together with the ϕ i ) be its inverse limit. A basis for the topology of X is given by the following subsets: ϕ 1 k (U) where k I and U is open in X k. Proof. Since X is a subspace of the product of the X i, a basis for the topology of X is given by the subsets of the kind P := {π 1 j (U j ) j J I finite, U j X j open j J} X We need to prove that for any a P there exists k I and U X k open such that a ϕ 1 k (U) P (recall that ϕ j = π j X ). Take k I such that j k for any j J, and consider ϕ 1 jk (U j). It is an open subset of X k and it contains a k. Let U := ϕ 1 jk (U j) j J We claim that ϕ 1 k (U) P. In fact, assume that b = (b i) i I ϕ 1 k (U). Then b k U, so for any j J, That is, b P. ϕ j (b) = ϕ jk (ϕ k (b)) = ϕ jk (b k ) U j 22

23 Proposition 8 (Density criterion). Let {X i, ϕ ij } i,j be an inverse system of Hausdorff topological spaces on a directed set I, with X (together with the ϕ i ) its inverse limit. Assume that Y X is such that ϕ i (Y ) = X i for any i I. Then Y is a dense subset of X. Proof. It suffices to show that Y has non empty intersection with any non empty element of a basis of open subsets for X. Take a basis open subset, of the kind ϕ 1 k (U), where k I and U is open in X k. Then Y ϕ 1 k (U) because ϕ k (Y ) = X k U. Lemma 8. Let {X i, ϕ ij } i,j be an inverse limit of Hausdorff topological spaces on a directed set I, let Y be a topological space and let α : Y X be a map. α is continuous if and only if ϕ i α : Y X i is continuous for any i I. Proof. One direction is trivial: a composition of continuous mappings is continuous. Conversely if α ϕ i is continuous for any i I then (ϕ i α) 1 (U) = α 1 (ϕ 1 i (U)) is open for any i I and for any open U of X i. This yields the continuity of α because ϕ 1 i (U) is a generic open basis subset. Lemma 9. Let G be an inverse limit of Hausdorff topological groups G i, and take L G open. Then there exists i I such that ker(ϕ i ) L. Proof. Since 1 L, there exists an open basis subset ϕ 1 i (U), where U is an open subset of G i, such that 1 ϕ 1 i (U) L. It follows that ker(ϕ i ) L because 1 U (being ϕ i (1) = 1). Definition 5 (Filtering bases). Let G be a group. A filtering basis for G is a family I of subgroups of G such that for any K 1, K 2 I there exists K 3 I such that K 3 K 1 K 2. Theorem 8. Let G be a topological group. Let I be a filtering basis of normal closed subgroups of G. We can put an order on I: say that K 1 < K 2 if K 2 K 1. Consider the maps ϕ K1K 2 : G/K 2 G/K 1, gk 2 gk 1. I is a directed set and {ϕ KiK j } i,j is a set of compatible maps. Consider the inverse limit Ĝ := lim G/K G/K K I K I Let θ : G K G/K be the natural map g (gk) K. Then: 1. θ is a continuous homomorphism. [all the projections are continuous] 2. θ(g) Ĝ. [If K i < K j, ϕ KiK j (gk j ) = gk i ] 3. θ(g) is dense in Ĝ. [density criterion] 4. ker(θ) = K I K. 5. If G is compact then θ(g) = Ĝ. [θ(g) is compact in a Hausdorff, so it is closed] 23

24 6. If G is compact and K I K = {1} then G and Ĝ are homeomorphic and isomorphic. [θ is continuous and bijective from the compact G to the Hausdorff K G/K] Definition 6 (C-groups, pro-c groups). Let C be a class of finite discrete (i.e. with the discrete topology) groups closed under subgroups, epimorphic images (quotients) and finite cartesian products. A C-group is an element of this class. A pro-c group is a topological group that can be obtained as an inverse limit on an inverse system of C-groups. For example we can take as C The class of all finite groups. The class of all finite p-groups, where p is a prime. The class of all finite π-groups, where π is a set of primes. The set of all finite abelian groups. The set of all finite solvable groups. The set of all finite nilpotent groups. Notice that every C-group is a pro-c group. Theorem 9. Let G be a topological group, and let C := {G λ λ Λ} as before. The following are equivalent: 1. G is a pro-c group. 2. G is homeomorphically isomorphic to a closed subgroup of λ G λ. 3. G is compact and {N G N open, G/N C} = {1}. 4. G is compact, totally disconnected and G/N C for any open N G. Proof. (1) (2). G is an inverse limit, so it is closed in the cartesian product of some G λ s, therefore it can be obtained as a closed subspace of the cartesian product of all the G λ s (simply intersecting with pre-images of {1}), and the cartesian product λ G λ is Hausdorff since the G λ are Hausdorff (being finite and discrete). (2) (3). G is compact because it is closed in the product, which is compact (being the G λ compact). Now recall that the ϕ λ are the restrictions of the projections. N λ := ker(ϕ λ ) is closed of finite index (because G/N λ is isomorphic to a subgroup of G λ, which is finite) so it is open and G/N λ belongs to C because it is an isomorphic to a subgroup of G λ C. So the intersection of the N λ s contains the intersection in the statement. But λ N λ = {1}. 24

25 (3) (1). We use theorem 8, recalling that I := {N G open G/N C} is a filtering basis (in fact if N 1, N 2 I then N 1 N 2 I because G/(N 1 N 2 ) = G/N 1 G/N 2 ). Let Y be the inverse limit of the class {G/N N G, G/N C}. The continuous homomorphism θ : G Y is an isomorphic homeomorphism because its kernel is {1}. (1) (4). If G is a pro-c group, for any open normal subgroup N of G there exists λ Λ such that N λ := ker(ϕ λ ) N (lemma 9). Then G/N is isomorphic to a quotient of G/N λ, which is isomorphic to a subgroup of G λ. So G/N C. G is compact and totally disconnected because it is a closed subspace of a product of compact and totally disconnected topological spaces. (4) (3). Since G is totally disconnected, {1} is the intersection of all the clopen subsets of G that contain 1. Since a basis for the open subsets of G is given by the cosets of the open normal subgroups of G we clearly have that {N G N open} = {1}. By assumption, this is exactly what (3) says. In particular, by (2) is clear that a closed subgroup of a pro-c group is a pro-c group. A profinite group is a pro-c group, where C is the class of all finite groups. In other words the above implies that profinite = pro-finite. More precisely, Corollary 2. The following are equivalent for the topological group G: 1. G is a profinite group (i.e. compact and totally disconnected). 2. G is a closed subgroup of a cartesian product of finite groups. 3. G is compact and the intersection of all the open normal subgroups of G is {1}. 4. G is (homeomorphically isomorphic to) an inverse limit of finite discrete groups. Proposition 9. Let G be a pro-c group, and let K be a closed normal subgroup of G. Then G/K is a pro-c group. Proof. If G is a pro-c group, N = {1} where N := {N G N open, G/N C}. Now let π be the natural projection G G/K. Then if N N, π(n) = KN/K is open (because π is open) and normal in G/K. Moreover G/KN C being a quotient of G/N. G/K is compact because it is the image of G by π which is continuous. By item 3 of the previous theorem, we are left to check that the intersection of the open normal subgroups M/K of G/K such that G/M C is the trivial subgroup, {K}. This intersection is clearly contained in 25

26 N N (KN/K), because KN/K is open and normal in G/K and G/KN C. It follows from the distributivity lemma that (KN/K) = (KN)/K = (K N)/K = K/K = {K} N N N N N N This concludes the proof. Exercises. 1. Exercises 7, 8, 9, 10, 11, 12, 13 of Chapter 1 of Wilson s book. 2. Prove that pro-abelian implies abelian, pro-solvable does not imply solvable and pro-nilpotent does not imply nilpotent. 3. Determine all the open subgroups and the closed subgroups of R (usual topology). 8 Completion Definition 7 (Completion). Let G be an abstract group. Let I be a filtering basis of normal subgroups of finite index. We define a topology on G with basis open subsets given by the cosets Kx where K I and x G. The completion of G with respect to I is a pair (Ĝ, j) where Ĝ is a profinite group and j : G Ĝ is continuous, such that the following universal property is satisfied: for any finite discrete group H and any continuous homomorphism θ : G H, there exists a unique ˆθ : Ĝ H continuous homomorphism such that θ = ˆθ j. G j Ĝ H θ!ˆθ Existence: Let Ĝ be the inverse limit of the G/K on I. It is a profinite group. Let j : G Ĝ, g (Kg) g G. It is a map from G to the product of the G/K. We have to check the universal property. Let H be a discrete finite group, and θ : G H be a continuous homomorphism. Then ker(θ) is open (θ is continuous and {1} is open in H), so there exists K I such that K ker(θ) (by definition of the topology on G). Consider the canonical map θ K : G/K H. We get θ = θ K π K. Define ˆθ = θ K ϕ K where ϕ K is the canonical map coming from the inverse limit. The following diagram commutes. Ĝ ϕ K G/K θ K H j π K 26 G θ

27 We have to show that ˆθ is unique. So let ˆθ 1 and ˆθ 2 be two such maps. By the density criterion, j(g) is dense in Ĝ. Since H is discrete, it is Hausdorff, so the subset of Ĝ in which ˆθ 1 = ˆθ 2 is closed, and it contains j(g) because ˆθ 1 (j(g)) = ˆθ 2 (j(g)) for all g G (by compatibility). Since j(g) is dense, ˆθ 1 = ˆθ 2. Generalization to a profinite H. We show that the universal property holds even if H is profinite. Let H be profinite and let θ : G H be a continuous homomorphism. Take M, open normal subgroup of H. By the universal property of the finite case, since M has finite index in H, there exists a unique map θ ˆ M : Ĝ H/M such that the diagram G H θ j π M θ Ĝ ˆ θ M π M H/M commutes. By universal property of the inverse limit H, since { θ ˆ M } M is a compatible set of maps Ĝ H/M, there exists a unique ˆθ : Ĝ H such that ˆθπ M = θ ˆ M for any open normal subgroup M of H. The compatibility implies that π M (ˆθ(j(g))) = π M (θ(g)) for any M open and normal in H, and for any g G. Then ˆθ(j(g)) = θ(g) for any g G because, equivalently, they are congruent modulo every open normal subgroup M of the profinite group H (the intersection of the open normal subgroups of H is trivial). To check the unicity of ˆθ just use the argument of the previous point. Unicity of the completion. Standard argument using the previous point. Let Ĝ 1, Ĝ 2 be two different choices. Then by universality there exist α : Ĝ 1 Ĝ2, β : Ĝ 2 Ĝ1 such that αβ = idĝ1 and βα = idĝ2. G G Ĝ 1 j 1 j 2 α Ĝ 2 β j 1 Ĝ 1 Ĝ 2 j 2 β j 1 j 2 Ĝ 1 α Ĝ 2 id ˆ G1 id ˆ G2 Definition 8 (Pro-C completion of an abstract group). Let G be an abstract group. Let C be a set of finite discrete groups closed under subgroups, epimorphic image and finite cartesian product. Let I be the set of normal subgroups N of G such that G/N C. The inverse limit G C of the G/N on I is called the pro-c completion of G. The image of the canonical map j : G G C is dense in the pro-c completion and ker(j) = G/N C N. 27

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

More information

Infinite Galois theory

Infinite Galois theory Treball final de grau GRAU DE MATEMÀTIQUES Facultat de Matemàtiques i Informàtica Universitat de Barcelona Infinite Galois theory Autor: Ignasi Sánchez Rodríguez Director: Realitzat a: Dra. Teresa Crespo

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 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 information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean Algebras, Boolean Rings and Stone s Representation Theorem Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to

More information

8 Complete fields and valuation rings

8 Complete fields and valuation rings 18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about

More information

Winter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada

Winter 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 information

Exercises on chapter 1

Exercises 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 information

Math General Topology Fall 2012 Homework 8 Solutions

Math General Topology Fall 2012 Homework 8 Solutions Math 535 - General Topology Fall 2012 Homework 8 Solutions Problem 1. (Willard Exercise 19B.1) Show that the one-point compactification of R n is homeomorphic to the n-dimensional sphere S n. Note that

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

its image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1

its image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1 10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g

More information

Infinite Galois Theory

Infinite Galois Theory Infinite Galois Theory Haoran Liu May 1, 2016 1 Introduction For an finite Galois extension E/F, the fundamental theorem of Galois Theory establishes an one-to-one correspondence between the intermediate

More information

Axioms of separation

Axioms of separation Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically

More information

Profinite Groups. Hendrik Lenstra. 1. Introduction

Profinite Groups. Hendrik Lenstra. 1. Introduction Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,

More information

Direct Limits. Mathematics 683, Fall 2013

Direct Limits. Mathematics 683, Fall 2013 Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

More information

Some algebraic properties of. compact topological groups

Some 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 information

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

Real Analysis Chapter 4 Solutions Jonathan Conder

Real Analysis Chapter 4 Solutions Jonathan Conder 2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the

More information

GALOIS EXTENSIONS ZIJIAN YAO

GALOIS EXTENSIONS ZIJIAN YAO GALOIS EXTENSIONS ZIJIAN YAO This is a basic treatment on infinite Galois extensions, here we give necessary backgrounds for Krull topology, and describe the infinite Galois correspondence, namely, subextensions

More information

Lecture 6: Etale Fundamental Group

Lecture 6: Etale Fundamental Group Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and

More information

6 More on simple groups Lecture 20: Group actions and simplicity Lecture 21: Simplicity of some group actions...

6 More on simple groups Lecture 20: Group actions and simplicity Lecture 21: Simplicity of some group actions... 510A Lecture Notes 2 Contents I Group theory 5 1 Groups 7 1.1 Lecture 1: Basic notions............................................... 8 1.2 Lecture 2: Symmetries and group actions......................................

More information

Lecture 7: Etale Fundamental Group - Examples

Lecture 7: Etale Fundamental Group - Examples Lecture 7: Etale Fundamental Group - Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of

More information

Filters in Analysis and Topology

Filters in Analysis and Topology Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 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

ABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS

ABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS ABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS JULIA PORCINO Our brief discussion of the p-adic integers earlier in the semester intrigued me and lead me to research further into this topic. That

More information

1 Notations and Statement of the Main Results

1 Notations and Statement of the Main Results An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main

More information

A Crash Course in Topological Groups

A Crash Course in Topological Groups A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1

More information

Introduction to Profinite Groups

Introduction to Profinite Groups Travaux mathématiques, Volume 22 (2013), 179 230, c by the author Introduction to Profinite Groups by Luis Ribes Abstract This is the content of three lectures at the Winter School on Galois Theory in

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

ULTRAFILTER AND HINDMAN S THEOREM

ULTRAFILTER AND HINDMAN S THEOREM ULTRAFILTER AND HINDMAN S THEOREM GUANYU ZHOU Abstract. In this paper, we present various results of Ramsey Theory, including Schur s Theorem and Hindman s Theorem. With the focus on the proof of Hindman

More information

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno

3. G. Groups, as men, will be known by their actions. - Guillermo Moreno 3.1. The denition. 3. G Groups, as men, will be known by their actions. - Guillermo Moreno D 3.1. An action of a group G on a set X is a function from : G X! X such that the following hold for all g, h

More information

3 Hausdorff and Connected Spaces

3 Hausdorff and Connected Spaces 3 Hausdorff and Connected Spaces In this chapter we address the question of when two spaces are homeomorphic. This is done by examining two properties that are shared by any pair of homeomorphic spaces.

More information

z -FILTERS AND RELATED IDEALS IN C(X) Communicated by B. Davvaz

z -FILTERS AND RELATED IDEALS IN C(X) Communicated by B. Davvaz Algebraic Structures and Their Applications Vol. 2 No. 2 ( 2015 ), pp 57-66. z -FILTERS AND RELATED IDEALS IN C(X) R. MOHAMADIAN Communicated by B. Davvaz Abstract. In this article we introduce the concept

More information

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever

More information

Course 311: Abstract Algebra Academic year

Course 311: Abstract Algebra Academic year Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 1 Topics in Group Theory 1 1.1 Groups............................... 1 1.2 Examples of Groups.......................

More information

Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

More information

Exploring the Exotic Setting for Algebraic Geometry

Exploring the Exotic Setting for Algebraic Geometry Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology

More information

Groups and Symmetries

Groups and Symmetries Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

More information

Math 249B. Nilpotence of connected solvable groups

Math 249B. Nilpotence of connected solvable groups Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C

More information

Stab(t) = {h G h t = t} = {h G h (g s) = g s} = {h G (g 1 hg) s = s} = g{k G k s = s} g 1 = g Stab(s)g 1.

Stab(t) = {h G h t = t} = {h G h (g s) = g s} = {h G (g 1 hg) s = s} = g{k G k s = s} g 1 = g Stab(s)g 1. 1. Group Theory II In this section we consider groups operating on sets. This is not particularly new. For example, the permutation group S n acts on the subset N n = {1, 2,...,n} of N. Also the group

More information

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

3 COUNTABILITY AND CONNECTEDNESS AXIOMS 3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first

More information

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes! ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

More information

Chapter 1. Sets and Mappings

Chapter 1. Sets and Mappings Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

3. The Sheaf of Regular Functions

3. The Sheaf of Regular Functions 24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y

More information

Rings and groups. Ya. Sysak

Rings 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 information

A SECOND COURSE IN GENERAL TOPOLOGY

A SECOND COURSE IN GENERAL TOPOLOGY Heikki Junnila, 2007-8/2014 A SECOND COURSE IN GENERAL TOPOLOGY CHAPTER I COMPLETE REGULARITY 1. Definitions and basic properties..... 3 2. Some examples..... 7 Exercises....9 CHAPTER II CONVERGENCE AND

More information

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes. CW complexes Soren Hansen This note is meant to give a short introduction to CW complexes. 1. Notation and conventions In the following a space is a topological space and a map f : X Y between topological

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

BASIC GROUP THEORY : G G G,

BASIC GROUP THEORY : G G G, BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e

More information

ALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30

ALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 ALGEBRAIC GEOMETRY (NMAG401) JAN ŠŤOVÍČEK Contents 1. Affine varieties 1 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 1. Affine varieties The basic objects

More information

TOPOLOGICAL GROUPS MATH 519

TOPOLOGICAL GROUPS MATH 519 TOPOLOGICAL GROUPS MATH 519 The purpose of these notes is to give a mostly self-contained topological background for the study of the representations of locally compact totally disconnected groups, as

More information

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.

Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial

More information

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1 MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC GROUPS J. WARNER ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic

More information

5 Set Operations, Functions, and Counting

5 Set Operations, Functions, and Counting 5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,

More information

CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES OF THE SYLOW THEOREMS CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.

More information

NOTES ON FINITE FIELDS

NOTES 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 information

Institutionen för matematik, KTH.

Institutionen för matematik, KTH. Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................

More information

Notes about Filters. Samuel Mimram. December 6, 2012

Notes about Filters. Samuel Mimram. December 6, 2012 Notes about Filters Samuel Mimram December 6, 2012 1 Filters and ultrafilters Definition 1. A filter F on a poset (L, ) is a subset of L which is upwardclosed and downward-directed (= is a filter-base):

More information

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there

More information

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

More information

CHAPTER 9. Embedding theorems

CHAPTER 9. Embedding theorems CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:

More information

2. Prime and Maximal Ideals

2. Prime and Maximal Ideals 18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let

More information

CHAPTER 7. Connectedness

CHAPTER 7. Connectedness CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set

More information

Solutions of exercise sheet 4

Solutions of exercise sheet 4 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 4 The content of the marked exercises (*) should be known for the exam. 1. Prove the following two properties of groups: 1. Every

More information

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3 Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

Chapter 2 Metric Spaces

Chapter 2 Metric Spaces Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics

More information

Honors 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 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 information

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents

DISCRETE 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 information

INTRODUCTION TO PROFINITE GROUPS

INTRODUCTION TO PROFINITE GROUPS INTRODUCTION TO PROFINITE GROUPS MIMAR SINAN FINE ARTS UNIVERSITY (ISTANBUL) 30.1.2012 WOLFGANG HERFORT Dedicated to Peter Plaumann Abstract. A profinite space / group is the projective limit of finite

More information

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map: Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties

More information

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013 Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents 1 Basic Principles of Group Theory 1 1.1 Groups...............................

More information

Normal forms in combinatorial algebra

Normal forms in combinatorial algebra Alberto Gioia Normal forms in combinatorial algebra Master s thesis, defended on July 8, 2009 Thesis advisor: Hendrik Lenstra Mathematisch Instituut Universiteit Leiden ii Contents Introduction iv 1 Generators

More information

120A LECTURE OUTLINES

120A 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 information

MATH 436 Notes: Cyclic groups and Invariant Subgroups.

MATH 436 Notes: Cyclic groups and Invariant Subgroups. MATH 436 Notes: Cyclic groups and Invariant Subgroups. Jonathan Pakianathan September 30, 2003 1 Cyclic Groups Now that we have enough basic tools, let us go back and study the structure of cyclic groups.

More information

14 Lecture 14: Basic generallities on adic spaces

14 Lecture 14: Basic generallities on adic spaces 14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions

More information

Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

More information

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31 Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

AN INTRODUCTION TO AFFINE SCHEMES

AN INTRODUCTION TO AFFINE SCHEMES AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,

More information

Adic Spaces. Torsten Wedhorn. June 19, 2012

Adic Spaces. Torsten Wedhorn. June 19, 2012 Adic Spaces Torsten Wedhorn June 19, 2012 This script is highly preliminary and unfinished. It is online only to give the audience of our lecture easy access to it. Therefore usage is at your own risk.

More information

Lecture 3: Flat Morphisms

Lecture 3: Flat Morphisms Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a

More information

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK

More information

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA  address: Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework

More information

UNIVERSAL PROPERTIES OF GROUP ACTIONS ON LOCALLY COMPACT SPACES

UNIVERSAL PROPERTIES OF GROUP ACTIONS ON LOCALLY COMPACT SPACES UNIVERSAL PROPERTIES OF GROUP ACTIONS ON LOCALLY COMPACT SPACES HIROKI MATUI AND MIKAEL RØRDAM Abstract. We study universal properties of locally compact G-spaces for countable infinite groups G. In particular

More information

Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng

Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Remark 0.1. This is a solution Manuel to the topology questions of the Topology Geometry

More information

Math 3T03 - Topology

Math 3T03 - Topology Math 3T03 - Topology Sang Woo Park April 5, 2018 Contents 1 Introduction to topology 2 1.1 What is topology?.......................... 2 1.2 Set theory............................... 3 2 Functions 4 3

More information

Chapter 1 : The language of mathematics.

Chapter 1 : The language of mathematics. MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :

More information

Summer Algebraic Geometry Seminar

Summer Algebraic Geometry Seminar Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties

More information

int cl int cl A = int cl A.

int cl int cl A = int cl A. BAIRE CATEGORY CHRISTIAN ROSENDAL 1. THE BAIRE CATEGORY THEOREM Theorem 1 (The Baire category theorem. Let (D n n N be a countable family of dense open subsets of a Polish space X. Then n N D n is dense

More information