New Constructions of Difference Matrices
|
|
- Gregory Blake
- 5 years ago
- Views:
Transcription
1 New Constructions of Difference Matrices Department of Mathematics, Simon Fraser University Joint work with Koen van Greevenbroek
2 Outline Difference matrices Basic results, motivation, history Construction 1: finite field Construction 2: composition Construction 3: abelian noncyclic 2-groups Contracted difference matrices Constructions 1, 2, 3 revisited Computer search results Open questions
3
4
5 Difference Matrices matrix over! (! 3 2, 5, 1) difference matrix (in a nonabelian group, calculate quotients not differences)
6 Difference Matrices (! 3, 9, 3) difference matrix
7 Difference Matrices Given a group G and parameter λ, what is the largest number of rows m for which a (G, m, λ) difference matrix exists? largest m 2 0 G 0 G 0 G 0 G λ copies of each element of G m λ G (Jungnickel 1979) If m 3 and G contains a nontrivial cyclic Sylow 2-subgroup, then λ is even (Hall & Paige 1955)
8 Difference Matrices Connections to orthogonal arrays, transversal designs, whist tournaments, generalised Steiner triple systems, Extremal case m = λ G generalised Hadamard matrix Focus mostly on case λ =1: closely related to mutually orthogonal Latin squares pairwise orthogonal orthomorphisms linking systems of difference sets when G is a 2-group, giving systems of linked symmetric designs and cometric association schemes
9 (1) Finite Field Construction Theorem (Drake 1979). For prime p, the additive form of a multiplication table for GF(p n ) is a (! n p, p n, 1) difference matrix i 0 1 α α 2 α 3 α 4 α 5 α α α α α α α
10 (2) Composition Construction Theorem (Buratti 1998). Let G be a group and H G. If there exist (H, m, λ) and (G / H, m, µ) difference matrices, then their Kronecker product is a (G, m, λµ) difference matrix
11 (2) Composition Construction G =! 4 H = 010,200! 2 (H, 4, 1) difference matrix (G / H, 4, 1) difference matrix H H H H H 001+ H H 101+ H H H 101+ H 001+ H H 101+ H 001+ H H (G, 4, 1) difference matrix
12 (2) Composition Construction Apply composition construction repeatedly 4 (! 2, 4, 1) (! 2, 8, 1) H (! 4! 4, 4, 1) H G / H 4 (! 2, 16, 1) G / H (! 8! 8! 4, 4, 1) G
13 (2) Composition Construction Apply composition construction repeatedly (! 2, 8, 1) H (! 2, 8, 1) G / H (! 4! 4, 8, 1) H (! 2, 8, 1) G / H 8 (! 8! 8! 4, 4, 1) G
14 (2) Composition Construction Apply composition construction repeatedly choose chain of subgroups that maximises number of rows of final difference matrix Theorem (Buratti 1998). Let p be prime and G an abelian group of order and exponent. Then optimal choice of p n subgroup chain gives a (G, p n/e, 1) difference matrix sole ingredient is (! n p, p n, 1) difference matrix could another ingredient give stronger result? p e
15 (3) Abelian Noncyclic 2-Groups Theorem (Pan & Chang 2016). There exists a difference matrix for each integer e 1 (! 2 e, 4,1) apply composition construction repeatedly and Hall-Paige result: for an abelian 2-group G, there exists a (G, 4, 1) difference matrix if and only if G is noncyclic
16 Contracted Difference Matrices (! 4, 4, 1) difference matrix (! 4, 2, 0) contracted difference matrix
17 Contracted Difference Matrices For p prime and G an abelian group of order, a (G, k, s) contracted difference matrix of size k (n + s) expands to a (G, p k, p s ) difference matrix of size p k p n+s p n 1 k n + s case s = 0: a (G, k, 0) contracted difference matrix expands to a (G, p k,1) difference matrix Given a group G and parameter s, what is the largest number of rows k for which a (G, k, s) contracted difference matrix exists?
18 (1) Finite Field Construction i 0 1 α α 2 α 3 α 4 α 5 α α α α α α α Theorem. For prime p and α primitive in GF(p n ), the additive form of the multiplication table for 1, α, α 2,,α n 1 a (! n p, n, 0) contracted difference matrix is a
19 (2) Composition Construction Theorem (Buratti 1998). Let G be a group and H G. If there exist (H, m, λ) and (G / H, m, µ) difference matrices, then their Kronecker product is a (G, m, λµ) difference matrix Theorem. Let G be an abelian p-group and let H < G. If there exist (H, k, s) and (G / H, k, t) contracted difference matrices, then their concatenation is a (G, k, s + t) contracted difference matrix
20 (2) Composition Construction G =! 4 H = 010,200! 2 (H, 2, 0) contracted difference matrix (G / H, 2, 0) contracted difference matrix 101+ H H H 001+ H (G, 2, 0) contracted difference matrix
21 (2) Composition Construction Theorem (Buratti 1998). Let p be prime and G an abelian p n group of order and exponent. Then optimal choice of subgroup chain gives a (G, p n/e, 1) p e difference matrix Theorem. Let p be prime and G an abelian group of order and exponent p e. Then optimal choice of subgroup chain gives a (G, n / e contracted difference matrix, 0) p n
22 (3) Abelian Noncyclic 2-Groups Theorem (Pan & Chang 2016). There exists a difference matrix for each integer e 1 (! 2 e, 4,1) apply composition construction repeatedly and Hall-Paige result: for an abelian 2-group G, there exists a (G, 4, 1) difference matrix if and only if G is noncyclic Theorem. There exists a (! 2 e, 2, 0) contracted difference matrix for each integer e
23 (3) Abelian Noncyclic 2-Groups Theorem (Pan & Chang 2016). There exists a difference matrix for each integer e 1 (! 2 e, 4,1) apply composition construction repeatedly and Hall-Paige result: for an abelian 2-group G, there exists a (G, 4, 1) difference matrix if and only if G is noncyclic Theorem. There exists a (! 2 e, 2, 0) contracted difference matrix for each integer e 1 apply composition construction: for an abelian 2-group G, there exists a (G, 2, 0) contracted difference matrix if and only if G is noncyclic
24 Computer Search Results Easier to search for a contracted difference matrix than for corresponding size of difference matrix search space is exponentially smaller no need to expand potential contracted difference matrix random search as well as exhaustive search is easier Each example of contracted difference matrix with new parameters gives new infinite family, by applying composition construction repeatedly
25 Computer Search Results Examples of (G, 3, 0) contracted difference matrices, and therefore (G, 8, 1) difference matrices, for four new groups G:! 4! 4! 4! 4! 8 each G gives new infinite family; also gives linking systems of difference sets of size 7 in infinitely many 2-groups for which largest previously known size was 3 Existence pattern for (contracted) difference matrices seems to favour groups of smaller exponent and higher rank
26 Open Questions Let p be prime and G an abelian p-group. (G, k, 0) contracted difference matrix? (G, p k,1) difference matrix is the largest number of rows m for which a (G, m, 1) difference matrix exists always a power of p? these questions cannot both have a positive answer when p = 3
PROBLEMS FROM GROUP THEORY
PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.
More informationTransversals in Latin Squares
Transversals in Latin Squares Ian Wanless Monash University Australia Loops 07 workshop, Prague, Aug 2007 A latin square of order n is an n n matrix in which each of n symbols occurs exactly once in each
More informationLecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG)
Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG) Warm up: 1. Let n 1500. Find all sequences n 1 n 2... n s 2 satisfying n i 1 and n 1 n s n (where s can vary from sequence to
More informationMutually Pseudo-orthogonal Latin squares, difference matrices and LDPC codes
Mutually Pseudo-orthogonal Latin squares, difference matrices and LDPC codes Asha Rao (Joint Work with Diane Donovan, Joanne Hall and Fatih Demirkale) 8th Australia New Zealand Mathematics Convention Melbourne
More informationGROUPS OF ORDER p 3 KEITH CONRAD
GROUPS OF ORDER p 3 KEITH CONRAD For any prime p, we want to describe the groups of order p 3 up to isomorphism. From the cyclic decomposition of finite abelian groups, there are three abelian groups of
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 informationKevin James. p-groups, Nilpotent groups and Solvable groups
p-groups, Nilpotent groups and Solvable groups Definition A maximal subgroup of a group G is a proper subgroup M G such that there are no subgroups H with M < H < G. Definition A maximal subgroup of a
More informationOrthogonal & Magic Cayley-Sudoku Tables
Orthogonal & Magic Cayley-Sudoku Tables Michael Ward & Rosanna Mersereau 13 Western Oregon University XXXII Ohio State-Denison Mathematics Conference May 2014 1 / 72 Speaker s Qualifications Cayley-Sudoku
More informationDifference sets and Hadamard matrices
Difference sets and Hadamard matrices Padraig Ó Catháin University of Queensland 5 November 2012 Outline 1 Hadamard matrices 2 Symmetric designs 3 Hadamard matrices and difference sets 4 Two-transitivity
More informationHadamard matrices, difference sets and doubly transitive permutation groups
Hadamard matrices, difference sets and doubly transitive permutation groups Padraig Ó Catháin University of Queensland 13 November 2012 Outline 1 Hadamard matrices 2 Symmetric designs 3 Hadamard matrices
More informationSection 11 Direct products and finitely generated abelian groups
Section 11 Direct products and finitely generated abelian groups Instructor: Yifan Yang Fall 2006 Outline Direct products Finitely generated abelian groups Cartesian product Definition The Cartesian product
More informationMay 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.
Math 236H May 6, 2008 Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work. 1. (15 points) Prove that the symmetric group S 4 is generated
More informationChapter 10 Combinatorial Designs
Chapter 10 Combinatorial Designs BIBD Example (a,b,c) (a,b,d) (a,c,e) (a,d,f) (a,e,f) (b,c,f) (b,d,e) (b,e,f) (c,d,e) (c,d,f) Here are 10 subsets of the 6 element set {a, b, c, d, e, f }. BIBD Definition
More informationNear supplements and complements in solvable groups of finite rank
Near supplements and complements in solvable groups of finite rank Karl Lorensen (speaker) Pennsylvania State University, Altoona College Peter Kropholler (coauthor) University of Southampton August 8,
More informationA three-factor product construction for mutually orthogonal latin squares
A three-factor product construction for mutually orthogonal latin squares Peter J. Dukes (joint work with Alan C.H. Ling, UVM) June 17, 2014 Introduction Latin squares and MOLS Product construction Main
More informationNONABELIAN GROUPS WITH PERFECT ORDER SUBSETS
NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in
More informationMutually orthogonal latin squares (MOLS) and Orthogonal arrays (OA)
and Orthogonal arrays (OA) Bimal Roy Indian Statistical Institute, Kolkata. Bimal Roy, Indian Statistical Institute, Kolkata. and Orthogonal arrays (O Outline of the talk 1 Latin squares 2 3 Bimal Roy,
More informationPARTITIONS OF GROUPS AND COMPLETE MAPPINGS
PACIFIC JOURNAL OF MATHEMATICS Vol. 92, No. 2, 1981 PARTITIONS OF GROUPS AND COMPLETE MAPPINGS RICHARD J. FRIEDLANDER, BASIL GORDON AND PETER TANNENBAUM Let G be an abelian group of order n and let k be
More informationMutually Orthogonal Latin Squares: Covering and Packing Analogues
Squares: Covering 1 1 School of Computing, Informatics, and Decision Systems Engineering Arizona State University Mile High Conference, 15 August 2013 Latin Squares Definition A latin square of side n
More informationAlgebra Exercises in group theory
Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.1-1.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a non-trivial
More informationSome Applications of pq-groups in Graph Theory
Some Applications of pq-groups in Graph Theory Geoffrey Exoo Department of Mathematics and Computer Science Indiana State University Terre Haute, IN 47809 g-exoo@indstate.edu January 25, 2002 Abstract
More informationFermat s Last Theorem for Regular Primes
Fermat s Last Theorem for Regular Primes S. M.-C. 22 September 2015 Abstract Fermat famously claimed in the margin of a book that a certain family of Diophantine equations have no solutions in integers.
More informationKevin James. MTHSC 412 Section 3.4 Cyclic Groups
MTHSC 412 Section 3.4 Cyclic Groups Definition If G is a cyclic group and G =< a > then a is a generator of G. Definition If G is a cyclic group and G =< a > then a is a generator of G. Example 1 Z is
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 informationA Construction of Difference Sets in High Exponent 2-Groups Using Representation Theory
Journal of Algebraic Combinatorics 3 (1994), 137-151 1994 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. A Construction of Difference Sets in High Exponent 2-Groups Using Representation
More informationOn q-ary optimal equitable symbol weight codes
On q-ary optimal equitable symbol weight codes 1/20 On q-ary optimal equitable symbol weight codes L. A. Bassalygo, V.A. Zinoviev A.A. Kharkevich Institute for Problems of Information Transmission, Moscow,
More informationA class of orthogonal latin square graphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 57 (2013), Pages 189 216 A class of orthogonal latin square graphs Anthony B. Evans Department of Mathematics and Statistics Wright State University Dayton,
More informationAlgebraic 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 informationSection II.2. Finitely Generated Abelian Groups
II.2. Finitely Generated Abelian Groups 1 Section II.2. Finitely Generated Abelian Groups Note. In this section we prove the Fundamental Theorem of Finitely Generated Abelian Groups. Recall that every
More informationGroups in Cryptography. Çetin Kaya Koç Winter / 13
http://koclab.org Çetin Kaya Koç Winter 2017 1 / 13 A set S and a binary operation A group G = (S, ) if S and satisfy: Closure: If a, b S then a b S Associativity: For a, b, c S, (a b) c = a (b c) A neutral
More informationOverview of some Combinatorial Designs
Bimal Roy Indian Statistical Institute, Kolkata. Outline of the talk 1 Introduction 2 3 4 5 6 7 Outline of the talk 1 Introduction 2 3 4 5 6 7 Introduction Design theory: Study of combinatorial objects
More informationSylow subgroups of GL(3,q)
Jack Schmidt We describe the Sylow p-subgroups of GL(n, q) for n 4. These were described in (Carter & Fong, 1964) and (Weir, 1955). 1 Overview The groups GL(n, q) have three types of Sylow p-subgroups:
More informationAutomorphism groups of Steiner triple systems
Automorphism groups of Steiner triple systems Alexander Rosa Department of Mathematics and Statistics, McMaster University Rosa (McMaster) Automorphism groups of Steiner triple systems 1 / 20 Steiner triple
More informationSection II.1. Free Abelian Groups
II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof
More informationFRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES
FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES ANDRIES E. BROUWER, ARJEH M. COHEN, MAN V.M. NGUYEN Abstract. All mixed (or asymmetric) orthogonal arrays of strength 3 with run size at most
More informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationOrbit coherence in permutation groups
Orbit coherence in permutation groups John R. Britnell Department of Mathematics Imperial College London j.britnell@imperial.ac.uk Groups St Andrews 2013 Joint work with Mark Wildon (RHUL) Orbit partitions
More informationAN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS
AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS The integers are the set 1. Groups, Rings, and Fields: Basic Examples Z := {..., 3, 2, 1, 0, 1, 2, 3,...}, and we can add, subtract, and multiply
More informationORTHOGONAL ARRAYS OF STRENGTH 3 AND SMALL RUN SIZES
ORTHOGONAL ARRAYS OF STRENGTH 3 AND SMALL RUN SIZES ANDRIES E. BROUWER, ARJEH M. COHEN, MAN V.M. NGUYEN Abstract. All mixed (or asymmetric) orthogonal arrays of strength 3 with run size at most 64 are
More informationUnipotent automorphisms of solvable groups
Department of Mathematical Sciences University of Bath Groups St Andrews 2017 in Birmingham 1. Introduction. 2. Solvable groups acting n-unipotently on solvable groups. 3. Examples. 1. Introduction 1.
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationPart 23. Latin Squares. Contents. 1 Latin Squares. Printed version of the lecture Discrete Mathematics on 4. December 2012
Part 23 Latin Squares Printed version of the lecture Discrete Mathematics on 4. December 2012 Tommy R. Jensen, Department of Mathematics, KNU 23.1 Contents 1 Latin Squares 1 2 Orthogonal Latin Squares
More informationGroup rings of finite strongly monomial groups: central units and primitive idempotents
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
More informationA. (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 information1 Finite abelian groups
Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room
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 informationAlgebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9
Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation
More informationG-invariantly resolvable Steiner 2-designs which are 1-rotational over G
G-invariantly resolvable Steiner 2-designs which are 1-rotational over G Marco Buratti Fulvio Zuanni Abstract A 1-rotational (G, N, k, 1) difference family is a set of k-subsets (base blocks) of an additive
More informationCyclic groups Z Z Theorem Proof
Cyclic groups Examples: Z = 1 = 1 under +. Z n = 1 = 1 under + mod n; in fact, there may be other generators of Z n besides ±1. U(n) is sometimes cyclic, e.g., n = 2, 3, 4, 6, 7, 9,. Theorem If a G has
More informationA Markov chain for certain triple systems
A Markov chain for certain triple systems Peter J. Cameron Queen Mary, University of London and Gonville & Caius College, Cambridge INI Workshop on Markov Chain Monte Carlo methods March 2008 Latin squares
More informationMathematics for Cryptography
Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1
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 informationPoint regular groups of automorphisms of generalised quadrangles
Point regular groups of automorphisms of generalised quadrangles Michael Giudici joint work with John Bamberg Centre for the Mathematics of Symmetry and Computation Finite Geometries, Third Irsee Conference
More informationConverse to Lagrange s Theorem Groups
Converse to Lagrange s Theorem Groups Blain A Patterson Youngstown State University May 10, 2013 History In 1771 an Italian mathematician named Joseph Lagrange proved a theorem that put constraints on
More informationSystems of distinct representatives/1
Systems of distinct representatives 1 SDRs and Hall s Theorem Let (X 1,...,X n ) be a family of subsets of a set A, indexed by the first n natural numbers. (We allow some of the sets to be equal.) A system
More informationON A METHOD OF SUM COMPOSITION OF ORTHOGONAL LATIN SQUARES. * Michigan State University
RM-238 AH-2 ES-12 November 1969 ON A METHOD OF SUM COMPOSTON OF ORTHOGONAL LATN SQUARES. * By A. Hedayat1) and E. Seiden Michigan State University * This research was supported by NH GM-05900-11 grant
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 informationSequenceable Groups and Related Topics
Sequenceable Groups and Related Topics M. A. Ollis Marlboro College, P.O. Box A, Marlboro, VT 05344, USA. matt@marlboro.edu Submitted: Nov 15, 2001; Accepted: Aug 12, 2002; Version 1 published: Aug 12,
More informationCheck Character Systems Using Chevalley Groups
Designs, Codes and Cryptography, 10, 137 143 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Check Character Systems Using Chevalley Groups CLAUDIA BROECKER 2. Mathematisches
More informationNotation. 0,1,2,, 1 with addition and multiplication modulo
Notation Q,, The set of all natural numbers 1,2,3, The set of all integers The set of all rational numbers The set of all real numbers The group of permutations of distinct symbols 0,1,2,,1 with addition
More informationx y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2
5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let
More informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
More informationDIGRAPHS WITH SMALL AUTOMORPHISM GROUPS THAT ARE CAYLEY ON TWO NONISOMORPHIC GROUPS
DIGRAPHS WITH SMALL AUTOMORPHISM GROUPS THAT ARE CAYLEY ON TWO NONISOMORPHIC GROUPS LUKE MORGAN, JOY MORRIS, AND GABRIEL VERRET Abstract. Let Γ = Cay(G, S) be a Cayley digraph on a group G and let A =
More informationA Block Negacyclic Bush-Type Hadamard Matrix and Two Strongly Regular Graphs
Journal of Combinatorial Theory, Series A 98, 118 126 (2002) doi:10.1006/jcta.2001.3231, available online at http://www.idealibrary.com on A Block Negacyclic Bush-Type Hadamard Matrix and Two Strongly
More informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationChapter 4 Mathematics of Cryptography
Chapter 4 Mathematics of Cryptography Part II: Algebraic Structures Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 4.1 Chapter 4 Objectives To review the concept
More informationarxiv: v1 [math.co] 5 Oct 2014
Construction of Directed Strongly Regular arxiv:1410.1161v1 [math.co] 5 Oct 2014 Graphs as Generalized Cayley Graphs Rongquan Feng, Liwei Zeng LMAM, School of Mathematical Sciences, Peking University,
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 informationSylow structure of finite groups
Sylow structure of finite groups Jack Schmidt University of Kentucky September 2, 2009 Abstract: Probably the most powerful results in the theory of finite groups are the Sylow theorems. Those who have
More informationNew constructions for Hadamard matrices
New constructions for Hadamard matrices Paul Leopardi Mathematical Sciences Institute, Australian National University. For presentation at University of Newcastle. 26 April 2012 Introduction Acknowledgements
More informationMUBs. William M. Kantor. Newark August / 14
MUBs William M. Kantor Newark August 2017 1 / 14 MUBs: Mutually unbiased bases C d : complex space ( with hermitian inner product (xi ), (y i ) ) := i x iy i MUBs = Mutually unbiased orthonormal bases
More information7 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 informationSome New Large Sets of Geometric Designs
Spyros S. Magliveras Department of Mathematical Sciences Florida Atlantic University Boca Raton, Florida, U.S.A. First annual Kliakhandler Conference Algebraic Combinatorics and Applications Houghton,
More informationA Curious Connection Between Fermat Numbers and Finite Groups
A Curious Connection Between Fermat Numbers and Finite Groups Carrie E. Finch and Lenny Jones 1. INTRODUCTION. In the seventeenth century, Fermat defined the sequence of numbers F n = 2 2n + 1 for n 0,
More informationAlgorithms for ray class groups and Hilbert class fields
(Quantum) Algorithms for ray class groups and Hilbert class fields Sean Hallgren joint with Kirsten Eisentraeger Penn State 1 Quantum Algorithms Quantum algorithms for number theoretic problems: Factoring
More informationMATHEMATICS COMPREHENSIVE EXAM: IN-CLASS COMPONENT
MATHEMATICS COMPREHENSIVE EXAM: IN-CLASS COMPONENT The following is the list of questions for the oral exam. At the same time, these questions represent all topics for the written exam. The procedure for
More informationMath 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9
Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9 Section 0. Sets and Relations Subset of a set, B A, B A (Definition 0.1). Cartesian product of sets A B ( Defintion 0.4). Relation (Defintion 0.7). Function,
More informationGroup-theoretic approach to Fast Matrix Multiplication
Jenya Kirshtein 1 Group-theoretic approach to Fast Matrix Multiplication Jenya Kirshtein Department of Mathematics University of Denver Jenya Kirshtein 2 References 1. H. Cohn, C. Umans. Group-theoretic
More informationEvery SOMA(n 2, n) is Trojan
Every SOMA(n 2, n) is Trojan John Arhin 1 Marlboro College, PO Box A, 2582 South Road, Marlboro, Vermont, 05344, USA. Abstract A SOMA(k, n) is an n n array A each of whose entries is a k-subset of a knset
More informationExistence of doubly near resolvable (v, 4, 3)-BIBDs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 47 (2010), Pages 109 124 Existence of doubly near resolvable (v, 4, 3)-BIBDs R. Julian R. Abel Nigel H. N. Chan School of Mathematics and Statistics University
More informationNew infinite families of Candelabra Systems with block size 6 and stem size 2
New infinite families of Candelabra Systems with block size 6 and stem size 2 Niranjan Balachandran Department of Mathematics The Ohio State University Columbus OH USA 4210 email:niranj@math.ohio-state.edu
More informationA Generalization of Wilson s Theorem
A Generalization of Wilson s Theorem R. Andrew Ohana June 3, 2009 Contents 1 Introduction 2 2 Background Algebra 2 2.1 Groups................................. 2 2.2 Rings.................................
More informationTRIPLE FACTORIZATION OF NON-ABELIAN GROUPS BY TWO MAXIMAL SUBGROUPS
Journal of Algebra and Related Topics Vol. 2, No 2, (2014), pp 1-9 TRIPLE FACTORIZATION OF NON-ABELIAN GROUPS BY TWO MAXIMAL SUBGROUPS A. GHARIBKHAJEH AND H. DOOSTIE Abstract. The triple factorization
More informationSOME NEW SYMMETRIC DESIGNS FOR (256,120,56)
GLASNIK MATEMATICKI Vol. 34(54)(1999),123-128 SOME NEW SYMMETRIC DESIGNS FOR (256,120,56) MARIO-OSVIN PAVCEVIC University of Zagreb, Croatia ABSTRACT. We prove the existence of two symmetric designs with
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationChief factors. Jack Schmidt. University of Kentucky
Chief factors Jack Schmidt University of Kentucky 2008-03-05 Chief factors allow a group to be studied by its representation theory on particularly natural irreducible modules. Outline What is a chief
More informationCartesian Tensors. e 2. e 1. General vector (formal definition to follow) denoted by components
Cartesian Tensors Reference: Jeffreys Cartesian Tensors 1 Coordinates and Vectors z x 3 e 3 y x 2 e 2 e 1 x x 1 Coordinates x i, i 123,, Unit vectors: e i, i 123,, General vector (formal definition to
More informationUnderstanding hard cases in the general class group algorithm
Understanding hard cases in the general class group algorithm Makoto Suwama Supervisor: Dr. Steve Donnelly The University of Sydney February 2014 1 Introduction This report has studied the general class
More informationMath 451, 01, Exam #2 Answer Key
Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement
More informationSOME SYMMETRIC (47,23,11) DESIGNS. Dean Crnković and Sanja Rukavina Faculty of Philosophy, Rijeka, Croatia
GLASNIK MATEMATIČKI Vol. 38(58)(2003), 1 9 SOME SYMMETRIC (47,23,11) DESIGNS Dean Crnković and Sanja Rukavina Faculty of Philosophy, Rijeka, Croatia Abstract. Up to isomorphism there are precisely fifty-four
More informationAlgebraic Structures II
MAS 305 Algebraic Structures II Notes 9 Autumn 2006 Composition series soluble groups Definition A normal subgroup N of a group G is called a maximal normal subgroup of G if (a) N G; (b) whenever N M G
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 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 informationThere are no Barker arrays having more than two dimensions
There are no Barker arrays having more than two dimensions Jonathan Jedwab Matthew G. Parker 5 June 2006 (revised 7 December 2006) Abstract Davis, Jedwab and Smith recently proved that there are no 2-dimensional
More informationTransversal Designs in Classical Planes and Spaces. Aiden A. Bruen and Charles J. Colbourn. Computer Science. University of Vermont
Transversal Designs in Classical Planes and Spaces Aiden A. Bruen and Charles J. Colbourn Computer Science University of Vermont Burlington, VT 05405 U.S.A. Abstract Possible embeddings of transversal
More informationarxiv: v2 [math.co] 6 Apr 2016
On the chromatic number of Latin square graphs Nazli Besharati a, Luis Goddyn b, E.S. Mahmoodian c, M. Mortezaeefar c arxiv:1510.051v [math.co] 6 Apr 016 a Department of Mathematical Sciences, Payame Noor
More informationOn some numerical invariants of finite groups. Jan Krempa Institute of Mathematics, University of Warsaw
On some numerical invariants of finite groups Jan Krempa Institute of Mathematics, University of Warsaw ul. Banacha 2, 02-097 Warszawa, Poland jkrempa@mimuw.edu.pl (with Agnieszka Stocka) References [1]
More informationGroup Theory: Math30038, Sheet 6
Group Theory: Math30038, Sheet 6 Solutions GCS 1. Consider the group D ofrigidsymmetriesofaregularn-gon (which may be turned over). Prove that this group has order 2n, is non-abelian, can be generated
More informationHOMEWORK Graduate Abstract Algebra I May 2, 2004
Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it
More informationCodes and Designs in the Grassmann Scheme
Codes and Designs in the Grassmann Scheme Tuvi Etzion Computer Science Department Technion -Israel Institute of Technology etzion@cs.technion.ac.il ALGEBRAIC COMBINATORICS AND APPLICATIONS ALCOMA10, Thurnau,
More information