Descent Calculations for Hopf-Galois Extensions of Fields

Size: px
Start display at page:

Download "Descent Calculations for Hopf-Galois Extensions of Fields"

Transcription

1 Descent Calculations for Hopf-Galois Extensions of Fields Timothy Kohl Department of Mathematics and Statistics Boston University Boston, MA Abstract A Hopf-Galois structure on a field extension K/k consists of a k- Hopf algebra H together with an explicit action of H on the overfield K. The elucidation of those field extensions and the Hopf algebras which can arise was first given by Greither and Pareigis. We detail some explicit examples of these Hopf algebras and actions, including those for which the extension is already Galois in the usual sense. 1 Preliminaries Let R be a commutative ring and A a commutative R-algebra, finitely generated and projective as an R-module and H a cocommutative R Hopf algebra Definition 1.1: A is an H-module algebra if there exists µ : H End R (A), 1

2 an R algebra homomorphism such that for h H and x, y A: µ(h)(xy) = (h) µ(h (1) )(x)µ(h (2) )(y) (i) where (h) = (h) h (1) h (2) µ(h)(1) = ǫ(h)1 (ii) We refer to condition (i) by saying that H measures A to A. Condition (ii) is simply the statement that R A H where A H = {x A µ(h)(x) = ǫ(h)x h H} which is the fixed subalgebra of A under the action of H. Definition 1.2: A/R is an H-Galois extension if A is an H-module algebra such that (1) R = A H (2) A H = End R (A) via a h (b aµ(h)(b)) µ actually extends to an algebra map from A#H End R (A) where A#H is the smash product of A with H. As an R-module A#H = A H and we denote a h by a#h The algebra structure is given by formula: (a#h)(a #h ) = (h) aµ(h (1) )(a )#h (2) h where (h) = (h) h (1) h (2). One can think of this as a kind of semi-direct product. Equivalent to µ : H End R (A) are maps µ : H A A 2

3 an R-module map defining an H-module structure on A and µ : A A H an R-algebra map giving an H -comodule structure on A, making it an H object With this, the following are equivalent: Definition 1.3: A/R is H Galois (1) µ yields an isomorphism µ 1 : H A End R (A) (2) µ yields an isomorphism A A A H (3) Note: We can view (3) in the following context: Notation: Spec(A) = Hom R alg (A, ) and Spec(H ) = Hom R alg (H, ) The map µ : A A H can be dualized into a map Spec(H ) Spec(A) Spec(A) making Spec(A) into a Spec(H )-set for the group scheme Spec(H ). If H is co-commutative then H is commutative and so this makes sense. If A A = A H then we call A a Galois H -object and at the level of schemes this translates into a bijection Spec(H ) Spec(A) Spec(A) Spec(A) making Spec(A) a principal homogeneous space under the action of Spec(H ). That is, the map (g, x) (gx, x) for g Spec(H ) and x Spec(A) is bijective. For those extensions which are H-Galois there is a Galois type correspondance between R-sub-Hopf algebras of H and subalgebras of A containing R. Theorem 1.4: ([CS] - Theorem 7.6) If we define for an R-sub-Hopf algebra W of H, Fix(W) = {x A µ(w)(x) = ǫ(w)x w W } = A W 3

4 then the map { W H sub Hopf algebra } Fix { E R E A, E an R subalgebra } is injective and inclusion reversing. The case when F ix is also surjective is of importance and will be discussed. What we will be focusing on is the application of these ideas to separable field extensions, that is R = k and A = K some extension field of k and H a k-hopf algebra. If K is a field and S is a finite set then one may construct the K-algebra K S = Map(S, K) of set maps from S to K. The basis of this consists of {e s s S} where e s (t) = δ s,t and e s e t = δ s,t e s. Now if K/k is a separable extension of fields with normal closure K with Γ = Gal( K/k) and = Gal( K/K) as diagrammed below: K Γ K k then if we let S = Γ/ (left cosets), the following is true: There is an isomorphism: φ : K K K S given by φ(x y) = g S xg(y)e g. Moreover, if we let Γ act on K K via the left tensor factor and on K S by g (λe h ) = g(λ)e gh then φ is seen to be, in fact, a Γ-map. The isomorphism itself comes about as follows. If K = k(ξ) = K = k[x]/(f) with f the minimal polynomial for ξ, then K K = K[X]/(f) = g S K[X]/(X g(ξ)) = K S Later we shall show by an explicit calculation that this map φ is onto in a particular example. Now an action of a group N by K automorphisms 4

5 on K S arises via an action of N on the set S. (i.e. N B = Perm(S)) Moreover, this action is Galois (in the sense of Galois theory of rings) if and only if N is a regular subgroup of B. That is, N acts transitively and the point stabilizer of any element of S is the identity. As such, the group ring (and Hopf algebra) K[N] acts on K S to make K S / K a K[N]-galois extension under this same condition on N. If we have an action of a Hopf algebra H on the field K, that is a map H K K then there is a regular subgroup N B = Perm(S) such that K H = K[N] and the following diagram commutes: ( K H) ( K K) K[N] K S K K KS where the horizontal arrows are induced from base changing the action of H on K up to K. The reason this is the case is that first, if one has that K/k is an H-Galois extension then this is equivalent to having K/k being an H -Galois object. One then looks at the co-action of H and resulting isomorphism K K = K H. If we base change up to K we get K K = K H but as observed earlier K K = K S and so K H has K S as its underlying algebra. Since K H is a Hopf algebra then so must K S. As such there is a comultiplication : K S K S K S = KS S which must arise from a map S S S making S a group which we call N. The group structure on S = N, the associativity, existence of an identity element and inverses, arise from the co-associativity, counitary and antipode properties from the Hopf albebra structure on K S. Therefore K H = KN = ( K[N]) and so K H = K[N]. The regularity of N is as observed above. Now the regularity condition alone is not sufficient if one wants to start with an action of K[N] on K S to yield an action at the level of K. The main theorem in [GP] gives the descent theoretic and enumerative criteria for 5

6 determing whether a given separable extension has a Hopf Galois structure. Note, if we have L/k an extension of fields, and A a k-object (algebra, Hopf algebra etc.), another such k-object B is called an L-form of A if L A = L B as the corresponding L-objects. Theorem 1.5: ([GP] Theorem 2.1) Let K/k be a separable field extension, S and B as above, then the following are equivalent: (a) There is a k-hopf algebra H such that K/k is H-Galois (b) There is a regular subgroup N B that is normalized by Γ B. The Hopf algebra in (a) is a K-form of k[n] and can be computed by means of Galois descent. If one has a regular subgroup N of B = Perm(S) which is normalized by Γ then one can start with an action of K[N] on K S and descend it (with descent data from Γ) to an action of a k-hopf algebra H on K. Consider the following two diagrams. The first depicts the lifting of an action of an H on K to an action of K[N] on K S, ( K H) ( K K) = K[N] K S K K = KS and the second, the descent of an action of K[N] on K S to an action of a k-hopf algebra H on K. K[N] K S ( ) Γ H = ( K[N]) Γ K KS K ( ) Γ Here H is the fixed subalgebra of K[N] under the diagonal action of Γ on both the coefficients K and the elements of N. Here is where the necessity for Γ to normalize N in B comes in, for the action of Γ on N is by conjugation inside B. Note also that ( K S ) Γ = K by virtue of the above stated action of Γ. Also, observe that if N is regular then any two of the following imply the third: 6

7 (a) S = N (b) N acts transitively (c) Stab s (N) = 1 for all s S and, of course, dim k (H) = [K : k] = S = N. Also, the embedding Γ B is via the left action of Γ on S and moreover the condition Γ normalizes N can be rephrased as Γ Norm B (N). Now as N is regular on S then we can regard B = Perm(S) as Perm(N) instead with N embedded via the left regular representation (ie λ(n)(m) = nm). The normalizer of λ(n) in B is a classical object known as Hol(N) the holomorph of N. The set of all permuations in B = Perm(N) that fix the identity of N is canonically Aut(N) and moreover we have Hol(N) = λ(n)aut(n) (in B) and, moreover, that Hol(N) = N Aut(N) as abstract groups. In fact, it is by using the criterion Γ Hol(N) at the level of abstract groups that one can rule out certain extensions from having any Hopf Galois structures all. For example, if [K : k] = p for p an odd prime and Gal( K/k) = S p then there are no Hopf Galois structures on K/k since there is no way for S p to be contained in Hol(C p ) since the latter has order p(p 1). For some extensions, there can be many different N s that one can find which give distinct actions yet are isomorphic as abstract groups. 1.1 Notes Some additional observations should be made at this stage. First, the condition that Γ normalizes N inside B neither requires nor rules out the possibility that N Γ. If N is contained in Γ then the extension is termed almost classical for it is in this case that the map Fix giving the correspondence between {sub Hopf algebras of H} and {subf ields of K} is bijective. We shall give an example of one of these below. Secondly, although this theory is used primarily as a way of putting a Galois type of structure on an extension which is not Galois in the usual sense, this does not mean that a field extension which is Galois in the usual cannot have additional Hopf- Galois structures on it. Indeed, an ordinary Galois extension K/k with G = Gal(K/k) is already Hopf-Galois with H = k[g]. So the prescence of other Hopf-Galois structures is certainly not to be ruled out. In the case 7

8 of such an extension, K = K and so = 1 and S = Γ. We shall give an example of this as well in the next section. 2 Examples 2.1 Separable, non-normal extension with Hopf Galois structure Our first example will be Q(w)/Q where w = 3 2 which is certainly separable but non-normal. It is Hopf Galois for a Q-Hopf algebra H we shall exhibit below. First, let us extend our view to the normal closure of this extension, Q(w, ζ) where ζ is a primitive cube root of unity. M Q(ζ) Q(w, ζ) Q Γ Q(w) Here M = σ is cyclic of order 3 where σ(w) = ζw and = δ with δ(ζ) = ζ 2 and Γ = M = M. Consider the group ring Q(ζ, w)[m] and define α 1 = σ + σ 2 α 2 = ζ 2 σ + ζσ 2 and let H = Q[α 1, α 2 ]. The action of H on Q(w) is then induced from the action of M. Specifically, α 1 (w) = ζw + ζ 2 w = (ζ + ζ 2 )w = w 8

9 and α 2 (w) = ζ 2 (ζw) + ζ(ζ 2 w) = w + w = 2w Note also that α 1 (1) = 2 and α 2 (1) = 2. Now the question that arises is how did we construct H in this case? The N in this case is clearly M which is certainly normalized by Γ and moreover is contained in Γ. However some explanation as to why this works is needed. As mentioned above, we would consider the fixed ring (Q(w, ζ)[n]) Γ where Γ acts diagonally on the coefficients and the elements of N. However, we can take advantage of the following descent theoretic fact that holds in the almost classical case. In the case of an almost classical extension, K/k with K = KE where E is linearly disjoint from K over k. If M = Gal( K/E) and Γ = Gal( K/k) then B contains both M and M opp, the opposite group to M (M with multiplication reversed) inside B. Both M (and consequently M opp ) are both regular subgroups that are normalized by Γ. However, M opp has one additional property that is computationally convenient from a descent point of view, it is centralized by M. What this entails is that, since Γ = M with M a normal complement to, we can descend from K to k through E and take advantage of the fact that M centralizes M opp. What does this look like? Well, since N is our M opp here, we would have: K[M opp ] K S KS ( ) Γ H = ( K[M opp ]) Γ K However, since M centralizes M opp and Γ = M then we can first descend from K to E via M and then descend from E to k via which looks like K ( ) Γ

10 this K[M opp ] K S KS ( ) M E[M opp ] = ( K[M opp ]) M (E K) ( ) H = (E[M opp ]) K ( ) M (E K) K ( ) where E[M opp ] = ( K[M opp ]) M by virtue of M centralizing M opp. Note also that, since K S = K K then ( K S ) M = ( K) M K = E K. The Hopf algebra that acts is the fixed ring under the action of on the smaller group ring E[M opp ]. Now in the context of the example we were looking at, since M is abelian, then M = M opp and so the Hopf algbra H we mentioned above is H = (Q(w, ζ)[m]) Γ = (Q(ζ)[M]) which is easily computed given that acts on M via δ(σ) = σ 2. As such, the elements α 1 and α 2 are generators of the fixed ring, along with 1 of course. Note, that dim Q (H) = 3. The Hopf algebra structure on H is induced from that on Q(ζ, w)m, to wit: (σ + σ 2 ) = (σ σ + σ 2 σ 2 ) ǫ(σ + σ 2 ) = 2 λ(σ + σ 2 ) = σ 2 + σ The measuring property of H on Q(w) is evident, α 1 (w w) = m(σ σ + σ 2 σ 2 )(w w) = m(ζw ζw + ζ 2 w ζ 2 w) = ζ 2 w 2 + ζw 2 = w 2 10

11 which works out the same if we computed it directly, to wit, α 1 (w 2 ) = σ(w 2 ) + σ 2 (w 2 ) = ζ 2 w 2 + ζw 2 = w 2 Lastly, in [K] it is shown that this is the only Hopf Galois structure possible. The result comes from an analysis of more general prime power radical extensions of the form k(w)/k where w pn k such that [k(w) : k] = p n but this case can be argued directly as follows. Any other such N would be a cyclic group of order 3 such that Γ Hol(N ) B. However, Γ = 6 = B and, moreover, Γ = N Aut(N) = Hol(N), and so Hol(N) = Hol(N ) and so N must be N itself since N is the only subgroup of Hol(N) of order Ordinary Galois extension with additional Hopf Galois structure Our second example is of also an extension of Q which is Galois in the usual sense (hence Hopf Galois by default) and also has an additional Hopf Galois structure on it which we shall calculate. Indeed it is the normal closure of our previous example! Let w = 3 2 and ζ be a primitive cube root of unity as before and let k = Q and K = Q(w, ζ) and let Γ = σ, δ where σ and δ act on w and ζ as above. Note that here K = K. The two Hopf Galois structures we shall exhibit are related in that they arise due to choices of N which are related. First, since the extension is Galois, we have that B = Perm(S) = Perm(Γ) and recall that Γ is embedded in B via the left action of Γ on S and must normalize any N which arises. This embedding is the left regular representation of Γ and since Γ clearly normalizes itself (again the action of Γ on any N is by conjugation) then one clear choice is N l = λ(γ) the left embedding of Γ in B. This leads to the other choice for N we shall examine which relates to the observation made above in the almost classical case. Specifically, if N is a regular subgroup of B then so is N opp, note again that N opp and N centralize one another in B. In this context, N opp l = ρ(γ) the right-regular representation of Γ in B = Perm(Γ) where we define ρ(γ 1 )(γ 2 ) = γ 2 γ

12 We shall call this N r and observe that Γ = N l certainly centralizes N r and so N r will give us a Hopf Galois structure on K/k. The point to observe is that while Γ = N l centralizes N r it does not centralize itself so the action of Γ on K[N l ] versus that on K[N r ] will be different and moreover the resulting actions on K/k will be different. We shall call the resulting Hopf algebras H l and H r and observe that the descent data that yield each are different and result in non-isomorphic algebras. Specifically, H r = (K[N r ]) Γ where Γ acts (as always) simultaneously on the group elements and the coefficients. However, since Γ acts trivially on N r then we get H r == k[n r ] or simply the canonical structure arising due to the fact that K/k is already Galois. However, H l = (K[N l ]) Γ where now the action of Γ on both the group elements and scalars is nontrivial. The action of Γ on K[N l ] is straightforward but working out a basis for the fixed ring was done using the computer algebra system MAPLE. Let us examine this a bit. The group ring Q(w, ζ)[n r ] is a 36 dimensional vector space over Q and if we regard N l = Γ as σ δ where δ(σ) = σ 2 then a typical element of the group ring looks like ( b0,0,2,1 + b 1,1,2,1 zw + b 0,1,2,1 z + b 2,1,2,1 zw 2 + b 2,0,2,1 w 2 + b 1,0,2,1 w ) (σ 2, δ) + ( b 0,0,2,0 + b 2,0,2,0 w 2 + b 1,0,2,0 w + b 1,1,2,0 zw + b 2,1,2,0 zw 2 + b 0,1,2,0 z ) (σ 2, 1) + ( b 0,0,1,1 + b 1,0,1,1 w + b 1,1,1,1 zw + b 2,1,1,1 zw 2 + b 0,1,1,1 z + b 2,0,1,1 w 2) (σ, δ) + ( b 1,0,1,0 w + b 0,1,1,0 z + b 0,0,1,0 + b 2,1,1,0 zw 2 + b 2,0,1,0 w 2 + b 1,1,1,0 zw ) (σ, 1) + ( b 0,1,0,1 z + b 0,0,0,1 + b 1,1,0,1 zw + b 2,1,0,1 zw 2 + b 2,0,0,1 w 2 + b 1,0,0,1 w ) (1, δ) + ( b 1,0,0,0 w + b 0,1,0,0 z + b 2,0,0,0 w 2 + b 2,1,0,0 zw 2 + b 0,0,0,0 + b 1,1,0,0 zw ) (1, 1) with b i,j,k,l Q. Now what was done was to examine the set of relations imposed on the b i,j,k,l by forcing the above element to be fixed by all of Γ. What was found was that the typical element of H l is an expression of the 12

13 form: lh = ( b 2,1,1,1 ζw 2 + b 1,0,0,1 ζw b 2,1,1,1 w 2 + b 0,0,2,1 ) (σ 2, δ) + (b 0,0,2,0 + (b 0,0,2,0 b 0,0,1,0 ) ζ)(σ 2, 1) + ( b 1,0,0,1 w + b 0,0,2,1 b 1,0,0,1 ζw + b 2,1,1,1 ζw 2) (σ, δ) + (b 0,0,1,0 + ( b 0,0,2,0 + b 0,0,1,0 ) ζ)(σ, 1) + ( b 2,1,1,1 w 2 + b 0,0,2,1 + b 1,0,0,1 w ) (1, δ) + b 0,0,0,0 (1, 1) with b 2,1,1,1, b 0,0,2,0, b 1,0,0,1, b 0,0,1,0, b 0,0,0,0, b 0,0,2,1 Q. The dimension, of course, is exactly 6 which it must be since [K : k] = 6. For reference, we shall include the typical element of H r which ends up looking like this: rh = b 0,0,0,0 (1, 1)+b 0,0,2,1 (σ 2, δ)+b 0,0,2,0 (σ 2, 1)+b 0,0,1,1 (σ, δ)+b 0,0,1,0 (σ, 1)+b 0,0,0,1 (1, δ) with b 0,0,0,0, b 0,0,2,1, b 0,0,2,0, b 0,0,1,1, b 0,0,1,0, b 0,0,0,1 Q which is just a typical element of the group ring Q[N r ] = Q[Γ]. Now the actions of these Hopf algebras on K = Q(w, ζ) are demonstrably different, observe: rh(1) = b 0,0,0,0 + b 0,0,0,1 + b 0,0,1,0 + b 0,0,1,1 + b 0,0,2,0 + b 0,0,2,1 rh(w) = ((b 0,0,1,0 + b 0,0,1,1 b 0,0,2,0 b 0,0,2,1 ) ζ + b 0,0,0,0 + b 0,0,0,1 b 0,0,2,0 b 0,0,2,1 ) w rh(w 2 ) = (( b 0,0,1,0 b 0,0,1,1 + b 0,0,2,0 + b 0,0,2,1 ) ζ + b 0,0,0,0 + b 0,0,0,1 b 0,0,1,0 b 0,0,1,1 ) w 2 rh(z) = ( b 0,0,0,1 + b 0,0,0,0 b 0,0,2,1 + b 0,0,1,0 b 0,0,1,1 + b 0,0,2,0 ) ζ b 0,0,2,1 b 0,0,0,1 b 0,0,1,1 and lh(1) = b 0,0,0,0 + 2 b 0,0,2,0 + 3 b 0,0,2,1 b 0,1,2,0 lh(w) = (2 b 0,1,2,0 + b 0,0,0,0 b 0,0,2,0 ) w + 3 b 1,1,2,1 w 2 lh(w 2 ) = 3 Awb 2,1,2,1 + ( b 0,1,2,0 + b 0,0,0,0 b 0,0,2,0 ) w 2 lh(z) = (2 b 0,0,2,0 3 b 0,0,2,1 b 0,1,2,0 + b 0,0,0,0 )z 3 b 0,0,2,1 where A = w 3. Observe also that the fixed fields, K H l and K H r are both Q. Indeed, rh(1) = ǫ(rh)1, for example, which is in accord with condition (ii) in the definition of H-module algebra. The measuring property can also be verified. 13

14 3 Appendix Here we shall demonstrate some of the difficulty in showing, computationally, the isomorphism K K = K S in one particular case. The calculations here were carried out using MAPLE. In the second example, we had that K = K = Q(w, ζ) and consequently S = Γ. The isomorphism then is K K = K Γ where Γ = σ δ. Now as a the tensor product is over Q, a typical element of K K is of the form c i,j,k,l (ζ j w i ζ l w k ) (i,j,k,l) Recall, the map φ : K K K Γ will work as follows: φ(x y) = g Γ xg(y)e g and applied to the generic element of K K above yields c i,j,k,l ζ j w i g(ζ l w k )e g g Γ (i,j,k,l) What are computed below are the preimages under φ of the basis elements {e g g Γ} of K Γ. φ 1 (e (1,1) ) = 1 A (w2 ζw) 1 A (ζw w2 ) 1 A (w ζw2 ) 2 A (ζw2 ζw) + 1 A (w2 w) + 1 A (w w2 ) 2 A (ζw ζw2 ) 1 A (ζw2 w) + 1 (1 1) 1 (1 ζ) 2 (ζ ζ) 1 (ζ 1) φ 1 (e (1,δ) ) = 1 A (w2 ζw) + 1 A (ζw w2 ) + 1 A (w ζw2 ) + 2 A (ζw2 ζw) + 2 A (w2 w) + 2 A (w w2 ) + 2 A (ζw ζw2 ) + 1 A (ζw2 w) + 2 (1 1) + 1 (1 ζ) + 2 (ζ ζ) + 1 (ζ 1) 14

15 φ 1 (e (σ,1) ) = 1 A (w2 ζw) + 2 A (ζw w2 ) + 2 A (w ζw2 ) + 1 A (ζw2 ζw) 2 A (w2 w) + 1 A (w w2 ) + 1 A (ζw ζw2 ) 1 A (ζw2 w) + 1 (1 1) 1 (1 ζ) 2 (ζ ζ) 1 (ζ 1) φ 1 (e (σ,δ) ) = 1 A (w2 ζw) + 1 A (ζw w2 ) 2 A (w ζw2 ) 1 A (ζw2 ζw) 1 A (w2 w) 1 A (w w2 ) 1 A (ζw ζw2 ) 2 A (ζw2 w) + 2 (1 1) + 1 (1 ζ) + 2 (ζ ζ) + 1 (ζ 1) φ 1 (e (σ 2,1)) = 2 A (w2 ζw) 1 A (ζw w2 ) 1 A (w ζw2 ) + 1 A (ζw2 ζw) + 1 A (w2 w) 2 A (w w2 ) + 1 A (ζw ζw2 ) + 2 A (ζw2 w) + 1 (1 1) 1 (1 ζ) 2 (ζ ζ) 1 (ζ 1) φ 1 (e (σ 2,δ)) = 2 A (w2 ζw) 2 A (ζw w2 ) + 1 A (w ζw2 ) 1 A (ζw2 ζw) 1 A (w2 w) 1 A (w w2 ) 1 A (ζw ζw2 ) + 1 A (ζw2 w) + 2 (1 1) + 1 (1 ζ) + 2 (ζ ζ) + 1 (ζ 1) We can test these calculations, for example, by applying φ to one of the 15

16 preimages given above. ( φ(φ 1 (e (σ 2,δ))) = 2 1 ζ 1 ) ( 2 e (1,δ) + ζ + 2 ) ( 1 e (σ 2,1) + ζ + 1 ) e (σ 2,1) ( + 1 ζ 1 ) ( 1 e (σ 2,δ) + ζ + 1 ) ( 2 e (σ,1) + ζ + 2 ) e (σ 2,δ) ( 2 + ζ + 2 ) ( 1 e (1,δ) + 2 ζ + 1 ) ( 1 e (σ,δ) + 2 ζ + 1 ) e (σ 2,δ) ( 2 + ζ + 2 ) ( e (σ,1) + 1 ζ 1 ) ( e (σ,1) + 2 ζ 2 ) e (σ,1) ( ζ 1 ) ( e (σ,δ) + 2 ζ 2 ) ( e (1,1) + 2 ζ ζe (σ 2,δ) + 2 ( 1 3 e (σ 2,δ) + 2 ζ + 1 ) e (1,1) + ( 1 ζ 1 = e (σ 2,δ) ) e (σ 2,1) ) e (σ 2,1) 4 References [CS] S.U. Chase and M. Sweedler, Hopf Algebras and Galois Theory, Lecture Notes in Mathematics No. 7, Springer-Verlag, Berlin, 16. [GP] C. Greither and B. Pareigis, Hopf Galois Theory for Separable Field Extensions, J. Algebra 106, 187, [K] Timothy Kohl, Classification of the Hopf Galois Structures on Prime Power Radical Extensions, J. Algebra , [KO] M-A. Knus and M. Ojanguren, Théorie de la descente et algèbres d Azumaya, Lecture Notes in Mathematics No. 38, Springer-Verlag, Berlin, 174. [P1] B. Pareigis, Descent Theory Applied to Galois Theory, technical report, Univ. California San Diego,

17 [P2] B. Pareigis, Forms of Hopf Algebras and Galois Theory,Topics in Algebra, Banach Center Publications Vol. 26 Part I, 10,

Hopf-Galois Structures on Galois Extensions of Fields

Hopf-Galois Structures on Galois Extensions of Fields Hopf-Galois Structures on Galois Extensions of Fields Nigel Byott University of Exeter, UK 23 June 2017 Hopf Galois Extensions Let H be a finite dimensional cocommutative Hopf algebra over a field K, with

More information

HOPF GALOIS STRUCTURES ON GALOIS EXTENSIONS OF FIELDS OF DEGREE mp

HOPF GALOIS STRUCTURES ON GALOIS EXTENSIONS OF FIELDS OF DEGREE mp HOPF GALOIS STRUCTURES ON GALOIS EXTENSIONS OF FIELDS OF DEGREE mp LINDSAY N. CHILDS Abstract. Let Γ be a group of order mp where p is prime and m < p. T. Kohl has shown that regular subgroups of P erm(γ)

More information

ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS

ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS S. C. FEATHERSTONHAUGH, A. CARANTI, AND L. N. CHILDS Abstract. The main theorem of this paper is that if (N, +) is a finite abelian

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

FIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS

FIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS FIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS LINDSAY N. CHILDS Abstract. Let G = F q β be the semidirect product of the additive group of the field of q = p n elements and the cyclic

More information

Commutative nilpotent rings and Hopf Galois structures

Commutative nilpotent rings and Hopf Galois structures Commutative nilpotent rings and Hopf Galois structures Lindsay Childs Exeter, June, 2015 Lindsay Childs Commutative nilpotent rings and Hopf Galois structures Exeter, June, 2015 1 / 1 Hopf Galois structures

More information

ALGEBRA 11: Galois theory

ALGEBRA 11: Galois theory Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic

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

Notes on p-divisible Groups

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

Hochschild and cyclic homology of a family of Auslander algebras

Hochschild and cyclic homology of a family of Auslander algebras Hochschild and cyclic homology of a family of Auslander algebras Rachel Taillefer Abstract In this paper, we compute the Hochschild and cyclic homologies of the Auslander algebras of the Taft algebras

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

ne varieties (continued)

ne varieties (continued) Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we

More information

1 Fields and vector spaces

1 Fields and vector spaces 1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

More information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

More information

Field Theory Qual Review

Field Theory Qual Review Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions

More information

The Structure of Hopf Algebras Acting on Galois Extensions

The Structure of Hopf Algebras Acting on Galois Extensions The Structure of Hopf Algebras Acting on Galois Extensions Robert G. Underwood Department of Mathematics and Computer Science Auburn University at Montgomery Montgomery, Alabama June 7, 2016 Abstract Let

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

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

Surjectivity in Honda-Tate

Surjectivity in Honda-Tate Surjectivity in Honda-Tate Brian Lawrence May 5, 2014 1 Introduction Let F q be a finite field with q = p a elements, p prime. Given any simple Abelian variety A over F q, we have seen that the characteristic

More information

A BRIEF INTRODUCTION TO LOCAL FIELDS

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

Math 121. Fundamental Theorem and an example

Math 121. Fundamental Theorem and an example Math 121. Fundamental Theorem and an example Let K/k be a finite Galois extension and G = Gal(K/k), so #G = [K : k] by the counting criterion for separability discussed in class. In this handout we will

More information

Problem 1.1. Classify all groups of order 385 up to isomorphism.

Problem 1.1. Classify all groups of order 385 up to isomorphism. Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5

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

Descent Theory and Its Applications in Lie Theory. Zhihua Chang. Bar-Ilan University. September 22, 2014

Descent Theory and Its Applications in Lie Theory. Zhihua Chang. Bar-Ilan University. September 22, 2014 GAP Seminar at USTC Descent Theory and Its Applications in Lie Theory Zhihua Chang Bar-Ilan University September 22, 2014 Email: zhihuachang@gmail.com Department of Mathematics, Bar-Ilan University, Ramat-Gan,

More information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015 Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s

More information

Dieudonné Modules and p-divisible Groups

Dieudonné Modules and p-divisible Groups Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous

More information

HONDA-TATE THEOREM FOR ELLIPTIC CURVES

HONDA-TATE THEOREM FOR ELLIPTIC CURVES HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.

More information

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,

More information

Thus, 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

Thus, 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 information

THE QUANTUM DOUBLE AS A HOPF ALGEBRA

THE QUANTUM DOUBLE AS A HOPF ALGEBRA THE QUANTUM DOUBLE AS A HOPF ALGEBRA In this text we discuss the generalized quantum double construction. treatment of the results described without proofs in [2, Chpt. 3, 3]. We give several exercises

More information

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points. 22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)]. Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

More information

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K.

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K. The third exam will be on Monday, April 9, 013. The syllabus for Exam III is sections 1 3 of Chapter 10. Some of the main examples and facts from this material are listed below. If F is an extension field

More information

Two subgroups and semi-direct products

Two subgroups and semi-direct products Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

Part II Galois Theory

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

FIELD THEORY. Contents

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

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End

More information

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013 The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.

More information

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =. FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts

More information

3 Galois Theory. 3.1 Definitions and Examples

3 Galois Theory. 3.1 Definitions and Examples 3 Galois Theory 3.1 Definitions and Examples This section of notes roughly follows Section 14.1 in Dummit and Foote. Let F be a field and let f (x) 2 F[x]. In the previous chapter, we proved that there

More information

Cover Page. The handle holds various files of this Leiden University dissertation.

Cover Page. The handle   holds various files of this Leiden University dissertation. Cover Page The handle http://hdl.handle.net/1887/20310 holds various files of this Leiden University dissertation. Author: Jansen, Bas Title: Mersenne primes and class field theory Date: 2012-12-18 Chapter

More information

B Sc MATHEMATICS ABSTRACT ALGEBRA

B Sc MATHEMATICS ABSTRACT ALGEBRA UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z

More information

Algebra SEP Solutions

Algebra SEP Solutions Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since

More information

List of topics for the preliminary exam in algebra

List of topics for the preliminary exam in algebra List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.

More information

Math 4400, Spring 08, Sample problems Final Exam.

Math 4400, Spring 08, Sample problems Final Exam. Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that

More information

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element

More information

Finite group schemes

Finite group schemes Finite group schemes Johan M. Commelin October 27, 2014 Contents 1 References 1 2 Examples 2 2.1 Examples we have seen before.................... 2 2.2 Constant group schemes....................... 3 2.3

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

The Kronecker-Weber Theorem

The Kronecker-Weber Theorem The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the

More information

LECTURE 2. Hilbert Symbols

LECTURE 2. Hilbert Symbols LECTURE 2 Hilbert Symbols Let be a local field over Q p (though any local field suffices) with char() 2. Note that this includes fields over Q 2, since it is the characteristic of the field, and not the

More information

Noetherian property of infinite EI categories

Noetherian property of infinite EI categories Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result

More information

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.

More information

Frobenius Green functors

Frobenius Green functors UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative

More information

p-divisible Groups and the Chromatic Filtration

p-divisible Groups and the Chromatic Filtration p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This

More information

Galois theory of fields

Galois 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 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

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

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

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

June 2014 Written Certification Exam. Algebra

June 2014 Written Certification Exam. Algebra June 2014 Written Certification Exam Algebra 1. Let R be a commutative ring. An R-module P is projective if for all R-module homomorphisms v : M N and f : P N with v surjective, there exists an R-module

More information

MATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.

MATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory. MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is

More information

Math 121 Homework 3 Solutions

Math 121 Homework 3 Solutions Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting

More information

Algebra Exam, Spring 2017

Algebra Exam, Spring 2017 Algebra Exam, Spring 2017 There are 5 problems, some with several parts. Easier parts count for less than harder ones, but each part counts. Each part may be assumed in later parts and problems. Unjustified

More information

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3... Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2

More information

NAP Module 4. Homework 2 Friday, July 14, 2017.

NAP Module 4. Homework 2 Friday, July 14, 2017. NAP 2017. Module 4. Homework 2 Friday, July 14, 2017. These excercises are due July 21, 2017, at 10 pm. Nepal time. Please, send them to nap@rnta.eu, to laurageatti@gmail.com and schoo.rene@gmail.com.

More information

Lie Superalgebras and Lie Supergroups, II

Lie Superalgebras and Lie Supergroups, II Seminar Sophus Lie 2 1992 3 9 Lie Superalgebras and Lie Supergroups, II Helmut Boseck 6. The Hopf Dual. Let H = H 0 H 1 denote an affine Hopf superalgebra, i.e. a Z 2 -graded commutative, finitely generated

More information

Demushkin s Theorem in Codimension One

Demushkin s Theorem in Codimension One Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und

More information

MAT 535 Problem Set 5 Solutions

MAT 535 Problem Set 5 Solutions Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)

More information

Group Theory

Group Theory Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ is

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

Galois Correspondence Theorem for Picard-Vessiot Extensions

Galois Correspondence Theorem for Picard-Vessiot Extensions Arnold Math J. (2016) 2:21 27 DOI 10.1007/s40598-015-0029-z RESEARCH CONTRIBUTION Galois Correspondence Theorem for Picard-Vessiot Extensions Teresa Crespo 1 Zbigniew Hajto 2 Elżbieta Sowa-Adamus 3 Received:

More information

HARTSHORNE EXERCISES

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

FUNCTORS AND ADJUNCTIONS. 1. Functors

FUNCTORS AND ADJUNCTIONS. 1. Functors FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,

More information

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism 1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials

More information

PROBLEMS, MATH 214A. Affine and quasi-affine varieties

PROBLEMS, MATH 214A. Affine and quasi-affine varieties PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset

More information

GALOIS THEORY BRIAN OSSERMAN

GALOIS THEORY BRIAN OSSERMAN GALOIS THEORY BRIAN OSSERMAN Galois theory relates the theory of field extensions to the theory of groups. It provides a powerful tool for studying field extensions, and consequently, solutions to polynomial

More information

FALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra)

FALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra) FALTINGS SEMINAR TALK SIMON RUBINSTEIN-SALZEDO 1. Cartier duality Let R be a commutative ring, and let G = Spec A be a commutative group scheme, where A is a finite flat algebra over R. Let A = Hom R mod

More information

A Little Beyond: Linear Algebra

A Little Beyond: Linear Algebra A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two

More information

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The

More information

ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy

ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER Seán McGarraghy Abstract. We construct examples where an annihilating polynomial produced by considering étale algebras improves on the annihilating

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

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

Galois Theory of Cyclotomic Extensions

Galois Theory of Cyclotomic Extensions Galois Theory of Cyclotomic Extensions Winter School 2014, IISER Bhopal Romie Banerjee, Prahlad Vaidyanathan I. Introduction 1. Course Description The goal of the course is to provide an introduction to

More information

Hopf-Galois Structures on Cyclic Field Extensions of Squarefree Degree

Hopf-Galois Structures on Cyclic Field Extensions of Squarefree Degree Hopf-Galois Structures on Cyclic Field Extensions of Squarefree Degree 1 University of Exeter, UK 23/06/2017 1 aaab201@exeter.ac.uk Hopf-Galois structure For normal separable field extension L/K, Γ = Gal(L/K)

More information

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

More information

Lecture 4 Super Lie groups

Lecture 4 Super Lie groups Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is

More information

Lecture 8: The Field B dr

Lecture 8: The Field B dr Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion

More information

EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS

EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.

More information

Algebraic subgroups of GL 2 (C)

Algebraic subgroups of GL 2 (C) Indag. Mathem., N.S., 19 (2, 287 297 June, 2008 Algebraic subgroups of GL 2 (C by K.A. Nguyen, M. van der Put and J. Top Department of Mathematics, University of Groningen, P.O. Box 07, 9700 AK Groningen,

More information

Generic Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005

Generic Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005 Generic Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005 Polynomial Galois Theory case Noether first introduced generic equations in connection

More information

SELF-DUAL HOPF QUIVERS

SELF-DUAL HOPF QUIVERS Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of

More information

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

IUPUI Qualifying Exam Abstract Algebra

IUPUI Qualifying Exam Abstract Algebra IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order

More information

22. Galois theory. G = Gal(L/k) = Aut(L/k) [L : K] = H. Gal(K/k) G/H

22. Galois theory. G = Gal(L/k) = Aut(L/k) [L : K] = H. Gal(K/k) G/H 22. Galois theory 22.1 Field extensions, imbeddings, automorphisms 22.2 Separable field extensions 22.3 Primitive elements 22.4 Normal field extensions 22.5 The main theorem 22.6 Conjugates, trace, norm

More information

Solutions to Assignment 4

Solutions to Assignment 4 1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2

More information

Algebra Qualifying Exam, Fall 2018

Algebra Qualifying Exam, Fall 2018 Algebra Qualifying Exam, Fall 2018 Name: Student ID: Instructions: Show all work clearly and in order. Use full sentences in your proofs and solutions. All answers count. In this exam, you may use the

More information

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

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

GALOIS THEORY. Contents

GALOIS THEORY. Contents GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

Symplectic representation theory and the Weyl algebra in positive characteristic

Symplectic representation theory and the Weyl algebra in positive characteristic Symplectic representation theory and the Weyl algebra in positive characteristic SPUR Final Paper, Summer 2016 Joseph Zurier Mentor: Augustus Lonergan Project Suggested by Roman Bezrukavnikov 3 August

More information