On some modules associated with Galois orbits by Victor Alexandru (1), Marian Vâjâitu (2), Alexandru Zaharescu (3)
|
|
- Rafe Underwood
- 5 years ago
- Views:
Transcription
1 Bull. Math. Soc. Sci. Math. Roumanie Tome 61 (109) No. 1, 2018, 3 11 On some modules associated with Galois orbits by Victor Alexandru (1), Marian Vâjâitu (2), Alexandru Zaharescu (3) Dedicated to the memory of Professor Nicolae Popescu Abstract Given a prime number p we consider C p, which is usually called the Tate field, the topological completion of the algebraic closure of the field of p-adic numbers. We introduce and study a class of modules associated with factor groups of profinite groups, especially of those which are the Galois groups of the normal closure of algebraic infinite extensions. In particular, we show that the module associated with a Galois orbit of an arbitrary element of C p is a factor of the Iwasawa algebra of a normal element of C p by an ideal which can be described. Key words and phrases: Galois orbits, Iwasawa algebra, local fields, distributions Mathematics Subject Classification: 11S99. Introduction For a prime number p, we consider Q p the field of p-adic numbers and Q p a fixed algebraic closure of Q p. Let C p be the completion of Q p with respect to the p-adic valuation and O Cp the valuation ring of C p. Let K be an infinite algebraic extension of Q p and L the normal closure of K. Let A be a closed subring of C p. Denote H = Gal(L/K) and G L = Gal(L/Q p ). We introduce and study a class of modules associated with factor groups G L /H and respectively G L /H σ, where H σ = σhσ 1 with σ G L. We associate with G L a Λ A (G L )-module and relate it with Λ A (G L /H) and respectively with a direct product of Λ A (G L /H σ ). This offers new ways to relate distributions in the sense of Mazur and Swinnerton-Dyer (see [6]), functionals, and linear maps defined on an infinite algebraic extension of Q p, with those defined on its normal closure. When x is an arbitrary element of C p, we consider O(x), the Galois orbit with respect to the Galois group of all continuous automorphisms of C p /Q p. Here the module associated with O(x) with scalars drawn from Q p, i.e. Λ Qp (O(x)), which is isomorphic as Q p -module with the space of distributions in the sense of Mazur and Swinnerton-Dyer defined on O(x) with values in Q p, is a factor of the Iwasawa algebra of a Galois orbit of a normal element of C p with scalars drawn from Q p by an ideal which can be described. A particular situation, when x is a normal element of C p, is studied in [1]. The present paper consists of four sections. The first one contains notation and some basic results. In the second section we introduce the module associated with a factor group of a profinite group with scalars drawn from a closed subring of C p, see Propositions 1 and 2. In section three we consider the special case of Galois orbits of elements of C p, which Corresponding author: Marian Vâjâitu
2 4 On some modules associated with Galois orbits are not necessarily normal. We prove that the module associated with a Galois orbit of an arbitrary element of C p with scalars drawn from Q p is a factor of the Iwasawa algebra of a Galois orbit of a normal element of C p with scalars drawn from Q p by an ideal, which can be described, see Theorem 1. In the last section we embed the module associated with the Galois group of the normal closure of an algebraic infinite extension, with scalars drawn from a closed subring of C p, into a direct product of modules associated with some factor groups, see Theorem 2. These modules associated with factor groups of a profinite group, with scalars drawn from a closed subring of C p, enjoy some nice properties and deserve further study. 1 Notation and basic results Let {X n, ϕ n } n 1 be a projective system, such that X n is a finite set and ϕ n : X n+1 X n is a surjective map, for all n 1. Denote by X = lim X n the projective limit defined by this projective system. Consider a closed subring A of C p. The map ϕ n induces a map of the corresponding A-modules A[X n+1 ] A[X n ]. The projective limit lim A[X n ] is a complete A-module which we denote by A[[X]] or Λ A (X). Definition 1. ([6]) By a distribution on {X n, ϕ n } n 1 (or on X) with values in A we mean a set µ = {µ n } n 1 of mappings: µ n : X n A such that the following compatibility relations µ n (x) = µ n+1 (y) (1.1) hold for all n 1 and all x X n. y ϕ 1 n (x) Let D(X, A) be the set of all distributions µ = {µ n } n 1 defined above. canonical isomorphism of A-modules between D(X, A) and Λ A (X). For any µ D(X, A) denote We have a µ = sup{ µ n (x) : x X n }, (1.2) n 1 the norm of µ. When µ < we say that µ is a measure. Let M(X, A) be the set of all measures on X with values in A. When X is a profinite group the space D(X, A) becomes an A-algebra, which is endowed with the convolution product of distributions. The measures M(X, A) D(X, A) correspond, via the above isomorphism, to the sequences of Λ A (X) that are uniformly bounded. Now, let p be a prime number, Q p the field of p-adic numbers, Q p a fixed algebraic closure of Q p and C p the completion of Q p with respect to the p-adic valuation. Denote by G the p-adic absolute Galois group Gal(Q p /Q p ) endowed with the Krull topology. It is known that G is canonically isomorphic to Gal cont (C p /Q p ), the group of all continuous automorphisms of C p. In what follows we shall identify these two groups. For any subset X of C p we denote by X the topological closure of X in C p. It is clear that if X is a field then X is a closed subfield of C p. Let H be a closed subgroup of G. Denote F ix(h) = {x C p : σ(x) = x for all σ H}. For an arbitrary element x C p denote H(x) = {σ G : σ(x) = x}, which is a subgroup
3 V. Alexandru, M. Vâjâitu, A. Zaharescu 5 of G, not necessarily normal. One has F ix(h(x)) = Q p [x], the closure of the ring Q p [x] in C p. We say that x is a topological generic element of Q p [x]. By [2], any closed subfield K of C p has a topological generic element, i.e. there exists x K such that K = Q p [x]. It is proved in [3] that for any element y of C p, the ring Q p [y] and the field Q p (y) have the same topological closure in C p, that is, Qp [y] = Q p (y). By this result, the topological closure in C p of a ring of the form Q p [y] is always a field. Now for an arbitrary element x of C p let O(x) = {σ(x) : σ G} be the orbit of x. It is clear that the map σ σ(x) from G to O(x) is continuous, and it defines a homeomorphism from G/H(x) to O(x), see [2]. Then O(x) is a compact and totally disconnected subspace of C p. Moreover, the group G acts continuously on O(x): if σ G, τ(x) O(x) then σ τ(x) = (στ)(x). Definition 2. ([1]) An element x C p is called normal if the extension Q p (x)/q p is normal, i.e. Gal cont (C p / Q p (x)) = H(x) is a normal subgroup of Gal cont (C p /Q p ). The notions of trace and trace series associated with an element x of C p were introduced and investigated in [4,7,9]. Given an x C p, the trace T r(x) is defined by the equality T r(x) = tdπ x (t), (1.3) O(x) provided that the integral with respect to the Haar distribution π x on the right side of (1.3) is well defined. This is the case, for example, when π x is bounded, i.e. when π x is a measure. The integral is also well defined when x is a Lipschitz element, see [4, Theorem 4.4]. Precisely, an element x C p is Lipschitz if one has lim ε 0 ε N(x, ε) = 0, where N(x, ε) is the number of open balls of radius ε which cover O(x) and stands for the p-adic absolute value. An element x C p is called p-bounded if there exists an s N such that p s does not divide the number N(x, ε), for any ε > 0. It is clear that a p-bounded element of C p is also Lipschitz. The trace function F (x, z) is defined by F (x, z) = O(x) 1 1 zt dπ x(t), for all those z C p for which the integral is well defined. This is an analytic object that embodies a significant amount of algebraic data. The Taylor series expansion F (x, z) = T r(x n ) z n n=0 is usually called the trace series associated with x. 2 Modules associated with factor groups Let G be a profinite group, G = lim G n with G n finite groups such that G n = G/H n, where {H n } n 1 is a family of normal subgroup of G of finite index such that H n+1 H n, for any
4 6 On some modules associated with Galois orbits n 1 and n 1 H n = {e}, the neutral element of G. Let H be a closed subgroup of G, which is not necessarily normal. Let H n := H n H be the subgroup of G that is generated by the product of H n with H. We have that H n is an open and closed subgroup of G of finite index and n 1 H n = H. For the sake of simplicity we denote by G/H = {σ (mod H) : σ G} the left cosets of H in G and G n = G/H n the left cosets of H n in G. One has the following result, which is a generalization of a classical result for normal subgroups [8]. Proposition 1. Let G = lim G/H n be a profinite group where {H n } n 1 is a family of normal subgroups of G of finite index such that H n+1 H n for any n 1, and n 1 H n = {e}, the neutral element of G. Let H be a closed subgroup of G, which is not necessarily normal, and H n := H n H the subgroup of G that is generated by the product of H n with H. There is a homeomorphism between G/H and lim G/H n. Proof. Because H H n+1 H n G we have the following commutative diagram lim G n f π n Gn ϕ n G/H fn+1 G n+1 where π n, ϕ n, f n+1 are canonical maps and f is the unique map obtained via the universal property of projective limit such that π n f = ϕ n f n+1 = f n, for any n 1. The map f is a bijection. Indeed, let us suppose that f(σ (mod H)) = f(τ (mod H)). By this one has f n (σ (mod H)) = f n (τ (mod H)), which means that σ ( ) ( ) mod H n = τ mod Hn, for any n 1. Because n 1 H n = H, clear σ (mod H) = τ (mod H), which means that f is an injective map. Now, let x = (x 1, x 2,..., x n,... ) lim G n. There is σ n G such that ( ) f n (σ n (mod H)) = σ n mod Hn = xn, for any n 1. By using the commutativity of the above diagram we have that σ n+k ( mod Hn ) = σn ( mod Hn ), (2.1) for any n, k 1. From hypothesis G is profinite, so compact, and by this there exists a subsequence {σ nm } m 1 of the sequence {σ n } n 1 that converges to an element σ G. Because H n is a closed subgroup of G with respect to Krull s topology, by using (2.1), one has σ ( ) ( ) mod H n = σn mod Hn, (2.2) for any n 1, and by (2.2) one obtains f(σ (mod H)) = x, which means that f is a surjective map. The continuity of f follows from [8, Proposition 1.1.1] and the proof is done. We have a natural action of G n on A[G n ]. Indeed, let ˆτ G n, τ G, and σ G n, which is the left coset of σ G in G n. By defining ˆτ σ = τσ one has that A[G n ] is an A[G n ]-finite generated module, which is free over A. The canonical morphisms A[G n+1 ] A[G n ] verify the compatibility relations of a projective system. By definition, one considers that Λ A (G/H) = A[[G/H]] = lim A[G n ]
5 V. Alexandru, M. Vâjâitu, A. Zaharescu 7 is the module of G/H with scalars drawn from A. We can see that Λ A (G/H) = lim U A[G/UH], where the inverse limit is taken over all open subgroups U of G, so this module does not depend on the choice of {H n } n 1 and it becomes an Λ A (G)-module. Now, let A be a closed subring of C p which is compact or is not contained in O Cp. In the second situation A is a field which contains Q p, see [3, Theorem 7] and [3, Lemma 6]. We have the following commutative diagramm A[G n ] A[G n ] 0 A[G n+1 ] A[G n+1 ] 0 and, by [8, Lemma 1.1.5] and [5, Proposition 9.1], one has the following exact sequence Λ A (G) Λ A (G/H) 0. The first arrow in the above sequence is continuous, see also [8]. We collect the above results in the following proposition. Proposition 2. Let A be a closed subring of C p, G a profinite group and H a closed subgroup of G, which is not necessarily normal. If A is compact or is not contained in O Cp then Λ A (G/H) is a factor of Λ A (G). When H is a normal divisor of G then Λ A (G/H) becomes an algebra. In particular, when G/H is a compact p-adic Lie group and A Z p, the module Λ A (G/H) turns out to be the Iwasawa algebra of G/H. In the next section we will focus on the following important example: G is the p-adic absolute Galois group and H = H(x) = {σ G : σ(x) = x} is the stabilizer of an arbitrary element x of C p, which is a subgroup of G, not necessarily normal. 3 The case of Galois orbits It is known that the p-adic absolute Galois group G is profinite so we have a tower of fields Q p = L 0 L 1 L 2 L n Q p such that L n /Q p is finite and normal with Galois group G n. If we denote H n = Gal(Q p /L n ) then G/H n G n. Let x be an arbitrary element of C p, which is not necessarily normal. By denoting H = Gal(Q p / Q p [x] Q p ), which is not necessarily a normal subgroup of G, one has that H H(x) = {σ Gal cont (C p /Q p ) : σ(x) = x}, via [1, Proposition 1]. Let H n = H n H be the subgroup of G that is generated by the product of H n with H and G n = G/H n the left cosets of H n in G. Let K n = F ix(h n ) be the field fixed by H n and K n the normal closure of K n. Denote G n = Gal(K n/q p ), H n = Gal(Q p /K n) and K x = n 1 K n. In fact K x is the Galois closure of the subfield of Q p fixed by H. Denote G Kx = Gal(K x /Q p ). For any n 1, we have a morphism Φ n : Q p [G n] Q p [G n ], which is defined canonically, such that
6 8 On some modules associated with Galois orbits the following diagram of Q p -vector spaces Q p [G n] π n Φ n Qp [G n ] 0 π n Q p [G n+1] Φ n+1 Qp [G n+1 ] 0 is commutative, where π n and π n are canonical projections. By [5, Proposition 9.1] one obtains the following exact sequence Λ Qp (G Kx ) Λ Qp (O(x)) 0, (3.1) where the first arrow is continuous, see [8]. From the proof of [1, Theorem 2] one has Hom(K n, Q p ) Q p [G n], which is an isomorphism of Q p -vector spaces, so Λ Qp (G Kx ) Hom(K x, Q p ). By (3.1) we have the following exact sequence Hom(K x, Q p ) where Φ = lim Φ n, via the above isomorphism. Denote where ker Φ n = { ˆσ G n Φ Λ Qp (O(x)) 0, (3.2) I = ker Φ lim ker Φ n, (3.3) aˆσ ˆσ : ˆσ G n, σ=τ aˆσ = 0 for any τ G n From [1, Theorem 2] it follows that there is a normal element y of K x such that Λ Qp (O Kx (y)) Hom(K x, Q p ). Summing up, one has the following result. Theorem 1. For any element x of C p there is a minimal Galois extension K x of Q p, which is the Galois closure of the subfield of Q p fixed by the stabilizer of x, such that the following sequence Φ Hom(K x, Q p ) Λ Qp (O(x)) 0 is exact, where Φ is defined in (3.2). Moreover, there is a normal element y of Kx such that Λ Qp (O(x)) Λ Q p (O Kx (y)) I where I = ker Φ is the ideal described in (3.3). Remark 1. In other words, the above result says that the module associated with a Galois orbit O(x) of an arbitrary element x of C p with scalars drawn from Q p, which is isomorphic as Q p -module with the space of distributions in the sense of Mazur and Swinnerton-Dyer defined on O(x) with values in Q p, is a factor of the Iwasawa algebra of a Galois orbit of a normal element of C p with scalars drawn from Q p by an ideal which can be described. Also, a finite field extension of Q p can be used instead of the base field in Theorem 1. }.
7 V. Alexandru, M. Vâjâitu, A. Zaharescu 9 4 A complementary result We preserve the same notation and definitions as in the previous sections. Now, let Q p K be an infinite algebraic extension and Q p K 1 K 2 K n K a tower of fields such that Q p K n is a finite extension for any n 1 and, moreover, K = n 1 K n. We denote by L the normal closure of K and by L n the normal closure of K n. One has Q p L 1 L 2 L n L and L = n 1 L n. We use the following notation: G L = Gal(L/Q p ) Gal cont ( L/Q p ), H = Gal(L/K), H n = Gal(L/K n ), U n = Gal(L/L n ). We denote by N GL (H) the normalizer of H in G L and by S H a system of representatives for the left cosets of N GL (H) in G L. For any σ S H we define H σ = σhσ 1. Also, we denote by N GL (H n ) the normalizer of H n in G L and by S Hn a system of representatives for the left cosets of N GL (H n ) in G L. One has U n = σ SHn H σ n. The map F : G L σ S H (G L /H σ ), F (g) = (g (mod H σ )) σ SH, g G L, (4.1) is injective. Indeed, let g 1, g 2 G L be such that F (g 1 ) = F (g 2 ). Then (g 1 (mod H σ )) σ SH = (g 2 (mod H σ )) σ SH, so g2 1 g 1 σ SH H σ = {e}, the neutral element of G L. This is happening because L is the normal closure of K, which is the composition of the fields σ(k), σ S H. Also, the following diagram G L π σ F σ S H (G L /H σ ) π σ (4.2) G L /H σ Id G L /H σ is commutative, where π σ is the canonical map, π σ is the projection onto the σ component of the direct product, and Id stands for the identity map. In the same way as in (4.1) and (4.2) we have the following map F n : G L /U n σ S H G L /(U n H) σ, F n (g (mod U n )) = (g (mod (U n H) σ )) σ SH, g G L, which is injective because σ SH (U n H) σ = U n. Moreover, the following diagram (4.3) G L /U n π σ,n F n σ S H G L /(U n H) σ π σ,n (4.4) G L /(U n H) σ Id G L /(U n H) σ, is commutative, where π σ,n is the canonical map, π σ,n is the projection onto the σ component of the direct product, and Id stands for the identity map. By considering a closed subring A of C p, we obtain from (4.3), in a canonical way, an injective map F n : A[G L /U n ] σ S H A[G L /(U n H) σ ]. (4.5)
8 10 On some modules associated with Galois orbits By passing to inverse limit, one has the following result. Theorem 2. Let K be an infinite algebraic extension of Q p and A a closed subring of C p. Let L be the normal closure of K. Denote H = Gal(L/K) and G L = Gal(L/Q p ). Also, denote by N GL (H) the normalizer of H in G L and let S H be a system of representatives for the left cosets of N GL (H) in G L. For any σ S H we define H σ = σhσ 1. Then, there exists a monomorphism F : Λ A (G L ) σ S H Λ A (G L /H σ ) of Λ A (G L )-modules, such that the following diagram Λ A (G L ) λ σ F σ S H Λ A (G L /H σ ) λσ (4.6) Λ A (G L /H σ ) Id Λ A (G L /H σ ), is commutative, where λ σ is the canonical map, λ σ is the projection onto the σ component of the direct product, and Id stands for the identity map. Remark 2. Theorem 2, Theorem 1, and Proposition 2 provide a way to relate distributions in the sense of Mazur and Swinnerton-Dyer, functionals, and linear maps defined on an infinite algebraic extension K of Q p with those defined on the normal closure of K. Questions. We end this paper with a few questions which arise naturally, and which we pose to interested readers. Let Q p K be an infinite algebraic extension and let L be the normal closure of K. Denote G L = Gal(L/Q p ). 1) Let ϕ and ψ be two linear maps on L whose restrictions to σ(k) coincide, for each σ G L. Does it follow that ϕ = ψ? 2) If the restriction of ϕ to any σ(k) is continuous, does it follow that ϕ is continuous? 3) An interesting problem would be to study cases when ϕ(σx) = ϕ(x), for any σ G, where x is a generic element of K. A special example is provided by the trace function, which satisfies this property. 4) Can any Q p -functional on K be extended to a Q p -functional on L? 5) If T r K/Qp is continuous, does it follow that T r L/Qp is continuous? References [1] V. Alexandru, N. Popescu, M. Vâjâitu, A. Zaharescu, On the Iwasawa algebra associated to a normal element of C p, Proc. Indian Acad. Sci. (Math. Sci.), Vol. 120, No. 1(2010), [2] V. Alexandru, N. Popescu, A. Zaharescu, On closed subfields of C p, J. Number Theory 68, 2(1998), [3] V. Alexandru, N. Popescu, A. Zaharescu, The generating degree of C p, Canad. Math. Bull. 44(2001), no. 1, 3-11.
9 V. Alexandru, M. Vâjâitu, A. Zaharescu 11 [4] V. Alexandru, N. Popescu, A. Zaharescu, Trace on C p, J. Number Theory 88 (2001), no. 1, [5] R. Hartshorne, Algebraic Geometry, Springer, [6] B. Mazur, P. Swinnerton-Dyer, Arithmetic of Weil curves, Invent. Math. 25 (1974), [7] N. Popescu, M. Vâjâitu, A. Zaharescu, On the existence of trace for elements of C p, Algebras and Representation Theory, (2006) 9; [8] L. Ribes, P. Zalesskii, Profinite groups, Springer-Verlag, [9] M. Vâjâitu, A. Zaharescu, Trace functions and Galois invariant p-adic measures, Publ. Math., 50 (2006), Received: Accepted: (1) Department of Mathematics, University of Bucharest, 14 Academiei Street, RO Bucharest, Romania vralexandru@yahoo.com (2) Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit 5, P.O.Box RO Bucharest, Romania Marian.Vajaitu@imar.ro (3) Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit 5, P.O.Box RO Bucharest, Romania, and Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 W. Green Street Urbana, IL, 61801, USA zaharesc@illinois.edu
Generating sets of Galois equivariant Krasner analytic functions
Rend. Sem. Mat. Univ. Padova, DRAFT, 4 Generating sets of Galois equivariant Krasner analytic functions Victor Alexandru ( ) Marian Vâjâitu ( ) Alexandru Zaharescu ( ) Abstract Given a prime number p and
More informationProfinite 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 informationGALOIS 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 informationINVERSE 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 informationThe category of linear modular lattices
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 33 46 The category of linear modular lattices by Toma Albu and Mihai Iosif Dedicated to the memory of Nicolae Popescu (1937-2010) on the occasion
More informationInfinite 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 informationDepth of some square free monomial ideals
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 117 124 Depth of some square free monomial ideals by Dorin Popescu and Andrei Zarojanu Dedicated to the memory of Nicolae Popescu (1937-2010)
More informationIrreducible multivariate polynomials obtained from polynomials in fewer variables, II
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 121 No. 2 May 2011 pp. 133 141. c Indian Academy of Sciences Irreducible multivariate polynomials obtained from polynomials in fewer variables II NICOLAE CIPRIAN
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationDistributions, Krasner analytic functions and applications
Romanian Academy Institute of Mathematics Simion Stoilow DOCTORAL THESIS -SUMMARYp-adic Distributions, Krasner analytic functions and applications Advisor: C.S. I Dr. Marian Vâjâitu PhD Student: Cosmin
More informationRecollement of Grothendieck categories. Applications to schemes
ull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 109 116 Recollement of Grothendieck categories. Applications to schemes by D. Joiţa, C. Năstăsescu and L. Năstăsescu Dedicated to the memory
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationGalois theory of fields
1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationOn a Homoclinic Group that is not Isomorphic to the Character Group *
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS, 1 6 () ARTICLE NO. HA-00000 On a Homoclinic Group that is not Isomorphic to the Character Group * Alex Clark University of North Texas Department of Mathematics
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationAlgebraic number theory II
Algebraic number theory II Uwe Jannsen Contents 1 Infinite Galois theory 2 2 Projective and inductive limits 9 3 Cohomology of groups and pro-finite groups 15 4 Basics about modules and homological Algebra
More informationMath 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 information7 Orders in Dedekind domains, primes in Galois extensions
18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in
More informationAN 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 informationLecture 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 informationImaginary Quadratic Fields With Isomorphic Abelian Galois Groups
Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute
More informationReflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More information8 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 informationChapter 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 informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
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 informationThus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free
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 information12 Ramification, Haar measure, the product formula
18.785 Number theory I Lecture #12 Fall 2015 10/22/2015 12 Ramification, Haar measure, the product formula 12.1 Ramification in terms of the different and discriminant We conclude our discussion of the
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
More informationGalois Cohomology. John Tate
Galois Cohomology John Tate Contents Galois Cohomology 1 1. Group modules 1 2. Cohomology 2 2.1. Examples 3 2.2. Characterization of H r (G, ) 4 3. Kummer theory 4 4. Functor of pairs (G, A) 6 5. The
More informationON THE TATE-SHAFAREVICH GROUP OF A NUMBER FIELD
ON THE TATE-SHAFAREVICH GROUP OF A NUMBER FIELD SAMEER KAILASA Abstract. For an elliptic curve E defined over a field K, the Tate-Shafarevich group X(E/K) encodes important arithmetic and geometric information.
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 informationLiapunov Stability and the ring of P-adic integers
São Paulo Journal of Mathematical Sciences 2, 1 (2008), 77 84 Liapunov Stability and the ring of P-adic integers Jorge Buescu 1 Dep. Matemática, Fac. Ciências Lisboa, Portugal E-mail address: jbuescu@ptmat.fc.ul.pt
More informationPart II Galois Theory
Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More informationGALOIS CATEGORIES MELISSA LYNN
GALOIS CATEGORIES MELISSA LYNN Abstract. In abstract algebra, we considered finite Galois extensions of fields with their Galois groups. Here, we noticed a correspondence between the intermediate fields
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 informationON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS. Frank Gerth III
Bull. Austral. ath. Soc. Vol. 72 (2005) [471 476] 11r16, 11r29 ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS Frank Gerth III Recently Calegari and Emerton made a conjecture about the 3-class groups of
More informationON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS
ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition
More informationDEPTH OF FACTORS OF SQUARE FREE MONOMIAL IDEALS
DEPTH OF FACTORS OF SQUARE FREE MONOMIAL IDEALS DORIN POPESCU Abstract. Let I be an ideal of a polynomial algebra over a field, generated by r-square free monomials of degree d. If r is bigger (or equal)
More informationNotas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018
Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.
RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis
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 informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationA Note on the Inverse Limits of Linear Algebraic Groups
International Journal of Algebra, Vol. 5, 2011, no. 19, 925-933 A Note on the Inverse Limits of Linear Algebraic Groups Nadine J. Ghandour Math Department Lebanese University Nabatieh, Lebanon nadine.ghandour@liu.edu.lb
More information7 Lecture 7: Rational domains, Tate rings and analytic points
7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss
More informationInfinite 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 informationSEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p
SEPARABLE EXTENSIONS OF DEGREE p IN CHARACTERISTIC p; FAILURE OF HERMITE S THEOREM IN CHARACTERISTIC p JIM STANKEWICZ 1. Separable Field Extensions of degree p Exercise: Let K be a field of characteristic
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationOn a theorem of Ziv Ran
INSTITUTUL DE MATEMATICA SIMION STOILOW AL ACADEMIEI ROMANE PREPRINT SERIES OF THE INSTITUTE OF MATHEMATICS OF THE ROMANIAN ACADEMY ISSN 0250 3638 On a theorem of Ziv Ran by Cristian Anghel and Nicolae
More informationAbstract 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 informationRené Bartsch and Harry Poppe (Received 4 July, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 2016, 1-8 AN ABSTRACT ALGEBRAIC-TOPOLOGICAL APPROACH TO THE NOTIONS OF A FIRST AND A SECOND DUAL SPACE III René Bartsch and Harry Poppe Received 4 July, 2015
More informationIntroduction 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 information14 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 informationPrimal, completely irreducible, and primary meet decompositions in modules
Bull. Math. Soc. Sci. Math. Roumanie Tome 54(102) No. 4, 2011, 297 311 Primal, completely irreducible, and primary meet decompositions in modules by Toma Albu and Patrick F. Smith Abstract This paper was
More informationNotes on Galois Theory
Notes on Galois Theory Math 431 04/28/2009 Radford We outline the foundations of Galois theory. Most proofs are well beyond the scope of the our course and are therefore omitted. The symbols and in the
More informationLecture 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 informationFields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.
Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should
More informationLocal Compactness and Number Theory. Sam Mundy
Local Compactness and Number Theory Sam Mundy May 1, 2015 i Introduction The present document is a slightly expanded version of a series of lectures I gave at the University of New Mexico in the spring
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
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 informationProblem Set 6: Solutions Math 201A: Fall a n x n,
Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series
More informationContradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.
1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore
More information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More informationNumber Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011
Number Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011 January 27 Speaker: Moshe Adrian Number Theorist Perspective: Number theorists are interested in studying Γ Q = Gal(Q/Q). One way
More informationParabolas infiltrating the Ford circles
Bull. Math. Soc. Sci. Math. Roumanie Tome 59(07) No. 2, 206, 75 85 Parabolas infiltrating the Ford circles by S. Corinne Hutchinson and Alexandru Zaharescu Abstract We define and study a new family of
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 informationFILTERED 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 informationContinuity of convolution and SIN groups
Continuity of convolution and SIN groups Jan Pachl and Juris Steprāns June 5, 2016 Abstract Let the measure algebra of a topological group G be equipped with the topology of uniform convergence on bounded
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationArboreal Cantor Actions
Arboreal Cantor Actions Olga Lukina University of Illinois at Chicago March 15, 2018 1 / 19 Group actions on Cantor sets Let X be a Cantor set. Let G be a countably generated discrete group. The action
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationGLOBALIZING LOCALLY COMPACT LOCAL GROUPS
GLOBALIZING LOCALLY COMPACT LOCAL GROUPS LOU VAN DEN DRIES AND ISAAC GOLDBRING Abstract. Every locally compact local group is locally isomorphic to a topological group. 1. Introduction In this paper a
More informationA Bridge between Algebra and Topology: Swan s Theorem
A Bridge between Algebra and Topology: Swan s Theorem Daniel Hudson Contents 1 Vector Bundles 1 2 Sections of Vector Bundles 3 3 Projective Modules 4 4 Swan s Theorem 5 Introduction Swan s Theorem is a
More informationRiemann surfaces with extra automorphisms and endomorphism rings of their Jacobians
Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More information1 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 informationGEOMETRIC CLASS FIELD THEORY I
GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically
More informationModern Computer Algebra
Modern Computer Algebra Exercises to Chapter 25: Fundamental concepts 11 May 1999 JOACHIM VON ZUR GATHEN and JÜRGEN GERHARD Universität Paderborn 25.1 Show that any subgroup of a group G contains the neutral
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 informationDimension of the mesh algebra of a finite Auslander-Reiten quiver. Ragnar-Olaf Buchweitz and Shiping Liu
Dimension of the mesh algebra of a finite Auslander-Reiten quiver Ragnar-Olaf Buchweitz and Shiping Liu Abstract. We show that the dimension of the mesh algebra of a finite Auslander-Reiten quiver over
More informationAbsolute Values and Completions
Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic
More informationMA 162B LECTURE NOTES: FRIDAY, JANUARY 30
MA 162B LECTURE NOTES: FRIDAY, JANUARY 30 1. Examples of Cohomology Groups (cont d) 1.1. H 2 and Projective Galois Representations. Say we have a projective Galois representation ρ : G P GL(V ) where either
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More informationKummer Theory of Drinfeld Modules
Kummer Theory of Drinfeld Modules Master Thesis Simon Häberli Department of Mathematics ETH Zürich Advisor: Prof. Richard Pink May, 2011 Contents 1 Introduction 5 2 Ingredients from the theory of Drinfeld
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
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 informationABSTRACT 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 informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More information