Φ + θ = {φ + θ : φ Φ}
|
|
- Eleanore Newton
- 5 years ago
- Views:
Transcription
1 Cyclic designs Let Θ Z t. For Φ Θ, a translate of Φ is a set of the form Φ + θ {φ + θ : φ Φ} for some θ in Θ. Of course, Φ is a translate of itself. It is possible to have Φ + θ 1 Φ + θ 2 even when θ 1 θ 2. Then Φ + (θ 1 θ 2 ) Φ. Let l be the number of distinct translates of Φ: we shall abuse grouptheoretic terminology slightly and refer to l as the index of Φ. Then Φ + (l mod t) Φ. Moreover, l is the smallest positive integer with this property, and l divides t (for if not, the remainder on dividing t by l is a smaller positive number l with Φ + (l mod t) Φ). Definition An incomplete-block design with treatment set Z t is a thin cyclic design if there is some subset Φ of Z t such that the blocks are all the distinct translates of Φ: the design is said to be generated by Φ. An incomplete-block design is a cyclic design if its blocks can be partitioned into sets of blocks such that each set is a thin cyclic design. Example 3.13 Let Φ {0,1,3} Z 8. This has index 8, so it generates the following thin cyclic design. {0,1,3}, {1,2,4}, {2,3,5}, {3,4,6}, {4,5,7}, {5,6,0}, {6,7,1}, {7,0,2}. Example 3.14 Here is a cyclic design for Z 6 which is not thin. {0,1,4}, {1,2,5}, {2,3,0}, {3,4,1}, {4,5,2}, {5,0,3}, {0,2,4}, {1,3,5}. The index of {0,1,4} is 6 and the index of {0,2,4} is 2. Theorem 3.13 Let Φ Z t and let l be the index of Φ. For θ in Z t, let so that m θ (Φ) {(φ 1,φ 2 ) Φ Φ : φ 1 φ 2 θ}, χ Φ χ Φ m θ (Φ)χ θ. θ Θ Then, in the thin cyclic design generated by Φ, Λ(0,θ) m θ (Φ) l t and Λ(η,ζ) Λ(0,ζ η). (3.7)
2 3.7. CYCLIC DESIGNS 75 Proof Treatments 0 and θ concur in the translate Φ+ψ if and only if there are φ 1, φ 2 in Φ such that φ 1 + ψ θ and φ 2 + ψ 0, that is ψ φ 2 and θ φ 1 φ 2. If l t then Λ(0,θ) m θ (Φ). In general, the family of sets Φ, Φ + 1,..., Φ +t 1 consists of t/l copies of the l distinct translates Φ, Φ + 1,..., Φ + l 1, so the concurrence in the thin design is (l/t)m θ (Φ). Moreover, treatments 0 and θ concur in Φ + ψ if and only if treatments η and η + θ concur in Φ + ψ + η, so Λ(0,θ) Λ(η,η + θ). Corollary 3.14 Every cyclic design is partially balanced with respect to the cyclic association scheme on Z t defined by the blueprint {0}, {±1}, {±2},.... (It may be partially balanced with respect to a cyclic association scheme with fewer associate classes.) Proof Since Equation (3.7) holds in each thin component of the design, it holds overall, and Λ Λ(0,θ)M θ, θ Θ where { 1 if ζ η θ M θ (η,ζ) 0 otherwise, as in Section But Λ is symmetric, so Λ(0, θ) Λ( θ,0) Λ(0,θ), by Equation (3.7). The adjacency matrices for the cyclic association scheme defined by the blueprint {0}, {±1}, {±2}... are (M θ + M θ ) if 2θ 0 and M θ if 2θ 0, so Λ is a linear combination of the adjacency matrices, and so the design is partially balanced with respect to this association scheme. Suppose that 0, 1,..., s is a blueprint for Z t such that Λ(0,θ) is constant λ i for θ in i. Putting A i θ i M θ gives Λ i λ i A i, and so the design is partially balanced with respect to the cyclic association scheme defined by the blueprint. Now write λ θ for Λ(0,θ). Technique 3.8 To calculate the concurrences in the thin design generated by Φ, form the table of differences for Φ. Try to find the coarsest blueprint such that λ θ is constant on each set in the partition. Example 3.13 revisited In Z 8, the block {0,1,3} gives the following table of differences
3 76 Therefore λ 0 3, λ 1 λ 2 λ 3 λ 5 λ 6 λ 7 1 and λ 4 0. Hence the design is partially balanced for the association scheme defined by the blueprint {0}, {4}, {1,2,3,5,6,7} (so this design is group divisible with groups 0,4 1,5,2,6 3,7). Definition A subset Φ of Z t is a perfect difference set for Z t if there are integers r, λ such that χ Φ χ Φ rχ 0 + λ(χ Zt χ 0 ); in other words, m θ (Φ) λ for all θ with θ 0. Proposition 3.15 The thin cyclic design generated by Φ is balanced if and only if Φ is a perfect difference set. Example 3.5 revisited The subset {1,2,4} is a perfect difference set for Z Its table of differences contains every non-zero element of Z 7 exactly once. Theorem 3.16 The canonical efficiency factors of a cyclic design are 1 1 rk θ Z t λ θ η θ for complex t-th roots of unity η with η 1. Proof Use Theorems 3.12 and Technique 3.9 Let ζ exp ( ) 2πi t. Then η is a complex t-th root of unity if there is an integer m such that η ζ m. To calculate canonical efficiency factors of cyclic designs numerically, replace η θ + η θ by 2cos ( ) 2πθm t. To calculate the harmonic mean efficiency factor A as an exact rational number, leave everything in powers of ζ. Example 3.15 Consider the thin cyclic design generated by {0,1,3,7} in Z
4 3.7. CYCLIC DESIGNS 77 Thus the eigenvalues of Λ are 4 + (η + η 1 ) + 2(η 2 + η 2 ) + 2(η 3 + η 3 ) + (η + η 4 ) where η 9 1. If η 3 1 and η 1 then η + η 1 1 (the cube roots of unity sum to zero) so the eigenvalue is otherwise it is ; 4 + η 2 + η η 2 + η 2, because the primitive ninth roots of unity sum to zero (because all the ninth roots do). Let ζ be a fixed primitive ninth root of unity, and put x ζ+ζ 1, y ζ 2 +ζ 2 and z ζ 4 + ζ 4. Then the canonical efficiency factors are 3 4, 14 x 16, 14 y 16, 14 z 16, all with multiplicity 2. Substituting x 2cos40 o, y 2cos80 o, z 2cos160 o gives , , and to 4 decimal places, and A To do the exact calculation, we note first that x + y + z 0. Then xy (ζ + ζ 1 )(ζ 2 + ζ 2 ) ζ + ζ 3 + ζ 3 + ζ 1 x 1, and similarly yz y 1 and zx z 1. Therefore xy+yz+zx x+y+z 3 3 and xyz (x 1)z xz z z 1 z 1. Now 1 14 x y x (14 x)(14 y) + (14 x)(14 z) + (14 y)(14 z) (14 x)(14 y)(14 z) (x + y + z) + (xy + yz + zx) (x + y + z) + 14(xy + yz + zx) xyz ,
5 78 so so and 4A A A
Mathematics 222a Quiz 2 CODE 111 November 21, 2002
Student s Name [print] Student Number Mathematics 222a Instructions: Print your name and student number at the top of this question sheet. Print your name and your instructor s name on the answer sheet.
More information4 Powers of an Element; Cyclic Groups
4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)
More informationPractice problems for first midterm, Spring 98
Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.
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 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 information11 Block Designs. Linear Spaces. Designs. By convention, we shall
11 Block Designs Linear Spaces In this section we consider incidence structures I = (V, B, ). always let v = V and b = B. By convention, we shall Linear Space: We say that an incidence structure (V, B,
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationPolynomials. In many problems, it is useful to write polynomials as products. For example, when solving equations: Example:
Polynomials Monomials: 10, 5x, 3x 2, x 3, 4x 2 y 6, or 5xyz 2. A monomial is a product of quantities some of which are unknown. Polynomials: 10 + 5x 3x 2 + x 3, or 4x 2 y 6 + 5xyz 2. A polynomial is a
More information5.1 Monomials. Algebra 2
. Monomials Algebra Goal : A..: Add, subtract, multiply, and simplify polynomials and rational expressions (e.g., multiply (x ) ( x + ); simplify 9x x. x Goal : Write numbers in scientific notation. Scientific
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationAxioms for the Real Number System
Axioms for the Real Number System Math 361 Fall 2003 Page 1 of 9 The Real Number System The real number system consists of four parts: 1. A set (R). We will call the elements of this set real numbers,
More informationStandard forms for writing numbers
Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,
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 informationThe 3rd Olympiad of Metropolises
The 3rd Olympiad of Metropolises Day 1. Solutions Problem 1. Solve the system of equations in real numbers: (x 1)(y 1)(z 1) xyz 1, Answer: x 1, y 1, z 1. (x )(y )(z ) xyz. (Vladimir Bragin) Solution 1.
More informationCombining Association Schemes
Chapter 4 Combining Association Schemes 4.1 Tensor products In this chapter we take an association scheme on Ω 1 and an association scheme on Ω, and combine them to obtain an association scheme on Ω 1
More informationPart V. Chapter 19. Congruence of integers
Part V. Chapter 19. Congruence of integers Congruence modulo m Let m be a positive integer. Definition. Integers a and b are congruent modulo m if and only if a b is divisible by m. For example, 1. 277
More informationMath 5707: Graph Theory, Spring 2017 Midterm 3
University of Minnesota Math 5707: Graph Theory, Spring 2017 Midterm 3 Nicholas Rancourt (edited by Darij Grinberg) December 25, 2017 1 Exercise 1 1.1 Problem Let G be a connected multigraph. Let x, y,
More informationMath 2 Variable Manipulation Part 2 Powers & Roots PROPERTIES OF EXPONENTS:
Math 2 Variable Manipulation Part 2 Powers & Roots PROPERTIES OF EXPONENTS: 1 EXPONENT REVIEW PROBLEMS: 2 1. 2x + x x + x + 5 =? 2. (x 2 + x) (x + 2) =?. The expression 8x (7x 6 x 5 ) is equivalent to?.
More informationNatural Whole Integer Rational Irrational Real. Sep 8 6:51 AM. Today we are starting our first non review unit REAL NUMBERS
Warm Up: 1. Prove that 0.14 can be written as a fraction 2. Mark a check in each column that idenfies the subset of the Real number system to which the number belongs. Natural Whole Integer Rational Irrational
More informationChapter 3: Factors, Roots, and Powers
Chapter 3: Factors, Roots, and Powers Section 3.1 Chapter 3: Factors, Roots, and Powers Section 3.1: Factors and Multiples of Whole Numbers Terminology: Prime Numbers: Any natural number that has exactly
More informationQuestion: 1. Use suitable identities to find the following products:
CH-2 Polynomial Question: 1. Use suitable identities to find the following products: (i) (x + 4) (x + 10) Solution:- (x+4)(x+10) = x 2 +10x+4x+4 x 10 = x 2 +14x+40 (ii) (x + 8) (x 10) Solution: x 2-10x+8x-80
More informationDiophantine Equations and Hilbert s Theorem 90
Diophantine Equations and Hilbert s Theorem 90 By Shin-ichi Katayama Department of Mathematical Sciences, Faculty of Integrated Arts and Sciences The University of Tokushima, Minamijosanjima-cho 1-1, Tokushima
More information3.5 Efficiency factors
3.5. EFFICIENCY FACTORS 63 3.5 Efficiency factors For comparison we consider a complete-block design where the variance of each response is σ CBD. In such a design, Λ = rj Θ and k = t, so Equation (3.3)
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationUNC Charlotte Super Competition Level 3 Test March 4, 2019 Test with Solutions for Sponsors
. Find the minimum value of the function f (x) x 2 + (A) 6 (B) 3 6 (C) 4 Solution. We have f (x) x 2 + + x 2 + (D) 3 4, which is equivalent to x 0. x 2 + (E) x 2 +, x R. x 2 + 2 (x 2 + ) 2. How many solutions
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationRings, Integral Domains, and Fields
Rings, Integral Domains, and Fields S. F. Ellermeyer September 26, 2006 Suppose that A is a set of objects endowed with two binary operations called addition (and denoted by + ) and multiplication (denoted
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More information18.S34 linear algebra problems (2007)
18.S34 linear algebra problems (2007) Useful ideas for evaluating determinants 1. Row reduction, expanding by minors, or combinations thereof; sometimes these are useful in combination with an induction
More informationProblem 1A. Use residues to compute. dx x
Problem 1A. A non-empty metric space X is said to be connected if it is not the union of two non-empty disjoint open subsets, and is said to be path-connected if for every two points a, b there is a continuous
More informationChapter 1 Indices & Standard Form
Chapter 1 Indices & Standard Form Section 1.1 Simplifying Only like (same letters go together; same powers and same letter go together) terms can be grouped together. Example: a 2 + 3ab + 4a 2 5ab + 10
More informationSolving Homogeneous Systems with Sub-matrices
Pure Mathematical Sciences, Vol 7, 218, no 1, 11-18 HIKARI Ltd, wwwm-hikaricom https://doiorg/112988/pms218843 Solving Homogeneous Systems with Sub-matrices Massoud Malek Mathematics, California State
More informationPOLYNOMIALS. x + 1 x x 4 + x 3. x x 3 x 2. x x 2 + x. x + 1 x 1
POLYNOMIALS A polynomial in x is an expression of the form p(x) = a 0 + a 1 x + a x +. + a n x n Where a 0, a 1, a. a n are real numbers and n is a non-negative integer and a n 0. A polynomial having only
More information1. A polynomial p(x) in one variable x is an algebraic expression in x of the form
POLYNOMIALS Important Points 1. A polynomial p(x) in one variable x is an algebraic expression in x of the form p(x) = a nx n +a n-1x n-1 + a 2x 2 +a 1x 1 +a 0x 0 where a 0, a 1, a 2 a n are constants
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 informationCSE 1400 Applied Discrete Mathematics Definitions
CSE 1400 Applied Discrete Mathematics Definitions Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Arithmetic 1 Alphabets, Strings, Languages, & Words 2 Number Systems 3 Machine
More informationMATH 422, CSUSM. SPRING AITKEN
CHAPTER 3 SUMMARY: THE INTEGERS Z (PART I) MATH 422, CSUSM. SPRING 2009. AITKEN 1. Introduction This is a summary of Chapter 3 from Number Systems (Math 378). The integers Z included the natural numbers
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
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 informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
More informationEventually reducible matrix, eventually nonnegative matrix, eventually r-cyclic
December 15, 2012 EVENUAL PROPERIES OF MARICES LESLIE HOGBEN AND ULRICA WILSON Abstract. An eventual property of a matrix M C n n is a property that holds for all powers M k, k k 0, for some positive integer
More informationWorking with Square Roots. Return to Table of Contents
Working with Square Roots Return to Table of Contents 36 Square Roots Recall... * Teacher Notes 37 Square Roots All of these numbers can be written with a square. Since the square is the inverse of the
More informationANSWERS. CLASS: VIII TERM - 1 SUBJECT: Mathematics. Exercise: 1(A) Exercise: 1(B)
ANSWERS CLASS: VIII TERM - 1 SUBJECT: Mathematics TOPIC: 1. Rational Numbers Exercise: 1(A) 1. Fill in the blanks: (i) -21/24 (ii) -4/7 < -4/11 (iii)16/19 (iv)11/13 and -11/13 (v) 0 2. Answer True or False:
More information2.1 NUMERICAL SOLUTION OF SIMULTANEOUS FIRST ORDER ORDINARY DIFFERENTIAL EQUATIONS. differential equations with the initial values y(x 0. ; l.
Numerical Methods II UNIT.1 NUMERICAL SOLUTION OF SIMULTANEOUS FIRST ORDER ORDINARY DIFFERENTIAL EQUATIONS.1.1 Runge-Kutta Method of Fourth Order 1. Let = f x,y,z, = gx,y,z be the simultaneous first order
More informationAntoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS
Opuscula Mathematica Vol. 6 No. 1 006 Antoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS Abstract. A graph G of order n is said to be arbitrarily vertex decomposable if for each sequence (n
More information5 Symmetries and point group in a nut shell
30 Phys520.nb 5 Symmetries and point group in a nut shell 5.1. Basic ideas: 5.1.1. Symmetry operations Symmetry: A system remains invariant under certain operation. These operations are called symmetry
More informationHMMT February 2018 February 10, 2018
HMMT February 018 February 10, 018 Algebra and Number Theory 1. For some real number c, the graphs of the equation y = x 0 + x + 18 and the line y = x + c intersect at exactly one point. What is c? 18
More information(i) Write down the elements of a subgroup of order 2. [1]
FP3 Groups 1. June 010 qu. A multiplicative group with identity e contains distinct elements a and r, with the properties r 6 = e and = r 5 a. Prove that r = a. [] Prove, by induction or otherwise, that
More informationMATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM
MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More information2.4.8 Heisenberg Algebra, Fock Space and Harmonic Oscillator
.4. SPECTRAL DECOMPOSITION 63 Let P +, P, P 1,..., P p be the corresponding orthogonal complimentary system of projections, that is, P + + P + p P i = I. i=1 Then there exists a corresponding system of
More informationCyclotomic schemes and related problems
momihara@educkumamoto-uacjp 16-06-2014 Definition Definition: Cayley graph G: a finite abelian group D: an inverse-closed subset of G (0 D and D = D) E := {(x, y) x, y G, x y D} (G, E) is called a Cayley
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 informationNAME DATE PERIOD. A negative exponent is the result of repeated division. Extending the pattern below shows that 4 1 = 1 4 or 1. Example: 6 4 = 1 6 4
Lesson 4.1 Reteach Powers and Exponents A number that is expressed using an exponent is called a power. The base is the number that is multiplied. The exponent tells how many times the base is used as
More informationThese warmup exercises do not need to be written up or turned in.
18.785 Number Theory Fall 2017 Problem Set #3 Description These problems are related to the material in Lectures 5 7. Your solutions should be written up in latex and submitted as a pdf-file via e-mail
More informationABSTRACT ALGEBRA. Romyar Sharifi
ABSTRACT ALGEBRA Romyar Sharifi Contents Introduction 7 Part 1. A First Course 11 Chapter 1. Set theory 13 1.1. Sets and functions 13 1.2. Relations 15 1.3. Binary operations 19 Chapter 2. Group theory
More informationNumber Theory Marathon. Mario Ynocente Castro, National University of Engineering, Peru
Number Theory Marathon Mario Ynocente Castro, National University of Engineering, Peru 1 2 Chapter 1 Problems 1. (IMO 1975) Let f(n) denote the sum of the digits of n. Find f(f(f(4444 4444 ))). 2. Prove
More information1 The Galois Group of a Quadratic
Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F
More informationADARSHA VIDYALAYA HUNASHYAL P.B
ADARSHA VIDYALAYA HUNASHYAL P.B SUBJECT : MATHEMATICS MATHEMATICS FA 1 SL.N O CONTENTS TOPIC FA 1 PLYING WITH-NUMBERS ARITHMETIC FA - 1 2 SQUARE,SQUARE ROOTS CUBES AND CUBE ROOTS ARITHMETIC FA - 1 3 RATIONAL
More informationMATH 310: Homework 7
1 MATH 310: Homework 7 Due Thursday, 12/1 in class Reading: Davenport III.1, III.2, III.3, III.4, III.5 1. Show that x is a root of unity modulo m if and only if (x, m 1. (Hint: Use Euler s theorem and
More informationSelf-Dual Cyclic Codes
Self-Dual Cyclic Codes Bas Heijne November 29, 2007 Definitions Definition Let F be the finite field with two elements and n a positive integer. An [n, k] (block)-code C is a k dimensional linear subspace
More informationAdditional Practice Lessons 2.02 and 2.03
Additional Practice Lessons 2.02 and 2.03 1. There are two numbers n that satisfy the following equations. Find both numbers. a. n(n 1) 306 b. n(n 1) 462 c. (n 1)(n) 182 2. The following function is defined
More informationCHAPTEER - TWO SUBGROUPS. ( Z, + ) is subgroup of ( R, + ). 1) Find all subgroups of the group ( Z 8, + 8 ).
CHAPTEER - TWO SUBGROUPS Definition 2-1. Let (G, ) be a group and H G be a nonempty subset of G. The pair ( H, ) is said to be a SUBGROUP of (G, ) if ( H, ) is group. Example. ( Z, + ) is subgroup of (
More information(z 0 ) = lim. = lim. = f. Similarly along a vertical line, we fix x = x 0 and vary y. Setting z = x 0 + iy, we get. = lim. = i f
. Holomorphic Harmonic Functions Basic notation. Considering C as R, with coordinates x y, z = x + iy denotes the stard complex coordinate, in the usual way. Definition.1. Let f : U C be a complex valued
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationAdvancements in Polygonal Designs. James Wright. Bucknell University. May 16, 2003
Advancements in Polygonal Designs James Wright Bucknell University May 16, 2003 May 16, 2003 1 Outline Introduction Definition of Polygonal Design Previously Established Results Necessary and Sufficient
More informationPowers, Roots and Radicals. (11) Page #23 47 Column, #51, 54, #57 73 Column, #77, 80
Algebra 2/Trig Unit Notes Packet Name: Period: # Powers, Roots and Radicals () Homework Packet (2) Homework Packet () Homework Packet () Page 277 # 0 () Page 277 278 #7 6 Odd (6) Page 277 278 #8 60 Even
More informationOn The Weights of Binary Irreducible Cyclic Codes
On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:
More informationTHE REAL NUMBERS Chapter #4
FOUNDATIONS OF ANALYSIS FALL 2008 TRUE/FALSE QUESTIONS THE REAL NUMBERS Chapter #4 (1) Every element in a field has a multiplicative inverse. (2) In a field the additive inverse of 1 is 0. (3) In a field
More informationarxiv: v2 [math.nt] 23 Sep 2011
ELLIPTIC DIVISIBILITY SEQUENCES, SQUARES AND CUBES arxiv:1101.3839v2 [math.nt] 23 Sep 2011 Abstract. Elliptic divisibility sequences (EDSs) are generalizations of a class of integer divisibility sequences
More informationJust like the ring of Gaussian integers, the ring of Eisenstein integers is a Unique Factorization Domain.
Fermat s Infinite Descent PMATH 340 Assignment 6 (Due Monday April 3rd at noon). (0 marks) Use Femtat s method of infinite descent to prove that the Diophantine equation x 3 + y 3 = 4z 3 has no solutions
More informationFrom alternating sign matrices to Painlevé VI
From alternating sign matrices to Painlevé VI Hjalmar Rosengren Chalmers University of Technology and University of Gothenburg Nagoya, July 31, 2012 Hjalmar Rosengren (Chalmers University) Nagoya, July
More informationA field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:
Byte multiplication 1 Field arithmetic A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: F is an abelian group under addition, meaning - F is closed under
More informationSome Review Problems for Exam 1: Solutions
Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x
More informationThis theorem allows us to describe all integer solutions as follows:
On the Diophantine equation a 3 + b 3 + c 3 + d 3 = 0 by RACHEL GAR-EL and LEONID VASERSTEIN (University Park, PA) Introduction. The equation a 3 + b 3 + c 3 + d 3 = 0 (1) has been studied by many mathematicians
More informationSIMPLE ROOT SYSTEMS AND PRESENTATIONS FOR CERTAIN COMPLEX REFLECTION GROUPS. Jian-yi Shi
SIMPLE ROOT SYSTEMS AND PRESENTATIONS FOR CERTAIN COMPLEX REFLECTION GROUPS Jian-yi Shi Department of Mathematics, East China Normal University, Shanghai, 200062, China and Center for Combinatorics, Nankai
More informationAdvanced Combinatorial Optimization September 22, Lecture 4
8.48 Advanced Combinatorial Optimization September 22, 2009 Lecturer: Michel X. Goemans Lecture 4 Scribe: Yufei Zhao In this lecture, we discuss some results on edge coloring and also introduce the notion
More informationTHE STRUCTURE OF RAINBOW-FREE COLORINGS FOR LINEAR EQUATIONS ON THREE VARIABLES IN Z p. Mario Huicochea CINNMA, Querétaro, México
#A8 INTEGERS 15A (2015) THE STRUCTURE OF RAINBOW-FREE COLORINGS FOR LINEAR EQUATIONS ON THREE VARIABLES IN Z p Mario Huicochea CINNMA, Querétaro, México dym@cimat.mx Amanda Montejano UNAM Facultad de Ciencias
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 informationarxiv: v1 [math.nt] 11 Aug 2016
INTEGERS REPRESENTABLE AS THE PRODUCT OF THE SUM OF FOUR INTEGERS WITH THE SUM OF THEIR RECIPROCALS arxiv:160803382v1 [mathnt] 11 Aug 2016 YONG ZHANG Abstract By the theory of elliptic curves we study
More information1 Structure of Finite Fields
T-79.5501 Cryptology Additional material September 27, 2005 1 Structure of Finite Fields This section contains complementary material to Section 5.2.3 of the text-book. It is not entirely self-contained
More informationNOTE ON CYCLIC DECOMPOSITIONS OF COMPLETE BIPARTITE GRAPHS INTO CUBES
Discussiones Mathematicae Graph Theory 19 (1999 ) 219 227 NOTE ON CYCLIC DECOMPOSITIONS OF COMPLETE BIPARTITE GRAPHS INTO CUBES Dalibor Fronček Department of Applied Mathematics Technical University Ostrava
More informationDivisibility, Factors, and Multiples
Divisibility, Factors, and Multiples An Integer is said to have divisibility with another non-zero Integer if it can divide into the number and have a remainder of zero. Remember: Zero divided by any number
More information(4.2) Equivalence Relations. 151 Math Exercises. Malek Zein AL-Abidin. King Saud University College of Science Department of Mathematics
King Saud University College of Science Department of Mathematics 151 Math Exercises (4.2) Equivalence Relations Malek Zein AL-Abidin 1440 ه 2018 Equivalence Relations DEFINITION 1 A relation on a set
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
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 informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationCSE 20 DISCRETE MATH WINTER
CSE 20 DISCRETE MATH WINTER 2016 http://cseweb.ucsd.edu/classes/wi16/cse20-ab/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition
More informationGroup, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S,
Group, Rings, and Fields Rahul Pandharipande I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, A binary operation φ is a function, S S = {(x, y) x, y S}. φ
More informationChapter 9: Relations Relations
Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair
More informationCSE 20 DISCRETE MATH SPRING
CSE 20 DISCRETE MATH SPRING 2016 http://cseweb.ucsd.edu/classes/sp16/cse20-ac/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition
More informationSynthesis of 2-level Logic Exact and Heuristic Methods. Two Approaches
Synthesis of 2-level Logic Exact and Heuristic Methods Lecture 7: Branch & Bound Exact Two Approaches Find all primes Find a complete sum Find a minimum cover (covering problem) Heuristic Take an initial
More informationExamples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are
Cosets Let H be a subset of the group G. (Usually, H is chosen to be a subgroup of G.) If a G, then we denote by ah the subset {ah h H}, the left coset of H containing a. Similarly, Ha = {ha h H} is the
More informationWeek 4-5: Generating Permutations and Combinations
Week 4-5: Generating Permutations and Combinations February 27, 2017 1 Generating Permutations We have learned that there are n! permutations of {1, 2,...,n}. It is important in many instances to generate
More informationWriting Assignment 2 Student Sample Questions
Writing Assignment 2 Student Sample Questions 1. Let P and Q be statements. Then the statement (P = Q) ( P Q) is a tautology. 2. The statement If the sun rises from the west, then I ll get out of the bed.
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 informationRings and Fields Theorems
Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)
More informationSome Basic Logic. Henry Liu, 25 October 2010
Some Basic Logic Henry Liu, 25 October 2010 In the solution to almost every olympiad style mathematical problem, a very important part is existence of accurate proofs. Therefore, the student should be
More information