Permutation Group Algorithms

Size: px
Start display at page:

Download "Permutation Group Algorithms"

Transcription

1 Permutation Group Algorithms / 32 Permutation Group Algorithms Zoltán Halasi Eötvös Loránd University 2016

2 More group theory Permutation Group Algorithms / 32 Going into deeper to the structure of groups

3 More group theory Permutation Group Algorithms / 32 Normal subgroups, quotient groups; Composition factors Normal subgroup: N G, if N G and g G : Ng = gn, g 1 Ng := {g 1 ng n N} = N N G, g, h G Ng Nh = N(gh) (as product of complexes) Quotient group: G/N := {Ng g G} with multiplication given by Ng Nh = Ngh. (Unit element: N = N 1, Inverse (Ng) 1 = Ng 1.) G is simple if N G N = 1 or N = G Composition series: 1 = G k G k 1... G 1 G 0 = G, with G i 1 /G i simple for every 1 i k. The name of the G i 1 /G i s: composition factors Theorem (Jordan-Hölder): The composition factors are uniquely determined for a group up to ordering and isomorphism.

4 More group theory Permutation Group Algorithms / 32 The finite simple groups Every finite group is built up from finite simple groups Classification of Finite Simple Groups (CFSG, 1980) Every finite simple group is isomorphic to one of the following: Abelian: Z p for p prime; Alternating: Alt n for n 5; Groups of Lie type: Related to simple Lie algebras Chevalley groups: A n (q), B n (q), C n (q), D n (q) E 6 (q), E 7 (q), E 8 (q), F 4 (q), G 2 (q) Steinberg groups: 2 A n (q 2 ), 2 D n (q 2 ), 2 E 6 (q 2 ), 3 D 4 (q 3 ) Suzuki Ree group and Tits group: 2 B 2 (2 2n+1 ), 2 F 4 (2 2n+1 ), 2 G 2 (3 2n+1 ), 2 F 4 (2) One of the 26 sporadic gorups (Named after their discover): M 11, M 12, M 22, M 23, M 24, J 1, J 2, J 3, J 4, Co 1, Co 2, Co 3, Fi 22, Fi 23, Fi 24, HS, McL, He, Ru, Suz, O N, HN, Ly, Th, B, M

5 More group theory Permutation Group Algorithms / 32 The finite simple groups Every finite group is built up from finite simple groups Classification of Finite Simple Groups (CFSG, 1980) Every finite simple group is isomorphic to one of the following: Abelian: Z p for p prime; Alternating: Alt n for n 5; Groups of Lie type: Related to simple Lie algebras Chevalley groups: A n (q), B n (q), C n (q), D n (q) E 6 (q), E 7 (q), E 8 (q), F 4 (q), G 2 (q) Steinberg groups: 2 A n (q 2 ), 2 D n (q 2 ), 2 E 6 (q 2 ), 3 D 4 (q 3 ) Suzuki Ree group and Tits group: 2 B 2 (2 2n+1 ), 2 F 4 (2 2n+1 ), 2 G 2 (3 2n+1 ), 2 F 4 (2) One of the 26 sporadic gorups (Named after their discover): M 11, M 12, M 22, M 23, M 24, J 1, J 2, J 3, J 4, Co 1, Co 2, Co 3, Fi 22, Fi 23, Fi 24, HS, McL, He, Ru, Suz, O N, HN, Ly, Th, B, M

6 More group theory Permutation Group Algorithms / 32 Homomorphisms and quotient groups Homomorphism: ϕ : G H, product-preserving, i.e. ϕ(xy) = ϕ(x)ϕ(y) for x, y G. Image: Im(ϕ) := {h H g G : ϕ(g) = h} H; Kernel: ker(ϕ) := {n G ϕ(n) = 1 H } G. Isomorphism: Bijective homomorphism. ϕ : G H, Im ϕ = H, ker(ϕ) = 1 (Notation: G H); First Isomorphism theorem ϕ : G H is a homomorphism Im ϕ G ker ϕ Generators for G with help of homomorphism: Let ϕ : G H homomorphism, X ker(ϕ), X = ker(ϕ), and Y G be any set satisfying ϕ(y) y Y = Im(ϕ) Then X Y is a set of generators for G.

7 More group theory Permutation Group Algorithms / 32 Blocks and primitivity In the following if G acts on Ω, g G and X Ω, then let X g := {x g x X }. Definition Let G act on Ω in a transitive way A partition B = {B 1,..., B k } of Ω is a block system for G if for every B i B and g G we have B g i B The elements of B = {B 1,..., B k } are called blocks A block system is trivial, if either B = {Ω} or B = {{ω 1 },..., {ω n }} The action on G is primitive if no nontrivial block system for G exists; otherwise the action is called imprimitive An equivalence relation given on Ω is called a G-congruence if G preserves this relation, i.e. if α β then α g β g holds for every g G

8 More group theory Permutation Group Algorithms / 32 Blocks and primitivity Let G act on Ω in a trnsitive way A partition B = {B 1,..., B k } of Ω is a block system if and only if the relation defined by B (i.e. α β iff they are in the same B i ) is a G-congruence For each 1 i, j k there is a g G such that B g i = B j As a result, B 1 = B 2 =... = B k and k B 1 = Ω Let α Ω be fixed. Then { α Ω, is a block} {H G α H G}, G = {g G g = }, H α H Ω In particular, the action is primitive G α max G If G is a p-group (i.e. G = p k is a prime power), then M max G M G and G : M = p. A consequence is that if G is a p-group acting on Ω, then G is primitive Ω = p

9 More group theory Permutation Group Algorithms / 32 Induced actions for a block system Let G Sym(Ω) transitive and B = {B 1,..., B k } a block system. top action The elements of G permutes the elements of the set B = {B 1,..., B k }, which defines an action of G on B a homomorphism G Sym(B) with kernel {g G B g i = B i, i} bottom action The subgroup G Bi permutes the elements of B i between each other The restriction map defines a homomorphism G Bi Sym(B i ) The whole action of G is somehow built up from these two actions (a subgroup of the wreath product) The non-trivial block system B = {B 1,..., B k } is minimal if there is no block B 1 B 1 (i.e. part of block system) such that 1 < B 1 < B 1 ( the action of G B1 on B 1 is primitive) It is called maximal if there is no block B 1 B 1 with B 1 < B 1 < Ω ( the action of G on B is primitive)

10 More group theory Permutation Group Algorithms / 32 How to find block systems (Atkinson s algorithm) Let G Sym(Ω) given by a set of generators X and Γ Ω. The algorithm finds the finest block system B = {B 1,..., B k } such that Γ B 1. (Finest means: The B i -s are as small as possible.) Applying this for each subset Γ = {1, α} with α Ω \ {1} one can find all the minimal block systems; Continuing this with the top action of G in a recursive way one can find all the block systems for G; The algorithm has polynomial running time A maximal block system can be found for G in polynomial time.

11 More group theory Permutation Group Algorithms / 32 Atkinson s algorithm Main idea: We maintain an equivalence class on Ω. is stored by an array r indexed by the elements of Ω. At each step, r[α] α is a representative of the equivalence class of α such that r[α] = r[β] iff α β; As initialisation, let γ 1 Γ be fixed and define r(α) := γ 1 for α Γ and r(α) := α otherwise; During the algorithm, whenever we find α, β Ω such that α β we apply all generators x X and modify to let α x = β x ; This modification is done by a subroutine usually called Union-find, which we describe first.

12 More group theory Permutation Group Algorithms / 32 Psudocode: Union-find Union-find(r, α, β) Input: the array r representing on Ω, and α, β Ω representatives; Result: The equivalence classes of α and β are merged; 1 for ω Ω do 2 if r[ω] = β then 3 r[ω] := α;

13 More group theory Permutation Group Algorithms / 32 The implementation of Atkinson s algorithm As initialisation, we choose γ 1 := Γ[1] and define r[α] := γ 1 for α Γ, and r[α] := α otherwise; We also maintain an other array q (This helps us to decrease the number of steps the algorithm takes); We initialise q := Γ. During the algorithm we go through the elements of q; If α q is the next element, then let β := r[α], so α β. Now, we search for an element x X satisfying α x (β) x r[α x ] r[β x ]. If we find one, then we call Union-find(r, r[α x ], r[β x ]) to merge the classes of α x and β x, and we append r[β x ] to the list q (So, we always add an element to q if ends to being the representative of its class) When we run out of the elements of q, then r represents the finest block system containing Γ in a block.

14 More group theory Permutation Group Algorithms / 32 Pseudocode: Atkinson s algorithm Atkinson(X, Γ) Input: X with X = G, and Γ Ω; Output: Array r representing the finest block system containing Γ in a block. 1 r := [ ]; q := [ ]; 2 for α Ω do 3 if α Γ then r[α] := Γ[1]; Append α to q; 4 else r[α] := α; 5 for α q do 6 β := r[α]; 7 for x X do 8 if r[α x ] r[β x ] then 9 Union-find(r, r[α x ], r[β x ]); 10 Append r[β x ] to q; 11 return r;

15 More group theory Permutation Group Algorithms / 32 How to examine a general permutation group? A permutation group G Sym(Ω) is given with X s.t. X = G. We would like to understand the structure of G e.g. compute its composition factors Divide-and-conquer: We divide a problem into several subcases, which we solve independently For complexity: If we can handle each subcases in polynomial time, and the number of subcases is also polynomial (in input length), then the original problem can also be solved in polynomial time Divide-and-conquer for permutation groups: General Transitive Primitive Simple (CFSG)

16 More group theory Permutation Group Algorithms / 32 Reducing to transitive groups Let G Sym(Ω) given by X, X = G 1 We apply the orbit algorithm {Ω 1,..., Ω k } orbits of G; If G is not transitive, then Restriction maps: ϕ i : G Sym(Ω i ); G i := ϕ i (G) Sym(Ω i ) is generated by ϕ i (X ) G is a subdirect product of G 1... G k Sym(Ω 1 )... Sym(Ω k ); The composition factors of G can be calculated from the composition factors of the G i -s; We can reduce many problems for the case G Sym(Ω) transitive.

17 More group theory Permutation Group Algorithms / 32 Reducing to primitive groups 2 For G Sym(Ω) transitive, we use e.g. Atkinson s algorithm for every pair Γ := {1, α}, until we find a minimal block system B = {B 1,..., B k } for G; (or we get G is primitive) If we found a non-trivial B, then The top action: Φ : G Sym(B) can be handled, where Φ(G) Sym(B) is generated by Φ(X ); For each i, a set of generators for the setwise stabiliser H i = G Bi can be calculated by the orbit-stabiliser algorithm used for Φ(G) Sym(B); The action of H i can be restricted to B i. Thus, we get H i is a primitive permutation group acting on B i ; G can be viewed as a subgroup of the wreath product H 1 Φ(G); One can continue this process to Φ(G) Sym(B) in a recursive way to find primitive components for G; In that way, many questions can be reduced for primitive groups.

18 More group theory Permutation Group Algorithms / 32 The O Nan Scott theorem 3 The primitive permutation groups are classified. Theorem (O Nan Scott) Let G Sym(Ω) be a primitive permutation group The socle of G: The subgroup generated by all the minimal normal subgroups of G; If G Sym(Ω) is primitive, then soc(g) S k for some S simple group; If S C p is Abelian, then G is affine; i.e. Ω = soc(g) = F k p is a vector space, soc(g) acts on itself regularly (by translations); and the point stabiliser G 0 GL(k, q) is a matrix group other field of CGT; Otherwise, there are several possibilities for the action (diagonal, product action, twisted wreath product, almost simple) which are described; Then one can use CFSG to find the possible values of S.

19 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Isomorphism of Graphs of Bounded Valence

20 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 The graph isomorphism problem There was a major breakthrough in graph theory at the end of the last year: Theorem (Babai, Nov 2015) Let X 1, X 2 be two graphs on n vertices. Then there is an algorithm which decides whether the two graphs are isomorphic in quasipolynomial time, i.e. the algorithm has running time n logc n for some constant c > 0. In what follows, we present a result of Luks from 1982, which was also a starting point of Babai s work.

21 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Notation and the result of Luks Let X be a (finite, undirected, simple) graph. V (X ) = set of vertices of X ; E(X ) = set of edges of X ; If a, b V (X ) are adjacent, write (a, b) E(X ); The degree of a V (X ) is d(a) := {b V (X ) (a, b) E(X )} ; The valence of X is v(x ) := max{d(a) a V (X )}. For two graphs X 1, X 2 a graph isomorphism ϕ : X 1 X 2 is a bijective map ϕ : V (X 1 ) V (X 2 ) such that a, b V (X 1 ) : (a, b) E(X 1 ) (ϕ(a), ϕ(b)) E(X 2 ); For a graph X let Aut(X ) := {All ϕ : X X isomorphisms}. Theorem (Luks, (1982)) Let X 1, X 2 be graphs with X 1 = X 2 = n and v(x 1 ) = v(x 2 ) t be bounded. Then the isomorphism of X 1 and X 2 can be decided in polynomial-time, i.e. which has running time O(n c ) for some constant c = c(t).

22 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Reducibility to group-theoretic problems Let X 1, X 2 be graphs. Decide whether X 1 X 2, i.e. there exists a graph isomorphism ϕ : X 1 X 2? We can assume that X 1 and X 2 are connected. Possible ways to reduce the problem for connected graphs: Connect each vertices of X i with a newly added vertex a i ; (Problem: the valency increases) Check isomorphism for each pair (C 1, C 2 ) of connected components C 1 of X 1 and C 2 of X 2. Then search for a perfect matching in a bipartite graph. Let X 1, X 2 be connected graphs, and form X = X 1 X 2 (disjoint union). Equivalent: X 1 X 2 ; g Aut(X ) such that g(x 1 ) = X 2, g(x 2 ) = X 1 ; For any set of generators S Aut(X ), g S such that g(x 1 ) = X 2, g(x 2 ) = X 1. Graph isomorphism can be reduced in polynomial-time to the problem of finding a set of generators for Aut(X ) of a graph X.

23 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Reducibility to group-theoretic problems Graph automorphisms with fixed edge. Let X be a graph, e = (a, b) E(X ) and Aut e (X ) = {ϕ Aut(X ) ϕ(e) = e} ϕ({a, b}) = {a, b}}. Graph isomorphism is can be reduced in polynomial-time to the problem of finding generators for Aut e (X ). Let X 1, X 2 be (connected) graphs, fix an edge e 1 E(X 1 ). For any e 2 E(X 2 ) define a new graph X : Take the disjoint union X 1 X 2; Insert new vertices v 1 on e 1 and v 2 on e 2; Connect v 1 and v 2 with a new edge e. Find a set of generators S for Aut e (X ) in time O(n c ). ϕ : X 1 X 2 isomorphism s.t. ϕ(e 1 ) = e 2 g Aut e (X ), g(v 1 ) = v 2 s S, g(v 1 ) = v 2. Doing this for every edge e 2 E(X 2 ), X 1 X 2 can be decided in time E(X 2 ) O(n c ) ( n 2) O(n c ) = O(n c+2 ).

24 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Reducibility to the Color Automorphism Problem Definition (Color Automorphism Problem) Let A be a colored set (i.e. a set and a coloring χ : A {colors}) and a permutation group G Sym(A) given by a set of generators. Find a set of generators for the subgroup {g G χ(a g ) = χ(a), a A} of color preserving maps. If X is a graph with V (X ) = n, then finding generators for Aut(X ) is polynomially reducible to the Color Automorphism Problem for a pair (A, G) where A is a suitable colored set, G Sym(A) and G S n. Let A := {{a, b} a, b V (X )}. G = Sym(V (X )) S n acts on A by {a, b} g := {a g, b g }. Define coloring χ : A {0, 1} by χ({a, b}) = 0, if (a, b) / E(X ) and χ({a, b}) = 1, if (a, b) E(X ) g G preserves χ g Aut(X ).

25 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Reducibility to the Color Automorphism Problem Definition (The class of groups Γ k ) For a k > 0 integer, the group G Γ k if every composition factor of G is a subgroup of S k. If N G, then G Γ k N, G/N Γ k ; G Γ k and H G H Γ k. Lemma If X is a graph with valence t, then the problem of finding a set of generators for Aut e (X ) for an e E(X ) is polynomial-time reducible to the Color Automorphism Problem for groups in Γ t 1.

26 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Reducibility to the Color Automorphism Problem Define subgraphs X r X, r = 1,..., n by X r = {all pathes of length r through e}. X r is not an induced subgraph! If a, b V (X r ) \ V (X r 1 ) and (a, b) E(X ), then (a, b) E(X r+1 ) \ E(X r ). g Aut e (X r+1 ) X r is g-invariant Restriction map π r : Aut e (X r+1 ) Aut e (X r ) (group homomorphism) Homomorphism Theorem: Aut e (X r+1 )/ ker(π r ) Im(π r ) Generators for ker(π r )+ Extension of Generators for Im(π r ) to X r+1 Generators for Aut e (X r+1 )

27 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Reducibility to the Color Automorphism Problem Set of parents : F := {U V (X r ) 1 U t} parents function : f : V (X r+1 ) \ V (X r ) F, f (a) := {u V (X r ) (a, u) E(X r+1 )} Siblings: a, b V (X r+1 ) if f (a) = f (b). Equivalence relation on V (X r+1 ) V (X r+1 ) = 1... s (Equivalence classes of siblings) v(x ) t i t 1 for each i. ker(π r ) Sym( 1 ) Sym( 2 )... Sym( s ) ker(π r ) Γ t 1 and a generator set for ker(π r ) can be chosen. By induction, Aut e (X r ) Γ t 1 Aut e (X r+1 )/ker(π r ) Im(π r ) Γ t 1 Aut e (X r+1 ) Γ t 1 for every r.

28 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Reducibility to the Color Automorphism Problem Aut e (X r ) Γ t 1 acts on F Aut e (X r ) Sym(F) A coloring on F: F s = {U F f 1 (U) = s} for 0 s t 1; F = {{u, v} F u, v V (X r ), (u, v) E(X r+1 ) \ E(X r )}; F 0 F, F 0 \ F, F 1 F, F 1 \ F,..., F t 1 F, F t 1 \ F is a partition of F a coloring on F with 2t colors. g Aut e (X r ) is extendable to X r+1 coloring g preserves this A polynomial-time algorithm for the Color Automorphism Problem A set of generators for Im(π r ) in polynomial time. By induction, we can find a set of generators for Aut e (X r ) with r = 1, 2,..., n also for Aut e (X ) = Aut e (X n ).

29 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 A polynomial-time solution of the Color Automorphism Problem for 2-groups If X 1, X 2 have valence 3, then the above argument shows that? the question X 1 X2 is reducible in polynomial-time to the Color Automorphism Problem for G Γ 2 G is a 2-group; For a colored set A and a, b A let a b a has the same color as b ; For B A and K Sym(A) let C B (K) := {σ K b σ b, b B}. We will use the following properties C B (K K ) = C B (K) C B (K ) for every B A, and K, K Sym(A); C B B (K) = C B (C B (K)) for every B, B A, and K Sym(A).

30 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 A generalization of the Color Automorphism Problem We will use divide-and-conquer algorithm to the following generalization Problem Let A be a colored set, G Sym(A) be a 2-group given by a set of generators, B A a G-invariant subset and σ Sym(A). Find C B (Gσ) in polynomial time of B. This is a really generalization of the Color Automorphism Problem (take B = A, σ = 1) If C B (Gσ), then C B (Gσ) = C B (G)σ 0 for any σ 0 C B (Gσ); Input: (B, σ, X ), where X = G; Output: (σ 0, X 0 ), where σ 0 C B (Gσ); X 0 = C B (G).

31 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 By assumption, G acts on B. First we check, whether this action is transitive. If not, then we can find a proper disjoint union B = B 1 B 2 with B 1, B 2 are G-invariant; We have C B (Gσ) = C B2 (C B1 (Gσ)); Recursive call: First apply the algorithm to input (B 1, σ, X ) to get σ 1, X 1 such that G 1 := C B1 (G) = X 1 and C B1 (Gσ) = G 1 σ 1 ; Then apply the algorithm to input (B 2, σ 1, X 1 ) to get σ 2, X 2 such that C B (Gσ) = C B2 (G 1 σ 1 ) = X 2 σ 2 ; If the action of G is transitive on B, then we can find a system of maximal blocks for G. Since G is a 2-group, every such block system is of the form B = {B 1, B 2 } with B 1 = B 2 = B /2; Let H := G B1 = G B2 and τ G \ H; Then we can find such a τ and a set of generators for H (By using the orbit-stabilizer algorithm);

32 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Then G = H Hτ. Furthermore, C B (Gσ) = C B (Hσ Hτσ) = C B (Hσ) C B (H(τσ)) = C B2 (C B1 (Hσ)) C B2 (C B1 (H(τσ)). This means that the Problem for input (B, σ, X ) can be reduced in polynomial time to four similar problems on sets B 1 and on B 2 with B 1 = B 2 = B /2. Finally, if B = {b}, then C B (Gσ) is either Gσ or (it can be decided in constant time) One can prove that by induction that the total time this recursive algorithm needs is still polynomial in B.

33 Isomorphism of Graphs of Bounded Valence Permutation Group Algorithms / 32 Thank you for your attention!

Permutation Groups. John Bamberg, Michael Giudici and Cheryl Praeger. Centre for the Mathematics of Symmetry and Computation

Permutation Groups. John Bamberg, Michael Giudici and Cheryl Praeger. Centre for the Mathematics of Symmetry and Computation Notation Basics of permutation group theory Arc-transitive graphs Primitivity Normal subgroups of primitive groups Permutation Groups John Bamberg, Michael Giudici and Cheryl Praeger Centre for the Mathematics

More information

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.

More information

Coset Intersection in Moderately Exponential Time

Coset Intersection in Moderately Exponential Time Coset Intersection in Moderately Exponential Time László Babai DRAFT: April 21, 2008 Slightly updated May 8, 2013 Abstract We give an algorithm to find the intersection of two subcosets in the symmetric

More information

Homework 2 /Solutions

Homework 2 /Solutions MTH 912 Group Theory 1 F18 Homework 2 /Solutions #1. Let G be a Frobenius group with complement H and kernel K. Then K is a subgroup of G if and only if each coset of H in G contains at most one element

More information

Permutation groups and the graph isomorphism problem

Permutation groups and the graph isomorphism problem Permutation groups and the graph isomorphism problem Sumanta Ghosh and Piyush P Kurur Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Kanpur, Uttar Pradesh, India

More information

Quotients of vertex-transitive graphs

Quotients of vertex-transitive graphs Chapter 5 Quotients of vertex-transitive graphs This chapter will study some operations on vertex-transitive graphs. 5.1 Quotient graphs Let Γ = (V,E) be a digraph. For a partition B of V,thequotient Γ

More information

Permutation groups and transformation semigroups

Permutation groups and transformation semigroups Permutation groups and transformation semigroups Peter J. Cameron Novi Sad Algebraic Conference, June 2013 Groups and semigroups How can group theory help the study of semigroups? If a semigroup has a

More information

arxiv: v2 [math.gr] 20 Apr 2017

arxiv: v2 [math.gr] 20 Apr 2017 PERMUTATION GROUPS AND DERANGEMENTS OF ODD PRIME ORDER TIMOTHY C. BURNESS AND MICHAEL GIUDICI arxiv:1602.07617v2 [math.gr] 20 Apr 2017 Abstract. Let G be a transitive permutation group of degree n. We

More information

Overgroups of Intersections of Maximal Subgroups of the. Symmetric Group. Jeffrey Kuan

Overgroups of Intersections of Maximal Subgroups of the. Symmetric Group. Jeffrey Kuan Overgroups of Intersections of Maximal Subgroups of the Symmetric Group Jeffrey Kuan Abstract The O Nan-Scott theorem weakly classifies the maximal subgroups of the symmetric group S, providing some information

More information

REU 2007 Discrete Math Lecture 2

REU 2007 Discrete Math Lecture 2 REU 2007 Discrete Math Lecture 2 Instructor: László Babai Scribe: Shawn Drenning June 19, 2007. Proofread by instructor. Last updated June 20, 1 a.m. Exercise 2.0.1. Let G be an abelian group and A G be

More information

Permutation Groups and Transformation Semigroups Lecture 4: Idempotent generation

Permutation Groups and Transformation Semigroups Lecture 4: Idempotent generation Permutation Groups and Transformation Semigroups Lecture 4: Idempotent generation Peter J. Cameron University of St Andrews Shanghai Jiao Tong University November 2017 Idempotent generation We are interested

More information

Chapter 25 Finite Simple Groups. Chapter 25 Finite Simple Groups

Chapter 25 Finite Simple Groups. Chapter 25 Finite Simple Groups Historical Background Definition A group is simple if it has no nontrivial proper normal subgroup. The definition was proposed by Galois; he showed that A n is simple for n 5 in 1831. It is an important

More information

Rank 3 Latin square designs

Rank 3 Latin square designs Rank 3 Latin square designs Alice Devillers Université Libre de Bruxelles Département de Mathématiques - C.P.216 Boulevard du Triomphe B-1050 Brussels, Belgium adevil@ulb.ac.be and J.I. Hall Department

More information

The primitive permutation groups of degree less than 2500

The primitive permutation groups of degree less than 2500 The primitive permutation groups of degree less than 2500 Colva M. Roney-Dougal 8th November, 2004 School of Computer Science, University of St Andrews, North Haugh, St Andrews, Fife, KY16 9SS. Abstract

More information

Irredundant generating sets and dimension-like invariants of the finite group arxiv: v2 [math.gr] 13 Dec 2017

Irredundant generating sets and dimension-like invariants of the finite group arxiv: v2 [math.gr] 13 Dec 2017 Irredundant generating sets and dimension-like invariants of the finite group arxiv:1712.03923v2 [math.gr] 13 Dec 2017 Minh Nguyen April 9, 2018 Abstract Whiston proved that the maximum size of an irredundant

More information

ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS

ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS SIMON M. SMITH Abstract. If G is a group acting on a set Ω and α, β Ω, the digraph whose vertex set is Ω and whose arc set is the orbit (α, β)

More information

A Little Beyond: Linear Algebra

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

More information

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV. Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is

More information

Generalised quadrangles with a group of automorphisms acting primitively on points and lines

Generalised quadrangles with a group of automorphisms acting primitively on points and lines Generalised quadrangles with a group of automorphisms acting primitively on points and lines John Bamberg a, Michael Giudici a, Joy Morris b, Gordon F. Royle a, Pablo Spiga a a The Centre for the Mathematics

More information

Michael Giudici. on joint work with variously John Bamberg, Martin Liebeck, Cheryl Praeger, Jan Saxl and Pham Huu Tiep

Michael Giudici. on joint work with variously John Bamberg, Martin Liebeck, Cheryl Praeger, Jan Saxl and Pham Huu Tiep 3 2 -transitive permutation groups Michael Giudici Centre for the Mathematics of Symmetry and Computation on joint work with variously John Bamberg, Martin Liebeck, Cheryl Praeger, Jan Saxl and Pham Huu

More information

Topics in Discrete Mathematics MA30002 Permutation Groups

Topics in Discrete Mathematics MA30002 Permutation Groups Topics in Discrete Mathematics MA30002 Permutation Groups Dr. Justin M c Inroy February 20, 2015 In the part of the course, we will be looking at actions of groups on various combinatorial objects. We

More information

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld. ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.

More information

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

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

More information

Section 15 Factor-group computation and simple groups

Section 15 Factor-group computation and simple groups Section 15 Factor-group computation and simple groups Instructor: Yifan Yang Fall 2006 Outline Factor-group computation Simple groups The problem Problem Given a factor group G/H, find an isomorphic group

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

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

More information

MA441: Algebraic Structures I. Lecture 26

MA441: Algebraic Structures I. Lecture 26 MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order

More information

INTRODUCTION MATHIEU GROUPS. Lecture 5: Sporadic simple groups. Sporadic simple groups. Robert A. Wilson. LTCC, 10th November 2008

INTRODUCTION MATHIEU GROUPS. Lecture 5: Sporadic simple groups. Sporadic simple groups. Robert A. Wilson. LTCC, 10th November 2008 Lecture 5: Sporadic simple groups Robert A. Wilson INTRODUCTION Queen Mary, University of London LTCC, 0th November 2008 Sporadic simple groups The 26 sporadic simple groups may be roughly divided into

More information

Primitivity. Peter J. Cameron. Combinatorics, Algebra and More 8 July 2013

Primitivity. Peter J. Cameron. Combinatorics, Algebra and More 8 July 2013 Primitivity Peter J. Cameron Combinatorics, Algebra and More 8 July 2013 Before I begin, I d like to say sincere thanks to I my colleagues and students at Queen Mary, past and present, who have made this

More information

arxiv:math/ v1 [math.gr] 15 Apr 2003

arxiv:math/ v1 [math.gr] 15 Apr 2003 ICM 2002 Vol. III 1 3 arxiv:math/0304207v1 [math.gr] 15 Apr 2003 Permutation Groups and Normal Subgroups Cheryl E. Praeger Abstract Various descending chains of subgroups of a finite permutation group

More information

Finite s-geodesic Transitive Graphs. Wei Jin

Finite s-geodesic Transitive Graphs. Wei Jin Finite s-geodesic Transitive Graphs Wei Jin This thesis is presented for the degree of Doctor of Philosophy of The University of Western Australia School of Mathematics and Statistics May 8, 2013 2 Abstract

More information

Lecture Note of Week 2

Lecture Note of Week 2 Lecture Note of Week 2 2. Homomorphisms and Subgroups (2.1) Let G and H be groups. A map f : G H is a homomorphism if for all x, y G, f(xy) = f(x)f(y). f is an isomorphism if it is bijective. If f : G

More information

Rank 3 permutation groups

Rank 3 permutation groups Rank 3 permutation groups Michael Giudici joint work with Alice Devillers, Cai Heng Li, Geoffrey Pearce and Cheryl Praeger Centre for the Mathematics of Symmetry and Computation Twenty-Ninth Annual Victorian

More information

Symmetric graphs of diameter two

Symmetric graphs of diameter two Symmetric graphs of diameter two Maria Carmen Amarra B.S., M.S. University of the Philippines Diliman This thesis is presented for the degree of Doctor of Philosophy of The University of Western Australia

More information

MATH RING ISOMORPHISM THEOREMS

MATH RING ISOMORPHISM THEOREMS MATH 371 - RING ISOMORPHISM THEOREMS DR. ZACHARY SCHERR 1. Theory In this note we prove all four isomorphism theorems for rings, and provide several examples on how they get used to describe quotient rings.

More information

for all i = 1,..., k and we are done.

for all i = 1,..., k and we are done. FINITE PERMUTATION GROUPS AND FINITE CLASSICAL GROUPS 23 5. Primitivity and related notions In this section we study some key properties of group actions. We will use this material in the next chapter

More information

Finitary Permutation Groups

Finitary Permutation Groups Finitary Permutation Groups Combinatorics Study Group Notes by Chris Pinnock You wonder and you wonder until you wander out into Infinity, where - if it is to be found anywhere - Truth really exists. Marita

More information

The alternating groups

The alternating groups Chapter 1 The alternating groups 1.1 Introduction The most familiar of the finite (non-abelian) simple groups are the alternating groups A n, which are subgroups of index 2 in the symmetric groups S n.

More information

Algebra homework 6 Homomorphisms, isomorphisms

Algebra homework 6 Homomorphisms, isomorphisms MATH-UA.343.005 T.A. Louis Guigo Algebra homework 6 Homomorphisms, isomorphisms Exercise 1. Show that the following maps are group homomorphisms and compute their kernels. (a f : (R, (GL 2 (R, given by

More information

Groups and Symmetries

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

More information

School of Mathematics and Statistics. MT5824 Topics in Groups. Handout 0: Course Information

School of Mathematics and Statistics. MT5824 Topics in Groups. Handout 0: Course Information MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT4003 Groups. Lectures: Mon (odd), Wed & Fri 10am, Lecture

More information

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

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

More information

Name: Solutions - AI FINAL EXAM

Name: Solutions - AI FINAL EXAM 1 2 3 4 5 6 7 8 9 10 11 12 13 total Name: Solutions - AI FINAL EXAM The first 7 problems will each count 10 points. The best 3 of # 8-13 will count 10 points each. Total is 100 points. A 4th problem from

More information

Lecture 7.3: Ring homomorphisms

Lecture 7.3: Ring homomorphisms Lecture 7.3: Ring homomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 7.3:

More information

Locally primitive normal Cayley graphs of metacyclic groups

Locally primitive normal Cayley graphs of metacyclic groups Locally primitive normal Cayley graphs of metacyclic groups Jiangmin Pan Department of Mathematics, School of Mathematics and Statistics, Yunnan University, Kunming 650031, P. R. China jmpan@ynu.edu.cn

More information

Introduction to Groups

Introduction to Groups Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)

More information

Semiregular automorphisms of vertex-transitive graphs

Semiregular automorphisms of vertex-transitive graphs Semiregular automorphisms of vertex-transitive graphs Michael Giudici http://www.maths.uwa.edu.au/ giudici/research.html Semiregular automorphisms A semiregular automorphism of a graph is a nontrivial

More information

A PRODUCT FOR PERMUTATION GROUPS AND TOPOLOGICAL GROUPS

A PRODUCT FOR PERMUTATION GROUPS AND TOPOLOGICAL GROUPS A PRODUCT FOR PERMUTATION GROUPS AND TOPOLOGICAL GROUPS SIMON M. SMITH Abstract. We introduce a new product for permutation groups. It takes as input two permutation groups, M and N, and produces an infinite

More information

Teddy Einstein Math 4320

Teddy Einstein Math 4320 Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective

More information

On pronormal subgroups in finite groups

On pronormal subgroups in finite groups in finite groups IMM UB RAS and Ural Federal University This is a joint project with W. Guo, A. Kondrat ev, D. Revin, and Ch. Praeger WL2018, Pilsen, July 07, 2018 Definitions Agreement. We consider finite

More information

THE UNIVERSITY OF CHICAGO TESTING ISOMORPHISM OF COMBINATORIAL AND ALGEBRAIC STRUCTURES A DISSERTATION SUBMITTED TO

THE UNIVERSITY OF CHICAGO TESTING ISOMORPHISM OF COMBINATORIAL AND ALGEBRAIC STRUCTURES A DISSERTATION SUBMITTED TO THE UNIVERSITY OF CHICAGO TESTING ISOMORPHISM OF COMBINATORIAL AND ALGEBRAIC STRUCTURES A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES IN CANDIDACY FOR THE DEGREE OF DOCTOR

More information

An automated proof theory approach to computation with permutation groups

An automated proof theory approach to computation with permutation groups An automated proof theory approach to computation with permutation groups Arjeh M. Cohen Department of Mathematics Eindhoven University of Technology Netherlands Scott H. Murray School of Mathematics and

More information

Maximal Subgroups of Finite Groups

Maximal Subgroups of Finite Groups Groups St Andrews 2009 in Bath Colva M. Roney-Dougal University of St Andrews In honour of John Cannon and Derek Holt 11 August 2009 Primitive permutation groups Mostly definitions Old stuff Newer stuff

More information

Algebraic aspects of Hadamard matrices

Algebraic aspects of Hadamard matrices Algebraic aspects of Hadamard matrices Padraig Ó Catháin University of Queensland 22 February 2013 Overview Difference set Relative difference set Symmetric Design Hadamard matrix Overview 1 Hadamard matrices

More information

arxiv: v1 [math.co] 19 Nov 2016

arxiv: v1 [math.co] 19 Nov 2016 Tetravalent 2-transitive Cayley graphs of finite simple groups and their automorphism groups Xin Gui Fang a, Jie Wang a and Sanming Zhou b arxiv:1611.06308v1 [math.co] 19 Nov 2016 a LAMA and School of

More information

Group Theory

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

More information

5 Structure of 2-transitive groups

5 Structure of 2-transitive groups Structure of 2-transitive groups 25 5 Structure of 2-transitive groups Theorem 5.1 (Burnside) Let G be a 2-transitive permutation group on a set Ω. Then G possesses a unique minimal normal subgroup N and

More information

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Cosets, factor groups, direct products, homomorphisms, isomorphisms Cosets, factor groups, direct products, homomorphisms, isomorphisms Sergei Silvestrov Spring term 2011, Lecture 11 Contents of the lecture Cosets and the theorem of Lagrange. Direct products and finitely

More information

Lecture 5.7: Finite simple groups

Lecture 5.7: Finite simple groups Lecture 5.7: Finite simple groups Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 410, Modern Algebra M. Macauley (Clemson) Lecture 5.7:

More information

A NOTE ON POINT STABILIZERS IN SHARP PERMUTATION GROUPS OF TYPE {0, k}

A NOTE ON POINT STABILIZERS IN SHARP PERMUTATION GROUPS OF TYPE {0, k} A NOTE ON POINT STABILIZERS IN SHARP PERMUTATION GROUPS OF TYPE {0, k} DOUGLAS P. BROZOVIC AND PETER K. SIN Abstract. We study sharp permutation groups of type {0, k} and observe that, once the isomorphism

More information

Regular and synchronizing transformation monoids

Regular and synchronizing transformation monoids Regular and synchronizing transformation monoids Peter J. Cameron NBSAN, York 23 November 2011 Mathematics may be defined as the subject in which we never know what we are talking about, nor whether what

More information

Section III.15. Factor-Group Computations and Simple Groups

Section III.15. Factor-Group Computations and Simple Groups III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor

More information

Supplementary Notes: Simple Groups and Composition Series

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

Primitive permutation groups of bounded orbital diameter

Primitive permutation groups of bounded orbital diameter Primitive permutation groups of bounded orbital diameter Martin W. Liebeck Dugald Macpherson Katrin Tent March 16, 2009 Abstract. We give a description of infinite families of finite primitive permutation

More information

FURTHER RESTRICTIONS ON THE STRUCTURE OF FINITE DCI-GROUPS: AN ADDENDUM

FURTHER RESTRICTIONS ON THE STRUCTURE OF FINITE DCI-GROUPS: AN ADDENDUM FURTHER RESTRICTIONS ON THE STRUCTURE OF FINITE DCI-GROUPS: AN ADDENDUM EDWARD DOBSON, JOY MORRIS, AND PABLO SPIGA Abstract. A finite group R is a DCI-group if, whenever S and T are subsets of R with the

More information

CLASSIFICATION OF CUBIC EDGE-TRANSITIVE GRAPHS OF ORDER 14p 2

CLASSIFICATION OF CUBIC EDGE-TRANSITIVE GRAPHS OF ORDER 14p 2 Hacettepe Journal of Mathematics and Statistics Volume 41(2) (2012), 277 282 CLASSIFICATION OF CUBIC EDGE-TRANSITIVE GRAPHS OF ORDER 14p 2 Mehdi Alaeiyan and Mohsen Lashani Received 11:12:2010 : Accepted

More information

HUPPERT S CONJECTURE FOR F i 23

HUPPERT S CONJECTURE FOR F i 23 HUPPERT S CONJECTURE FOR F i 23 S. H. ALAVI, A. DANESHKAH, H. P. TONG-VIET, AND T. P. WAKEFIELD Abstract. Let G denote a finite group and cd(g) the set of irreducible character degrees of G. Bertram Huppert

More information

Solutions for Assignment 4 Math 402

Solutions for Assignment 4 Math 402 Solutions for Assignment 4 Math 402 Page 74, problem 6. Assume that φ : G G is a group homomorphism. Let H = φ(g). We will prove that H is a subgroup of G. Let e and e denote the identity elements of G

More information

Abstract Algebra: Supplementary Lecture Notes

Abstract Algebra: Supplementary Lecture Notes Abstract Algebra: Supplementary Lecture Notes JOHN A. BEACHY Northern Illinois University 1995 Revised, 1999, 2006 ii To accompany Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

More information

Polynomial-Time Isomorphism Test for Groups with no Abelian Normal Subgroups (Extended Abstract )

Polynomial-Time Isomorphism Test for Groups with no Abelian Normal Subgroups (Extended Abstract ) Polynomial-Time Isomorphism Test for Groups with no Abelian Normal Subgroups (Extended Abstract ) László Babai 1, Paolo Codenotti 2, and Youming Qiao 3 1 University of Chicago, laci@cs.uchicago.edu 2 University

More information

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G.

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G. 10. Homomorphisms 1 Homomorphisms Isomorphisms are important in the study of groups because, being bijections, they ensure that the domain and codomain groups are of the same order, and being operation-preserving,

More information

EXERCISE SHEET 1 WITH SOLUTIONS

EXERCISE SHEET 1 WITH SOLUTIONS EXERCISE SHEET 1 WITH SOLUTIONS (E8) Prove that, given a transitive action of G on Ω, there exists a subgroup H G such that the action of G on Ω is isomorphic to the action of G on H\G. You may need to

More information

Imprimitive Symmetric Graphs

Imprimitive Symmetric Graphs Imprimitive Symmetric Graphs Sanming Zhou This thesis is presented for the Degree of Doctor of Philosophy of The University of Western Australia Department of Mathematics and Statistics The University

More information

Self-complementary circulant graphs

Self-complementary circulant graphs Self-complementary circulant graphs Brian Alspach Joy Morris Department of Mathematics and Statistics Burnaby, British Columbia Canada V5A 1S6 V. Vilfred Department of Mathematics St. Jude s College Thoothoor

More information

Finding Small Weight Isomorphisms with Additional Constraints is Fixed-Parameter Tractable

Finding Small Weight Isomorphisms with Additional Constraints is Fixed-Parameter Tractable Finding Small Weight Isomorphisms with Additional Constraints is Fixed-Parameter Tractable V. Arvind 1, Johannes Köbler 2, Sebastian Kuhnert 2, and Jacobo Torán 3 arxiv:1709.10063v1 [cs.cc] 28 Sep 2017

More information

CONJUGATE FACTORIZATIONS OF FINITE GROUPS. Communicated by Patrizia Longobardi. 1. Introduction

CONJUGATE FACTORIZATIONS OF FINITE GROUPS. Communicated by Patrizia Longobardi. 1. Introduction International Journal of Group Theory ISSN (print): 2251-7650, ISSN (on-line): 2251-7669 Vol. 4 No. 2 (2015), pp. 69-78. c 2015 University of Isfahan www.theoryofgroups.ir www.ui.ac.ir CONJUGATE FACTORIZATIONS

More information

Locally 3-arc-transitive regular covers of complete bipartite graphs

Locally 3-arc-transitive regular covers of complete bipartite graphs Locally 3-arc-transitive regular covers of complete bipartite graphs Eric Swartz Abstract. In this paper, locally 3-arc-transitive regular covers of complete bipartite graphs are studied, and results are

More information

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

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

More information

7 Semidirect product. Notes 7 Autumn Definition and properties

7 Semidirect product. Notes 7 Autumn Definition and properties MTHM024/MTH74U Group Theory Notes 7 Autumn 20 7 Semidirect product 7. Definition and properties Let A be a normal subgroup of the group G. A complement for A in G is a subgroup H of G satisfying HA = G;

More information

Transitive groups, derangements and related problems

Transitive groups, derangements and related problems Transitive groups, derangements and related problems Tim Burness University of Bristol Algebraic Combinatorics and Group Actions Herstmonceux Castle July 11th 2016 Introduction Let G be a group acting

More information

A Faster Isomorphism Test for Graphs of Small Degree

A Faster Isomorphism Test for Graphs of Small Degree 2018 IEEE 59th Annual Symposium on Foundations of Computer Science A Faster Isomorphism Test for Graphs of Small Degree Martin Grohe, Daniel Neuen RWTH Aachen University Aachen, Germany Email: {grohe,neuen}@informatik.rwth-aachen.de

More information

On Pronormal Subgroups of Finite Groups

On Pronormal Subgroups of Finite Groups On Pronormal Subgroups of Finite Groups Natalia V. Maslova Krasovskii Institute of Mathematics and Mechanics UB RAS and Ural Federal University This talk is based on joint papers with Wenbin Guo, Anatoly

More information

arxiv: v1 [cs.dm] 5 Sep 2012

arxiv: v1 [cs.dm] 5 Sep 2012 TRIVALENT GRAPH ISOMORPHISM IN POLYNOMIAL TIME Facultad de Ciencias Universidad de Cantabria arxiv:1209.1040v1 [cs.dm] 5 Sep 2012 Programa Oficial de Postgrado de Ciencias, Tecnología y Computación Máster

More information

ON THE STRUCTURE OF PRIMITIVE n-sum GROUPS

ON THE STRUCTURE OF PRIMITIVE n-sum GROUPS ON THE STRUCTURE OF PRIMITIVE n-sum GROUPS ELOISA DETOMI AND ANDREA LUCCHINI Abstract. For a finite group G, let σ(g) be least cardinality of a collection of proper subgroups whose set-theoretical union

More information

Arc-transitive pentavalent graphs of order 4pq

Arc-transitive pentavalent graphs of order 4pq Arc-transitive pentavalent graphs of order 4pq Jiangmin Pan Bengong Lou Cuifeng Liu School of Mathematics and Statistics Yunnan University Kunming, Yunnan, 650031, P.R. China Submitted: May 22, 2012; Accepted:

More information

Independent generating sets and geometries for symmetric groups

Independent generating sets and geometries for symmetric groups Independent generating sets and geometries for symmetric groups Peter J. Cameron School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS UK Philippe Cara Department

More information

INTRODUCTION TO THE GROUP THEORY

INTRODUCTION TO THE GROUP THEORY Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher

More information

AM 106/206: Applied Algebra Madhu Sudan 1. Lecture Notes 11

AM 106/206: Applied Algebra Madhu Sudan 1. Lecture Notes 11 AM 106/206: Applied Algebra Madhu Sudan 1 Lecture Notes 11 October 17, 2016 Reading: Gallian Chapters 9 & 10 1 Normal Subgroups Motivation: Recall that the cosets of nz in Z (a+nz) are the same as the

More information

Math 210A: Algebra, Homework 5

Math 210A: Algebra, Homework 5 Math 210A: Algebra, Homework 5 Ian Coley November 5, 2013 Problem 1. Prove that two elements σ and τ in S n are conjugate if and only if type σ = type τ. Suppose first that σ and τ are cycles. Suppose

More information

Group Theory. Hwan Yup Jung. Department of Mathematics Education, Chungbuk National University

Group Theory. Hwan Yup Jung. Department of Mathematics Education, Chungbuk National University Group Theory Hwan Yup Jung Department of Mathematics Education, Chungbuk National University Hwan Yup Jung (CBNU) Group Theory March 1, 2013 1 / 111 Groups Definition A group is a set G with a binary operation

More information

The Jordan Hölder Theorem

The Jordan Hölder Theorem Chapter 4 The Jordan Hölder Theorem Definition 4.1 Let G be a group. A subnormal series of G is a finite chain of subgroups G = G 0 >G 1 >G 2 > >G n = 1 such that G i+1 is a normal subgroup of G i for

More information

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

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

More information

Visual Abstract Algebra. Marcus Pivato

Visual Abstract Algebra. Marcus Pivato Visual Abstract Algebra Marcus Pivato March 25, 2003 2 Contents I Groups 1 1 Homomorphisms 3 1.1 Cosets and Coset Spaces............................... 3 1.2 Lagrange s Theorem.................................

More information

Abstract Algebra II Groups ( )

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

More information

Joseph Muscat Universal Algebras. 1 March 2013

Joseph Muscat Universal Algebras. 1 March 2013 Joseph Muscat 2015 1 Universal Algebras 1 Operations joseph.muscat@um.edu.mt 1 March 2013 A universal algebra is a set X with some operations : X n X and relations 1 X m. For example, there may be specific

More information

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

Section 13 Homomorphisms

Section 13 Homomorphisms Section 13 Homomorphisms Instructor: Yifan Yang Fall 2006 Homomorphisms Definition A map φ of a group G into a group G is a homomorphism if for all a, b G. φ(ab) = φ(a)φ(b) Examples 1. Let φ : G G be defined

More information

A. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that

A. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that MATH 402A - Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =

More information

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

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

More information

BASIC GROUP THEORY : G G G,

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

More information

MA441: Algebraic Structures I. Lecture 14

MA441: Algebraic Structures I. Lecture 14 MA441: Algebraic Structures I Lecture 14 22 October 2003 1 Review from Lecture 13: We looked at how the dihedral group D 4 can be viewed as 1. the symmetries of a square, 2. a permutation group, and 3.

More information