Group rings of finite strongly monomial groups: central units and primitive idempotents
|
|
- Regina Jefferson
- 6 years ago
- Views:
Transcription
1 Group rings of finite strongly monomial groups: central units and primitive idempotents joint work with E. Jespers, G. Olteanu and Á. del Río Inneke Van Gelder Vrije Universiteit Brussel Recend Trends in Rings and Algebras, Murcia, June 3-7, 2013
2 Outline Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
3 Outline Background information on units Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
4 Outline Background information on units Virtual basis of Z(U(ZG)) Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
5 Outline Background information on units Virtual basis of Z(U(ZG)) Matrix units of each simple component in the rational group algebra QG Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
6 Outline Background information on units Virtual basis of Z(U(ZG)) Matrix units of each simple component in the rational group algebra QG Description of subgroup of finite index in U(ZG) for a class of metacyclic groups Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
7 Group rings Background Let G be a group and R a ring. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
8 Group rings Background Let G be a group and R a ring. RG is the set of all linear combinations r g g, g G with r g R and r g 0 for only finitely many coefficients. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
9 Group rings Background Let G be a group and R a ring. RG is the set of all linear combinations r g g, g G with r g R and r g 0 for only finitely many coefficients. Operations: g G r g g + s g g = g + s g )g g G g G(r r g g s g g = r g s h gh g G g G g,h G Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
10 Units Background Let R be a ring with unity 1. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
11 Units Background Let R be a ring with unity 1. U(R) is the set of all units of R: U(R) = {r R s R : rs = 1 = sr}. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
12 Background Units Let R be a ring with unity 1. U(R) is the set of all units of R: U(R) = {r R s R : rs = 1 = sr}. Example Let G be a finite group. U(ZG) =? Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
13 Example: Bass units Background Let G be a group, g an element of G of order n and k and m positive integers such that k m 1 mod n. The Bass (cyclic) unit with parameters g, k, m is the element in ZG u k,m (g) = (1 + g + + g k 1 ) m + (1 km ) (1 + g + g g n 1 ) n with inverse in ZG (1 + g k + + g k(i 1) ) m + (1 i m ) (1 + g + g g n 1 ) n where i is any integer such that ki 1 mod n. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
14 Background Example: Bass units Let G be a group, g an element of G of order n and k and m positive integers such that k m 1 mod n. The Bass (cyclic) unit with parameters g, k, m is the element in ZG u k,m (g) = (1 + g + + g k 1 ) m + (1 km ) (1 + g + g g n 1 ) n with inverse in ZG (1 + g k + + g k(i 1) ) m + (1 i m ) (1 + g + g g n 1 ) n where i is any integer such that ki 1 mod n. Theorem [Bass-Milnor] If G is a finite abelian group, then the Bass units generate a subgroup of finite index in U(ZG). Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
15 Background Wedderburn decomposition The Wedderburn decomposition of QG is the decomposition into simple algebras A 1 A k. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
16 Background Wedderburn decomposition The Wedderburn decomposition of QG is the decomposition into simple algebras A 1 A k. Each simple component is determined by a primitive central idempotent e i, i.e. A i = QGe i. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
17 Strong Shoda pairs Background If K H G and K H then ε(h, K) = ( K M) = K (1 M), where M runs through the set of all minimal normal subgroups of H containing K properly. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
18 Strong Shoda pairs Background If K H G and K H then ε(h, K) = ( K M) = K (1 M), where M runs through the set of all minimal normal subgroups of H containing K properly. We set ε(h, H) = Ĥ. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
19 Background Strong Shoda pairs If K H G and K H then ε(h, K) = ( K M) = K (1 M), where M runs through the set of all minimal normal subgroups of H containing K properly. We set ε(h, H) = Ĥ. A strong Shoda pair of G is a pair (H, K) of subgroups of G such that K H N G (K) H/K is cyclic and a maximal abelian subgroup of N G (K)/K the different G-conjugates of ε(h, K) are orthogonal. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
20 Background Strongly monomial groups Let χ be an irreducible (complex) character of G. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
21 Background Strongly monomial groups Let χ be an irreducible (complex) character of G. χ is strongly monomial if there is a strong Shoda pair (H, K) of G and a linear character θ of H with kernel K such that χ = θ G. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
22 Background Strongly monomial groups Let χ be an irreducible (complex) character of G. χ is strongly monomial if there is a strong Shoda pair (H, K) of G and a linear character θ of H with kernel K such that χ = θ G. The group G is strongly monomial if every irreducible character of G is strongly monomial. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
23 Background Strongly monomial groups Let χ be an irreducible (complex) character of G. χ is strongly monomial if there is a strong Shoda pair (H, K) of G and a linear character θ of H with kernel K such that χ = θ G. The group G is strongly monomial if every irreducible character of G is strongly monomial. Example Abelian-by-supersolvable groups are strongly monomial. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
24 Background The Wedderburn decomposition for strongly monomial groups Theorem [Olivieri-del Río-Simón] Let G be a finite strongly monomial group, then the Wedderburn decomposition is as follows: QG = QGe(G, H, K) = M n (Q(ξ k ) N G (K)/H) (H,K) (H,K) with (H, K) running on strong Shoda pairs of G. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
25 Virtual basis Virtual basis of the center It is well known that Z(U(ZG)) = ±Z(G) T, where T is a finitely generated free abelian group. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
26 Virtual basis Virtual basis of the center It is well known that Z(U(ZG)) = ±Z(G) T, where T is a finitely generated free abelian group. A virtual basis of Z(U(ZG)) is a set of multiplicatively independent elements of Z(U(ZG)) which generate a subgroup of finite index in Z(U(ZG)). Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
27 Rank Virtual basis of the center Strategy: We know how many elements a virtual basis of Z(U(ZG)) should have. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
28 Rank Virtual basis of the center Strategy: We know how many elements a virtual basis of Z(U(ZG)) should have. Theorem [Jespers-del Río-Olteanu-VG] Let G be a finite strongly monomial group. Then the rank of Z(U(ZG)) equals ( ) ϕ([h : K]) k (H,K) [N : H] 1, (H,K) where (H, K) runs through a complete and non-redundant set of strong Shoda pairs of G, h is such that H = h, K and { 1, if hh k (H,K) = n K for some n N G (K); 2, otherwise. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
29 Main strategy Virtual basis of the center Take an arbitrary central unit u in Z(U(ZG)) QG. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
30 Main strategy Virtual basis of the center Take an arbitrary central unit u in Z(U(ZG)) QG. We can write u as follows u = ue(g, H, K) = (1 e(g, H, K) + ue(g, H, K)). (H,K) (H,K) Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
31 Main strategy Virtual basis of the center Take an arbitrary central unit u in Z(U(ZG)) QG. We can write u as follows u = ue(g, H, K) = (1 e(g, H, K) + ue(g, H, K)). (H,K) (H,K) Hence it is necessary and sufficient to construct a virtual basis in each Z(ZGe(G, H, K)+Z(1 e(g, H, K))) Z[ζ [H:K] ] N G (K)/H +Z(1 e(g, H, K)). Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
32 Main strategy Virtual basis of the center Take an arbitrary central unit u in Z(U(ZG)) QG. We can write u as follows u = ue(g, H, K) = (1 e(g, H, K) + ue(g, H, K)). (H,K) (H,K) Hence it is necessary and sufficient to construct a virtual basis in each Z(ZGe(G, H, K)+Z(1 e(g, H, K))) Z[ζ [H:K] ] N G (K)/H +Z(1 e(g, H, K)). Strategy 1 Compute a basis of U(Z[ζ [H:K] ] N G (K)/H ) 2 Compute units in ZG projecting to the basis in U(Z[ζ [H:K] ] N G (K)/H ) and trivially in the other components. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
33 Virtual basis of the center Step 1: Cyclotomic units If n > 1 and k is an integer coprime with n then η k (ζ n ) = 1 ζk n = 1 + ζ n + ζn ζn k 1 1 ζ n is a unit of Z[ζ n ]. These units are called the cyclotomic units of Q(ζ n ). Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
34 Virtual basis of the center Step 1: Cyclotomic units If n > 1 and k is an integer coprime with n then η k (ζ n ) = 1 ζk n = 1 + ζ n + ζn ζn k 1 1 ζ n is a unit of Z[ζ n ]. These units are called the cyclotomic units of Q(ζ n ). Theorem [Washington] {η k (ζ p n) 1 < k < pn 2, p k} generates a free abelian subgroup of finite index in U(Z[ζ p n]) when p is prime. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
35 Virtual basis of the center Step 1: Cyclotomic units For a subgroup A of Gal(Q(ζ p n)/q) and u Q(ζ p n), we define π A (u) to be σ A σ(u). Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
36 Virtual basis of the center Step 1: Cyclotomic units For a subgroup A of Gal(Q(ζ p n)/q) and u Q(ζ p n), we define π A (u) to be σ A σ(u). Lemma [Jespers-del Río-Olteanu-VG] Let A be a subgroup of Gal(Q(ζ p n)/q). Let I be a set of coset representatives of U(Z/p n Z) modulo A, φ 1 containing 1. Then the set is a virtual basis of U ( Z[ζ p n] A). {π A (η k (ζ p n)) k I \ {1}} Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
37 Virtual basis of the center Step 2: Generalized Bass units If G is a finite group, M a normal subgroup of G, g G and k and m positive integers such that gcd(k, g ) = 1 and k m 1 mod g. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
38 Virtual basis of the center Step 2: Generalized Bass units If G is a finite group, M a normal subgroup of G, g G and k and m positive integers such that gcd(k, g ) = 1 and k m 1 mod g. Then we have u k,m (1 M + g M) = 1 M + u k,m (g) M. Observe that any element b = u k,m (1 M + g M) is an invertible element of ZG(1 M) + ZG M. As this is an order in QG, there is a positive integer n such that b n U(ZG). Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
39 Virtual basis of the center Step 2: Generalized Bass units If G is a finite group, M a normal subgroup of G, g G and k and m positive integers such that gcd(k, g ) = 1 and k m 1 mod g. Then we have u k,m (1 M + g M) = 1 M + u k,m (g) M. Observe that any element b = u k,m (1 M + g M) is an invertible element of ZG(1 M) + ZG M. As this is an order in QG, there is a positive integer n such that b n U(ZG). Let n G,M denote the minimal positive integer satisfying this condition for all g G. Then we call the element u k,m (1 M + g M) n G,M = u k,mng,m (1 M + g M) a generalized Bass unit based on g and M with parameters k and m. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
40 Virtual basis of the center Step 2: Generalized Bass units Let k be a positive integer coprime with p and let r be an arbitrary integer. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
41 Virtual basis of the center Step 2: Generalized Bass units Let k be a positive integer coprime with p and let r be an arbitrary integer. For every 0 j s n we construct recursively the following products of generalized Bass units of ZH: Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
42 Virtual basis of the center Step 2: Generalized Bass units Let k be a positive integer coprime with p and let r be an arbitrary integer. For every 0 j s n we construct recursively the following products of generalized Bass units of ZH: c s s (H, K, k, r) = 1, Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
43 Virtual basis of the center Step 2: Generalized Bass units Let k be a positive integer coprime with p and let r be an arbitrary integer. For every 0 j s n we construct recursively the following products of generalized Bass units of ZH: and, for 0 j s 1, c s j (H, K, k, r) = c s s (H, K, k, r) = 1, p s j 1 u k,op n (k)n H,K (g rpn s h K + 1 K) h H j ( s 1 j 1 ) cl s (H, K, k, r) 1 c s+l j l (H, K, k, r) 1. l=j+1 l=0 Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
44 Virtual basis of the center Step 2: Generalized Bass units Proposition [Jespers-del Río-Olteanu-VG] Let H be a finite group and K a subgroup of H such that H/K = gk is cyclic of order p n. Let H = {L H K L} = {H j = g pn j, K 0 j n}. Let k be a positive integer coprime with p and let r be an arbitrary integer. Then { ρ Hj1 (cj s η (H, K, k, r)) = k (ζ r ) O p s j p n (k)ps 1 n H,K, if j = j 1 ; (1) 1, if j j 1. for every 0 j, j 1 s n. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
45 Main Theorem Virtual basis of the center Theorem [Jespers-del Río-Olteanu-VG] Let G be a strongly monomial group such that there is a complete and non-redundant set S of strong Shoda pairs (H, K) of G with the property that each [H : K] is a prime power. For every (H, K) S, let T K be a right transversal of N G (K) in G, let I (H,K) be a set of representatives of U(Z/[H : K]Z) modulo N G (K)/H, 1 containing 1 and let [H : K] = p n (H,K) (H,K), with p (H,K) prime. Then c n (H,K) 0 (H, K, k, x) t : (H, K) S, k I (H,K) \ {1} t T K x N G (K)/H is a virtual basis of Z(U(ZG)). Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
46 Virtual basis of the center Examples of groups satisfying the conditions C q m C p n with C p n acting faithfully on C q m Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
47 Virtual basis of the center Examples of groups satisfying the conditions C q m C p n with C p n acting faithfully on C q m A 4 Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
48 Virtual basis of the center Examples of groups satisfying the conditions C q m C p n with C p n acting faithfully on C q m A 4 D 2n = a, b a n = b 2 = 1, a b = a 1 n is a power of a prime Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
49 Virtual basis of the center Examples of groups satisfying the conditions C q m C p n with C p n acting faithfully on C q m A 4 D 2n = a, b a n = b 2 = 1, a b = a 1 n is a power of a prime Q 4n = x, y x 2n = y 4 = 1, x n = y 2, x y = x 1 n is a power of 2... Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
50 Idea Matrix units Each simple component of QG is isomorphic to a matrix algebra. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
51 Idea Matrix units Each simple component of QG is isomorphic to a matrix algebra. We want to know which group ring elements represent the matrix units E ij = Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
52 Idea Matrix units For a strongly monomial group G, each simple component of QG is of the form QGe(G, H, K) = M n (QHε(H, K) N G (K)/H) for a strong Shoda pair (H, K). Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
53 Idea Matrix units For a strongly monomial group G, each simple component of QG is of the form QGe(G, H, K) = M n (QHε(H, K) N G (K)/H) for a strong Shoda pair (H, K). When the twisting of QN G (K)ε(H, K) N G (K)/H is trivial, Reiner provides an explicit isomorphism ψ : QHε(H, K) N G (K)/H M [NG (K):H](F ). Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
54 Matrix units Theorem [Jespers-del Río-Olteanu-VG] Let (H, K) be a strong Shoda pair of a finite group G such that τ(nh, n H) = 1 for all n, n N G (K). Let P, A M n (F ) be the matrices P = Then and A =. {E x x := x T1 ε(h, K)x 1 x, x T 2 x e } is a complete set of matrix units of QGe(G, H, K) where x e = ψ 1 (PAP 1 ), T 1 is a transversal of H in N G (K) and T 2 is a right transversal of N G (K) in G.. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
55 Matrix units Examples of groups satisfying the conditions C q m C p n with C p n acting faithfully on C q m Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
56 Matrix units Examples of groups satisfying the conditions C q m C p n with C p n acting faithfully on C q m S 4 Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
57 Matrix units Examples of groups satisfying the conditions C q m C p n with C p n acting faithfully on C q m S 4 A 4 Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
58 Matrix units Examples of groups satisfying the conditions C q m C p n with C p n acting faithfully on C q m S 4 A 4 D 2n = a, b a n = b 2 = 1, a b = a 1 Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
59 Matrix units Examples of groups satisfying the conditions C q m C p n with C p n acting faithfully on C q m S 4 A 4 D 2n = a, b a n = b 2 = 1, a b = a 1... Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
60 Subgroup of finite index Main ingredients Let O be an order in a division algebra D. For an ideal Q of O we denote by E(Q) the subgroup of SL n (O) generated by all Q-elementary matrices, that is E(Q) = I + qe ij q Q, 1 i, j n, i j, E ij a matrix unit. Theorem [Bass-Vaseršteĭn-Liehl-Venkataramana] If n 3 then [SL n (O) : E(Q)] <. If U(O) is infinite then [SL 2 (O) : E(Q)] <. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
61 Subgroup of finite index Main ingredients Let O be an order in a division algebra D. For an ideal Q of O we denote by E(Q) the subgroup of SL n (O) generated by all Q-elementary matrices, that is E(Q) = I + qe ij q Q, 1 i, j n, i j, E ij a matrix unit. Theorem [Bass-Vaseršteĭn-Liehl-Venkataramana] If n 3 then [SL n (O) : E(Q)] <. If U(O) is infinite then [SL 2 (O) : E(Q)] <. Since GL n (O) is generated by SL n (O) and its center, our construction of central units and matrix units is sufficient to describe a subgroup of finite index in U(ZG) for some groups G. Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
62 Subgroup of finite index Theorem [Jespers-del Río-Olteanu-VG] Let G = C q m C p n be a finite metacyclic group with C p n = b acting faithfully on C q m = a and with p and q different primes. Assume that either q 3, or n 1 or p 2. Then the following two groups are finitely generated nilpotent subgroups of U(ZG): V + j = 1 + p n tj 2 yxj h k bx j y a b, h, k {1,..., p n }, h < k, V j = 1 + p n tj 2 yxj h k bx j y a b, h, k {1,..., p n }, h > k. Hence V + = m j=1 V + j and V = m j=1 V j are nilpotent subgroups of U(ZG). Furthermore, the group U, V +, V, with U a virtual basis of Z(U(ZG)), is of finite index in U(ZG). Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
63 Reference Subgroup of finite index E. Jespers, G. Olteanu, Á. del Río, I. Van Gelder, Group rings of finite strongly monomial groups: Central units and primitive idempotents, Journal of Algebra, Volume 387, 1 August 2013, Pages Inneke Van Gelder (Brussels) Central units and primitive idempotents Murcia, June 3-7, / 26
Group rings of finite strongly monomial groups: central units and primitive idempotents
Group rings of finite strongly monomial groups: central units and primitive idempotents Eric Jespers Department of Mathematics, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium Gabriela
More informationUnits of Integral Group Rings, Banff, Eric Jespers. Vrije Universiteit Brussel Belgium
Units of Integral Group Rings, Banff, 2014 Eric Jespers Vrije Universiteit Brussel Belgium G a finite group ZG integral group ring U(ZG) group of invertible elements, a finitely presented group PROBLEM
More informationIDEMPOTENTS IN GROUP ALGEBRAS
MATHEMATICA, Tome 54 (77), N o 2, 2012, pp. 185 198 IDEMPOTENTS IN GROUP ALGEBRAS GABRIELA OLTEANU Abstract. In this survey we collect and present the classical and some recent methods to compute the primitive
More informationWedderburn decomposition of finite group algebras
Wedderburn decomposition of finite group algebras Osnel Broche and Ángel del Río Abstract We show a method to effectively compute the Wedderburn decomposition and the primitive central idempotents of a
More informationBASS CYCLIC UNITS AS FACTORS IN A FREE GROUP IN INTEGRAL GROUP RING UNITS
BASS CYCLIC UNITS AS FACTORS IN A FREE GROUP IN INTEGRAL GROUP RING UNITS JAIRO Z GONÇALVES AND ÁNGEL DEL RÍO Abstract Marciniak and Sehgal showed that if u is a non-trivial bicyclic unit of an integral
More informationThe Ring of Monomial Representations
Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents
More informationGabriela Olteanu WEDDERBURN DECOMPOSITION OF GROUP ALGEBRAS AND APPLICATIONS
Gabriela Olteanu WEDDERBURN DECOMPOSITION OF GROUP ALGEBRAS AND APPLICATIONS Gabriela Olteanu Wedderburn Decomposition of Group Algebras and Applications EDITURA FUNDAŢIEI PENTRU STUDII EUROPENE Cluj-Napoca
More informationA structure theorem for the unit group of the integral group ring of some finite groups
A structure theorem for the unit group of the integral group ring of some finite groups Eric Jespers and Angel del Río Abstract We classify the finite groups G such that the unit group of the integral
More informationN. Makhijani, R. K. Sharma and J. B. Srivastava
International Electronic Journal of Algebra Volume 18 2015 21-33 UNITS IN F q kc p r C q N. Makhijani, R. K. Sharma and J. B. Srivastava Received: 5 February 2014 Communicated by A. Çiğdem Özcan Abstract.
More informationMultiplicative Jordan Decomposition in Integral Group Rings
Multiplicative Jordan Decomposition in Integral Group Rings D. S. Passman University of Wisconsin Madison Brussels Conference June 2017 D. S. Passman (U. W. Madison) Jordan Decomposition Brussels Conference
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 informationAlgebraic Structures Exam File Fall 2013 Exam #1
Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write
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 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 informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More 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 informationGROUP ALGEBRAS OF KLEINIAN TYPE AND GROUPS OF UNITS
GROUP ALGEBRAS OF LEINIAN TYPE AND GROUPS OF UNITS GABRIELA OLTEANU AND ÁNGEL DEL RÍO Abstract. The algebras of leinian type are finite dimensional semisimple rational algebras A such that the group of
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 informationLeft Metacyclic Ideals
Centro Universiário da FEI Joint work with César Polcino Milies samir.assuena@fei.edu.br CIMPA RESEARCH SCHOOL ALGEBRAIC METHODS IN CODING THEORY Metacyclic Groups Definition A group G is metacyclic if
More informationOn metacyclic extensions
On metacyclic extensions Masanari Kida 1 Introduction A group G is called metacyclic if it contains a normal cyclic subgroup N such that the quotient group G/N is also cyclic. The category of metacyclic
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationPoincaré Bisectors and Application to Units
Poincaré Bisectors and Application to Units joint work with E. Jespers, S. O. Juriaans, A. De A. E Silva, A. C. Souza Filho Ann Kiefer July 15, 2011 Motivation Motivation Open Problem: Finding generators
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationAn Additive Characterization of Fibers of Characters on F p
An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009
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 informationImaginary Quadratic Fields With Isomorphic Abelian Galois Groups
Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
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 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 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 informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationGroups, Group rings and the Yang-Baxter equation. International Workshop Groups, Rings, Lie and Hopf Algebras.III
Groups, Group rings and the Yang-Baxter equation International Workshop Groups, Rings, Lie and Hopf Algebras.III August 12 18, 2012 Bonne Bay Marine Station Memorial University of Newfoundland Eric Jespers
More informationRational conjugacy of torsion units in integral group rings. group rings of non-solvable groups
Rational conjugacy of torsion units in integral group rings of non-solvable groups Vrije Universiteit Brussels, University of Stuttgart RTRA Murcia, June 4th 2013 Notations and Setting G a finite group.
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/54851 holds various files of this Leiden University dissertation Author: Stanojkovski, M. Title: Intense automorphisms of finite groups Issue Date: 2017-09-05
More informationOhio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti
Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions Timothy All Michael Belfanti July 22, 2013 Contents Spring 2012 1 1. Let G be a finite group and H a non-normal subgroup
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationABSTRACT. Professor Lawrence C. Washington Department of Mathematics
ABSTRACT Title of dissertation: AN ALGORITHMIC APPROACH TO INVARIANT RATIONAL FUNCTIONS Angela Marie Hennessy, Doctor of Philosophy, 2014 Dissertation directed by: Professor Lawrence C. Washington Department
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 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 informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationAre ζ-functions able to solve Diophantine equations?
Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions
More informationAlgebra Qualifying Exam Solutions. Thomas Goller
Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More informationON THE EXISTENCE OF (196,91,42) HADAMARD DIFFERENCE SETS. 1. Introduction
Kragujevac Journal of Mathematics Volume 34 (010), Pages 113 130. ON THE EXISTENCE OF (196,91,4) HADAMARD DIFFERENCE SETS ADEGOKE S. A. OSIFODUNRIN Abstract. We use group representations and factorization
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationQUALIFYING EXAM IN ALGEBRA August 2011
QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring
More informationExplicit Methods in Algebraic Number Theory
Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic
More informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More informationMATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions
MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,
More informationMULTIPLICATIVE JORDAN DECOMPOSITION IN GROUP RINGS OF 3-GROUPS
Journal of Algebra and Its Applications c World Scientific Publishing Company MULTIPLICATIVE JORDAN DECOMPOSITION IN GROUP RINGS OF 3-GROUPS Chia-Hsin Liu Department of Mathematics, National Taiwan Normal
More informationExtra exercises for algebra
Extra exercises for algebra These are extra exercises for the course algebra. They are meant for those students who tend to have already solved all the exercises at the beginning of the exercise session
More informationSupplementary Notes: Simple Groups and Composition Series
18.704 Supplementary Notes: Simple Groups and Composition Series Genevieve Hanlon and Rachel Lee February 23-25, 2005 Simple Groups Definition: A simple group is a group with no proper normal subgroup.
More informationArtin s and Brauer s Theorems on Induced. Characters
Artin s and Brauer s Theorems on Induced Characters János Kramár December 14, 2005 1 Preliminaries Let G be a finite group. Every representation of G defines a unique left C[G]- module where C[G] is the
More informationTorsion Units in Integral Group Rings
Leo Margolis University of Stuttgart (With A. Bächle) Jahrestagung DFG Schwerpunkt 1489 Osnabrück September 28th - October 2nd 2015 Notation and Setting G finite group ZG integral group ring over G Augmentation
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationCHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS
CHARACTER THEORY OF FINITE GROUPS Chapter 1: REPRESENTATIONS G is a finite group and K is a field. A K-representation of G is a homomorphism X : G! GL(n, K), where GL(n, K) is the group of invertible n
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 informationOn the first Zassenhaus Conjecture
Leo Margolis Joint work with Mauricio Caicedo and Ángel del Río University of Murcia, University of Stuttgart Darstellungstheorietage, Magdeburg, November 23-2012 Talk Structure 1. The Zassenhaus Conjectures,
More informationAlgebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001
Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,
More informationGroups of units of integral group rings of Kleinian type
Groups of units of integral group rings of Kleinian type Antonio Pita, Ángel del Río and Manuel Ruiz May, 004 Abstract We explore a method to obtain presentations of the group of units of an integral group
More informationGroups whose elements are not conjugate to their powers
Groups whose elements are not conjugate to their powers Andreas Bächle and Benjamin Sambale December 28, 2017 Abstract We call a finite group irrational if none of its elements is conjugate to a distinct
More informationBefore you begin read these instructions carefully.
MATHEMATICAL TRIPOS Part IA Tuesday, 4 June, 2013 1:30 pm to 4:30 pm PAPER 3 Before you begin read these instructions carefully. The examination paper is divided into two sections. Each question in Section
More informationGroups St Andrews 5th August 2013
Generators and Relations for a discrete subgroup of SL 2 (C) SL 2 (C) joint work with A. del Río and E. Jespers Ann Kiefer Groups St Andrews 5th August 2013 Goal: Generators and Relations for a subgroup
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 informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationMaximal finite subgroups of Sp(2n, Q)
Maximal finite subgroups of Sp(2n, Q) Markus Kirschmer RWTH Aachen University Groups, Rings and Group-Rings July 12, 2011 Goal Characterization Goal: Classify all conjugacy classes of maximal finite symplectic
More informationJanuary 2016 Qualifying Examination
January 2016 Qualifying Examination If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems, in principle,
More informationD-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.
D-MAH Algebra II FS18 Prof. Marc Burger Solution 26 Cyclotomic extensions. In the following, ϕ : Z 1 Z 0 is the Euler function ϕ(n = card ((Z/nZ. For each integer n 1, we consider the n-th cyclotomic polynomial
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 2.1 Exercise (6). Let G be an abelian group. Prove that T = {g G g < } is a subgroup of G.
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationFINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN
FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN A. I. LICHTMAN AND D. S. PASSMAN Abstract. In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the
More informationANALYSIS OF SMALL GROUPS
ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More informationActa Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) THE LIE AUGMENTATION TERMINALS OF GROUPS. Bertalan Király (Eger, Hungary)
Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) 93 97 THE LIE AUGMENTATION TERMINALS OF GROUPS Bertalan Király (Eger, Hungary) Abstract. In this paper we give necessary and sufficient conditions
More informationDepartment of Mathematics, University of California, Berkeley
ALGORITHMIC GALOIS THEORY Hendrik W. Lenstra jr. Mathematisch Instituut, Universiteit Leiden Department of Mathematics, University of California, Berkeley K = field of characteristic zero, Ω = algebraically
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 informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationThe Representations of The Heisenberg Group over a Finite Field
Armenian Journal of Mathematics Volume 3, Number 4, 2010, 162 173 The Representations of The Heisenberg Group over a Finite Field Manouchehr Misaghian Department of Mathematics Prairie view A & M University
More informationRecognising nilpotent groups
Recognising nilpotent groups A. R. Camina and R. D. Camina School of Mathematics, University of East Anglia, Norwich, NR4 7TJ, UK; a.camina@uea.ac.uk Fitzwilliam College, Cambridge, CB3 0DG, UK; R.D.Camina@dpmms.cam.ac.uk
More informationRepresentations Associated to the Group Matrix
Brigham Young University BYU ScholarsArchive All Theses and Dissertations 014-0-8 Representations Associated to the Group Matrix Joseph Aaron Keller Brigham Young University - Provo Follow this and additional
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 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 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 informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationCHARACTERS OF FINITE GROUPS.
CHARACTERS OF FINITE GROUPS. ANDREI YAFAEV As usual we consider a finite group G and the ground field F = C. Let U be a C[G]-module and let g G. Then g is represented by a matrix [g] in a certain basis.
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 informationChapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups
Chapter 4 Characters and Gauss sums 4.1 Characters on finite abelian groups In what follows, abelian groups are multiplicatively written, and the unit element of an abelian group A is denoted by 1 or 1
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/25833 holds various files of this Leiden University dissertation Author: Palenstijn, Willem Jan Title: Radicals in Arithmetic Issue Date: 2014-05-22 Chapter
More informationEssential idempotents in group algebras and in Coding Theory
in group algebras and in Coding Theory César Polcino Milies Universidade de São Paulo and Universidade Federal do ABC NON COMMUTATIVE RINGS AND APPLICATIONS IV, LENS, 2015 Definition A linear code C F
More informationUnits in Group Rings
Units in Group Rings By: Daniel Cox Faculty Advisor: Dr. Gregory T. Lee A project submitted to the Department of Mathematical Sciences in conformity with the requirements for Math 4301 (Honours Seminar)
More informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationSome Remarks on the Discrete Uncertainty Principle
Highly Composite: Papers in Number Theory, RMS-Lecture Notes Series No. 23, 2016, pp. 77 85. Some Remarks on the Discrete Uncertainty Principle M. Ram Murty Department of Mathematics, Queen s University,
More informationAN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA
AN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA CLAUS FIEKER AND YINAN ZHANG Abstract. We propose an algorithm to compute the p-part of the class number for a number field K, provided K is totally
More informationSolutions of exercise sheet 8
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra
More informationNonsolvable Groups with No Prime Dividing Three Character Degrees
Nonsolvable Groups with No Prime Dividing Three Character Degrees Mark L. Lewis and Donald L. White Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu,
More informationA SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )
A SIMPLE PROOF OF KRONECKER-WEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. Kronecker-Weber Theorem Let K/Q be
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 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 informationAlgebraic proofs of Dirichlet s theorem on arithmetic progressions
Charles University in Prague Faculty of Mathematics and Physics BACHELOR THESIS Martin Čech Algebraic proofs of Dirichlet s theorem on arithmetic progressions Department of Algebra Supervisor of the bachelor
More information