Descent Calculations for Hopf-Galois Extensions of Fields
|
|
- Bartholomew Hunter
- 5 years ago
- Views:
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 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 informationHOPF 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 informationABELIAN 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 informationGraduate 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 informationFIXED-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 informationCommutative 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 informationALGEBRA 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 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 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 informationHochschild 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 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 informationne 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 information1 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 informationALGEBRA 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 informationField 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 informationThe 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 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 informationSurjectivity 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 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 informationMath 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 informationProblem 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 informationDefinitions. 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 informationDescent 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 informationGalois 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 informationDieudonné 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 informationHONDA-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 informationON 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 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 informationTHE 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 information22M: 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)
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 informationSynopsis 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 informationThe 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 informationTwo 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 informationALGEBRA 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 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 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 information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationThe 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 informationFINITE 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 information3 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 informationCover 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 informationB 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 informationAlgebra 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 informationList 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 informationMath 4400, Spring 08, Sample problems Final Exam.
Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that
More informationABSTRACT 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 informationFinite 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 informationMath 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 informationThe 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 informationLECTURE 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 informationNoetherian 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 informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More informationFrobenius 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 informationp-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 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 informationMath 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 informationCSIR - 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 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 informationGalois 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 informationJune 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 informationMATH 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 informationMath 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 informationAlgebra 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 informationAlgebra 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 informationNAP 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 informationLie 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 informationDemushkin 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 informationMAT 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 informationGroup 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 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 informationGalois 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 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 informationFUNCTORS 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 information1 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 informationPROBLEMS, 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 informationGALOIS 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 informationFALTINGS 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 informationA 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 informationPh.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 informationANNIHILATING 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 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 informationGalois 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 informationHopf-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 informationSample 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 informationLecture 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 informationLecture 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 informationEXTERIOR 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 informationAlgebraic 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 informationGeneric 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 informationSELF-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 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 informationIUPUI 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 information22. 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 informationSolutions 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 informationAlgebra 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 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 informationGALOIS 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 informationALGEBRA 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 informationSymplectic 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