A glimpse of combinatorics on words

Size: px
Start display at page:

Download "A glimpse of combinatorics on words"

Transcription

1 A glimpse of combinatorics on words Benny George K Tata Institute of Fundamental Research,Mumbai India Indo Russian Workshop 2008 Ural State Univeristy Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 1 / 13

2 Outline Introduction 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 2 / 13

3 Outline Introduction 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 2 / 13

4 Outline Introduction 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 2 / 13

5 Outline Introduction 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 3 / 13

6 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13

7 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13

8 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13

9 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13

10 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13

11 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13

12 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13

13 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13

14 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13

15 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13

16 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13

17 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13

18 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13

19 Outline Introduction Fine and Wilf s Theorem Pattern Avoidance Theorems 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 6 / 13

20 Fine and Wilf s Theorem Fine and Wilf s Theorem Pattern Avoidance Theorems Let w be a word of length n. If w has two period p and q and n p + q gcd(p, q), then gcd(p, q) is a period of w. Bound is tight. Consider w = abaab abaab a. It is a word of length 11 and is not power of a single letter. Such words are called Sturmian words. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 7 / 13

21 Fine and Wilf s Theorem Fine and Wilf s Theorem Pattern Avoidance Theorems Let w be a word of length n. If w has two period p and q and n p + q gcd(p, q), then gcd(p, q) is a period of w. Bound is tight. Consider w = abaab abaab a. It is a word of length 11 and is not power of a single letter. Such words are called Sturmian words. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 7 / 13

22 Fine and Wilf s Theorem Fine and Wilf s Theorem Pattern Avoidance Theorems Let w be a word of length n. If w has two period p and q and n p + q gcd(p, q), then gcd(p, q) is a period of w. Bound is tight. Consider w = abaab abaab a. It is a word of length 11 and is not power of a single letter. Such words are called Sturmian words. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 7 / 13

23 Square free and Cube free words Fine and Wilf s Theorem Pattern Avoidance Theorems Find as long as possible (infinite?) word over an n letter alphabet that it is k free. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 8 / 13

24 Square free and Cube free words Fine and Wilf s Theorem Pattern Avoidance Theorems Find as long as possible (infinite?) word over an n letter alphabet that it is k free. Thue 1906 There exists an infinite 2 + free word over binary alphabet. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 8 / 13

25 Square free and Cube free words Fine and Wilf s Theorem Pattern Avoidance Theorems Find as long as possible (infinite?) word over an n letter alphabet that it is k free. Thue 1906 There exists an infinite 2 + free word over binary alphabet. Thue 1906 There exists an infinite 2 free word over three alphabet. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 8 / 13

26 Outline Introduction 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 9 / 13

27 An Example Introduction Consider the following equation All its solution are of the form x = a(ba) n, y = (ba) n b We try to solve one such equation,but over languages Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 10 / 13

28 An Example Introduction Consider the following equation bxyx = yxya All its solution are of the form x = a(ba) n, y = (ba) n b We try to solve one such equation,but over languages Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 10 / 13

29 An Example Introduction Consider the following equation bxyx = yxya All its solution are of the form x = a(ba) n, y = (ba) n b We try to solve one such equation,but over languages Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 10 / 13

30 An Example Introduction Consider the following equation bxyx = yxya All its solution are of the form x = a(ba) n, y = (ba) n b We try to solve one such equation,but over languages Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 10 / 13

31 Problem Statement Conjugacy equation is XZ = ZY Input: X and Y Output: Yes iff there exists a Z. We consider the case when X = {x 1, x 2 } and Y = {y 1, y 2, y 3 } Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 11 / 13

32 Problem Statement Conjugacy equation is XZ = ZY Input: X and Y Output: Yes iff there exists a Z. We consider the case when X = {x 1, x 2 } and Y = {y 1, y 2, y 3 } Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 11 / 13

33 Problem Statement Conjugacy equation is XZ = ZY Input: X and Y Output: Yes iff there exists a Z. We consider the case when X = {x 1, x 2 } and Y = {y 1, y 2, y 3 } Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 11 / 13

34 Problem Statement Conjugacy equation is XZ = ZY Input: X and Y Output: Yes iff there exists a Z. We consider the case when X = {x 1, x 2 } and Y = {y 1, y 2, y 3 } Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 11 / 13

35 Folklore Lemmas Introduction Lemma 1 If p is a primitive word and p 2 = xpy, then either x = 1 or y = 1.In other words, primitive words cannot occur inside their powers in a nontrivial manner. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 12 / 13

36 Folklore Lemmas Introduction Lemma 1 If p is a primitive word and p 2 = xpy, then either x = 1 or y = 1.In other words, primitive words cannot occur inside their powers in a nontrivial manner. Lemma 2 If xz = zy, then x = (uv) r, y = (vu) r and z = (uv) r u and uv is primitive. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 12 / 13

37 Folklore Lemmas Introduction Lemma 1 If p is a primitive word and p 2 = xpy, then either x = 1 or y = 1.In other words, primitive words cannot occur inside their powers in a nontrivial manner. Lemma 2 If xz = zy, then x = (uv) r, y = (vu) r and z = (uv) r u and uv is primitive. Lemma 3 If xy = yx, then x = (w) r 1, y = (w) r 2 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 12 / 13

38 Folklore Lemmas Introduction Lemma 1 If p is a primitive word and p 2 = xpy, then either x = 1 or y = 1.In other words, primitive words cannot occur inside their powers in a nontrivial manner. Lemma 2 If xz = zy, then x = (uv) r, y = (vu) r and z = (uv) r u and uv is primitive. Lemma 3 If xy = yx, then x = (w) r 1, y = (w) r 2 Lemma 4 If XZ = ZY and X commutes then so does Y. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 12 / 13

39 THANK YOU Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 13 / 13

THIN GROUPS OF FRACTIONS

THIN GROUPS OF FRACTIONS Contemporary Mathematics THIN GROUPS OF FRACTIONS Patrick DEHORNOY Abstract. A number of properties of spherical Artin Tits groups extend to Garside groups, defined as the groups of fractions of monoids

More information

Local periods and binary partial words: An algorithm

Local periods and binary partial words: An algorithm Local periods and binary partial words: An algorithm F. Blanchet-Sadri and Ajay Chriscoe Department of Mathematical Sciences University of North Carolina P.O. Box 26170 Greensboro, NC 27402 6170, USA E-mail:

More information

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work

More information

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN Part II: Group Theory No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Version: 1.1 Release: Jan 2013

More information

Lecture 13 - Basic Number Theory.

Lecture 13 - Basic Number Theory. Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted

More information

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors. The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,

More information

Solving Linear Systems, Continued and The Inverse of a Matrix

Solving Linear Systems, Continued and The Inverse of a Matrix , Continued and The of a Matrix Calculus III Summer 2013, Session II Monday, July 15, 2013 Agenda 1. The rank of a matrix 2. The inverse of a square matrix Gaussian Gaussian solves a linear system by reducing

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples Brian Hilley Boston College MT695 Honors Seminar March 3, 2006 1 Introduction 1.1 Mazur s Theorem Let C be a

More information

Rough Semi Prime Ideals and Rough Bi-Ideals in Rings

Rough Semi Prime Ideals and Rough Bi-Ideals in Rings Int Jr. of Mathematical Sciences & Applications Vol. 4, No.1, January-June 2014 Copyright Mind Reader Publications ISSN No: 2230-9888 www.journalshub.com Rough Semi Prime Ideals and Rough Bi-Ideals in

More information

SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE

SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE CRISTINA FLAUT and DIANA SAVIN Communicated by the former editorial board In this paper, we study some properties of the matrix representations of the

More information

(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.

(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4. 11.01 List the elements of Z 2 Z 4. Find the order of each of the elements is this group cyclic? Solution: The elements of Z 2 Z 4 are: (0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order

More information

Boolean Algebra Part 1

Boolean Algebra Part 1 Boolean Algebra Part 1 Page 1 Boolean Algebra Objectives Understand Basic Boolean Algebra Relate Boolean Algebra to Logic Networks Prove Laws using Truth Tables Understand and Use First Basic Theorems

More information

Fundamentele Informatica II

Fundamentele Informatica II Fundamentele Informatica II Answer to selected exercises 1 John C Martin: Introduction to Languages and the Theory of Computation M.M. Bonsangue (and J. Kleijn) Fall 2011 Let L be a language. It is clear

More information

THE PRODUCT SPAN OF A FINITE SUBSET OF A COMPLETELY BOUNDED ARTEX SPACE OVER A BI-MONOID

THE PRODUCT SPAN OF A FINITE SUBSET OF A COMPLETELY BOUNDED ARTEX SPACE OVER A BI-MONOID THE PRODUCT SPAN OF A FINITE SUBSET OF A COMPLETELY BOUNDED ARTEX SPACE OVER A BI-MONOID ABSTRACT The product of subsets of an Artex space over a bi-monoid is defined. Product Combination of elements of

More information

SOLUTIONS FOR PROBLEM SET 2

SOLUTIONS FOR PROBLEM SET 2 SOLUTIONS FOR PROBLEM SET 2 A: There exist primes p such that p+6k is also prime for k = 1,2 and 3. One such prime is p = 11. Another such prime is p = 41. Prove that there exists exactly one prime p such

More information

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers

More information

Basic Concepts of Set Theory, Functions and Relations

Basic Concepts of Set Theory, Functions and Relations March 1, 2006 p. 1 Basic Concepts of Set Theory, Functions and Relations 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2 1.3. Identity and cardinality...3

More information

Vector Spaces 4.4 Spanning and Independence

Vector Spaces 4.4 Spanning and Independence Vector Spaces 4.4 and Independence October 18 Goals Discuss two important basic concepts: Define linear combination of vectors. Define Span(S) of a set S of vectors. Define linear Independence of a set

More information

Characterization of some binary words with few squares

Characterization of some binary words with few squares Characterization of some binary words with few squares Golnaz Badkobeh a, Pascal Ochem b a Department of Computer Science, University of Sheffield, UK b CNRS - LIRMM, Montpellier, France Abstract Thue

More information

Factoring Trinomials of the Form x 2 bx c

Factoring Trinomials of the Form x 2 bx c 4.2 Factoring Trinomials of the Form x 2 bx c 4.2 OBJECTIVES 1. Factor a trinomial of the form x 2 bx c 2. Factor a trinomial containing a common factor NOTE The process used to factor here is frequently

More information

SUM OF TWO SQUARES JAHNAVI BHASKAR

SUM OF TWO SQUARES JAHNAVI BHASKAR SUM OF TWO SQUARES JAHNAVI BHASKAR Abstract. I will investigate which numbers can be written as the sum of two squares and in how many ways, providing enough basic number theory so even the unacquainted

More information

Logic in Computer Science: Logic Gates

Logic in Computer Science: Logic Gates Logic in Computer Science: Logic Gates Lila Kari The University of Western Ontario Logic in Computer Science: Logic Gates CS2209, Applied Logic for Computer Science 1 / 49 Logic and bit operations Computers

More information

Introduction to Theory of Computation

Introduction to Theory of Computation Introduction to Theory of Computation Prof. (Dr.) K.R. Chowdhary Email: kr.chowdhary@iitj.ac.in Formerly at department of Computer Science and Engineering MBM Engineering College, Jodhpur Tuesday 28 th

More information

ON SOME CLASSES OF REGULAR ORDER SEMIGROUPS

ON SOME CLASSES OF REGULAR ORDER SEMIGROUPS Commun. Korean Math. Soc. 23 (2008), No. 1, pp. 29 40 ON SOME CLASSES OF REGULAR ORDER SEMIGROUPS Zhenlin Gao and Guijie Zhang Reprinted from the Communications of the Korean Mathematical Society Vol.

More information

Gröbner bases talk at the ACAGM Summer School Leuven 2011- p. 1

Gröbner bases talk at the ACAGM Summer School Leuven 2011- p. 1 Gröbner bases talk at the ACAGM Summer School Leuven 2011- p. 1 Gröbner bases talk at the ACAGM Summer School Leuven 2011 - Hans Schönemann hannes@mathematik.uni-kl.de Department of Mathematics University

More information

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

More information

This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.

This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements. 3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

6.2 Permutations continued

6.2 Permutations continued 6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

More information

A First Investigation of Sturmian Trees

A First Investigation of Sturmian Trees A First Investigation of Sturmian Trees Jean Berstel 2, Luc Boasson 1 Olivier Carton 1, Isabelle Fagnot 2 1 LIAFA, CNRS Université Paris 7 2 IGM, CNRS Université de Marne-la-Vallée Atelier de Combinatoire,

More information

Formal Languages and Automata Theory - Regular Expressions and Finite Automata -

Formal Languages and Automata Theory - Regular Expressions and Finite Automata - Formal Languages and Automata Theory - Regular Expressions and Finite Automata - Samarjit Chakraborty Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zürich March

More information

Stanford Math Circle: Sunday, May 9, 2010 Square-Triangular Numbers, Pell s Equation, and Continued Fractions

Stanford Math Circle: Sunday, May 9, 2010 Square-Triangular Numbers, Pell s Equation, and Continued Fractions Stanford Math Circle: Sunday, May 9, 00 Square-Triangular Numbers, Pell s Equation, and Continued Fractions Recall that triangular numbers are numbers of the form T m = numbers that can be arranged in

More information

( ) FACTORING. x In this polynomial the only variable in common to all is x.

( ) FACTORING. x In this polynomial the only variable in common to all is x. FACTORING Factoring is similar to breaking up a number into its multiples. For example, 10=5*. The multiples are 5 and. In a polynomial it is the same way, however, the procedure is somewhat more complicated

More information

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com Polynomials Alexander Remorov alexanderrem@gmail.com Warm-up Problem 1: Let f(x) be a quadratic polynomial. Prove that there exist quadratic polynomials g(x) and h(x) such that f(x)f(x + 1) = g(h(x)).

More information

Radboud Universiteit Nijmegen

Radboud Universiteit Nijmegen Radboud Universiteit Nijmegen Faculteit der Natuurwetenschappen, Wiskunde en Informatica Uniqueness of the Hyperreal Field Noud Aldenhoven (0620874) Supervisor: dr. W.H.M. Veldman Second reader: prof.

More information

Factoring Polynomials

Factoring Polynomials UNIT 11 Factoring Polynomials You can use polynomials to describe framing for art. 396 Unit 11 factoring polynomials A polynomial is an expression that has variables that represent numbers. A number can

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................

More information

Settling a Question about Pythagorean Triples

Settling a Question about Pythagorean Triples Settling a Question about Pythagorean Triples TOM VERHOEFF Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands E-Mail address:

More information

Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald

Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald Adam Boocher 1 Rings and Ideals 1.1 Rings and Ring Homomorphisms A commutative ring A with identity is a set with two binary

More information

Georg Cantor and Set Theory

Georg Cantor and Set Theory Georg Cantor and Set Theory. Life Father, Georg Waldemar Cantor, born in Denmark, successful merchant, and stock broker in St Petersburg. Mother, Maria Anna Böhm, was Russian. In 856, because of father

More information

MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

More information

So let us begin our quest to find the holy grail of real analysis.

So let us begin our quest to find the holy grail of real analysis. 1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers

More information

Groups in Cryptography

Groups in Cryptography Groups in Cryptography Çetin Kaya Koç http://cs.ucsb.edu/~koc/cs178 koc@cs.ucsb.edu Koç (http://cs.ucsb.edu/~koc) ucsb cs 178 intro to crypto winter 2013 1 / 13 Groups in Cryptography A set S and a binary

More information

(IALC, Chapters 8 and 9) Introduction to Turing s life, Turing machines, universal machines, unsolvable problems.

(IALC, Chapters 8 and 9) Introduction to Turing s life, Turing machines, universal machines, unsolvable problems. 3130CIT: Theory of Computation Turing machines and undecidability (IALC, Chapters 8 and 9) Introduction to Turing s life, Turing machines, universal machines, unsolvable problems. An undecidable problem

More information

Patterns in Pascal s Triangle

Patterns in Pascal s Triangle Pascal s Triangle Pascal s Triangle is an infinite triangular array of numbers beginning with a at the top. Pascal s Triangle can be constructed starting with just the on the top by following one easy

More information

Computing Cubic Fields in Quasi-Linear Time

Computing Cubic Fields in Quasi-Linear Time Computing Cubic Fields in Quasi-Linear Time K. Belabas Département de mathématiques (A2X) Université Bordeaux I 351, cours de la Libération, 33405 Talence (France) belabas@math.u-bordeaux.fr Cubic fields

More information

Lecture 1. Basic Concepts of Set Theory, Functions and Relations

Lecture 1. Basic Concepts of Set Theory, Functions and Relations September 7, 2005 p. 1 Lecture 1. Basic Concepts of Set Theory, Functions and Relations 0. Preliminaries...1 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2

More information

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

More information

Computability Theory

Computability Theory CSC 438F/2404F Notes (S. Cook and T. Pitassi) Fall, 2014 Computability Theory This section is partly inspired by the material in A Course in Mathematical Logic by Bell and Machover, Chap 6, sections 1-10.

More information

On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

More information

Learning Analysis by Reduction from Positive Data

Learning Analysis by Reduction from Positive Data Learning Analysis by Reduction from Positive Data František Mráz 1, Friedrich Otto 1, and Martin Plátek 2 1 Fachbereich Mathematik/Informatik, Universität Kassel 34109 Kassel, Germany {mraz,otto}@theory.informatik.uni-kassel.de

More information

Random access protocols for channel access. Markov chains and their stability. Laurent Massoulié.

Random access protocols for channel access. Markov chains and their stability. Laurent Massoulié. Random access protocols for channel access Markov chains and their stability laurent.massoulie@inria.fr Aloha: the first random access protocol for channel access [Abramson, Hawaii 70] Goal: allow machines

More information

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

More information

CMPSCI 250: Introduction to Computation. Lecture #19: Regular Expressions and Their Languages David Mix Barrington 11 April 2013

CMPSCI 250: Introduction to Computation. Lecture #19: Regular Expressions and Their Languages David Mix Barrington 11 April 2013 CMPSCI 250: Introduction to Computation Lecture #19: Regular Expressions and Their Languages David Mix Barrington 11 April 2013 Regular Expressions and Their Languages Alphabets, Strings and Languages

More information

AIP Factoring Practice/Help

AIP Factoring Practice/Help The following pages include many problems to practice factoring skills. There are also several activities with examples to help you with factoring if you feel like you are not proficient with it. There

More information

k, then n = p2α 1 1 pα k

k, then n = p2α 1 1 pα k Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

More information

6 Commutators and the derived series. [x,y] = xyx 1 y 1.

6 Commutators and the derived series. [x,y] = xyx 1 y 1. 6 Commutators and the derived series Definition. Let G be a group, and let x,y G. The commutator of x and y is [x,y] = xyx 1 y 1. Note that [x,y] = e if and only if xy = yx (since x 1 y 1 = (yx) 1 ). Proposition

More information

Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer

More information

Automata and Formal Languages

Automata and Formal Languages Automata and Formal Languages Winter 2009-2010 Yacov Hel-Or 1 What this course is all about This course is about mathematical models of computation We ll study different machine models (finite automata,

More information

Introduction to Automata Theory. Reading: Chapter 1

Introduction to Automata Theory. Reading: Chapter 1 Introduction to Automata Theory Reading: Chapter 1 1 What is Automata Theory? Study of abstract computing devices, or machines Automaton = an abstract computing device Note: A device need not even be a

More information

arxiv:math/0506303v1 [math.ag] 15 Jun 2005

arxiv:math/0506303v1 [math.ag] 15 Jun 2005 arxiv:math/5633v [math.ag] 5 Jun 5 ON COMPOSITE AND NON-MONOTONIC GROWTH FUNCTIONS OF MEALY AUTOMATA ILLYA I. REZNYKOV Abstract. We introduce the notion of composite growth function and provide examples

More information

THE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0

THE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0 THE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0 RICHARD J. MATHAR Abstract. We count solutions to the Ramanujan-Nagell equation 2 y +n = x 2 for fixed positive n. The computational

More information

C H A P T E R Regular Expressions regular expression

C H A P T E R Regular Expressions regular expression 7 CHAPTER Regular Expressions Most programmers and other power-users of computer systems have used tools that match text patterns. You may have used a Web search engine with a pattern like travel cancun

More information

Algebraic Recognizability of Languages

Algebraic Recognizability of Languages of Languages LaBRI, Université Bordeaux-1 and CNRS MFCS Conference, Prague, August 2004 The general problem Problem: to specify and analyse infinite sets by finite means The general problem Problem: to

More information

RINGS WITH A POLYNOMIAL IDENTITY

RINGS WITH A POLYNOMIAL IDENTITY RINGS WITH A POLYNOMIAL IDENTITY IRVING KAPLANSKY 1. Introduction. In connection with his investigation of projective planes, M. Hall [2, Theorem 6.2]* proved the following theorem: a division ring D in

More information

4.6 The Primitive Recursive Functions

4.6 The Primitive Recursive Functions 4.6. THE PRIMITIVE RECURSIVE FUNCTIONS 309 4.6 The Primitive Recursive Functions The class of primitive recursive functions is defined in terms of base functions and closure operations. Definition 4.6.1

More information

Matrix Representations of Linear Transformations and Changes of Coordinates

Matrix Representations of Linear Transformations and Changes of Coordinates Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under

More information

Algebraic Structures II

Algebraic Structures II MAS 305 Algebraic Structures II Notes 12 Autumn 2006 Factorization in integral domains Lemma If a, b, c are elements of an integral domain R and ab = ac then either a = 0 R or b = c. Proof ab = ac a(b

More information

Algorithmic Mathematics

Algorithmic Mathematics Algorithmic Mathematics a web-book by Leonard Soicher & Franco Vivaldi This is the textbook for the course MAS202 Algorithmic Mathematics. This material is in a fluid state it is rapidly evolving and as

More information

Chapter 6. Linear Transformation. 6.1 Intro. to Linear Transformation

Chapter 6. Linear Transformation. 6.1 Intro. to Linear Transformation Chapter 6 Linear Transformation 6 Intro to Linear Transformation Homework: Textbook, 6 Ex, 5, 9,, 5,, 7, 9,5, 55, 57, 6(a,b), 6; page 7- In this section, we discuss linear transformations 89 9 CHAPTER

More information

. 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9

. 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9 Introduction The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive integer We say d is a

More information

MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

More information

arxiv:math/0202219v1 [math.co] 21 Feb 2002

arxiv:math/0202219v1 [math.co] 21 Feb 2002 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) arxiv:math/0202219v1 [math.co] 21 Feb 2002 TOUFIK MANSOUR LaBRI (UMR 5800), Université Bordeaux 1, 351 cours de la Libération, 33405 Talence Cedex, France

More information

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

More information

CSE 135: Introduction to Theory of Computation Decidability and Recognizability

CSE 135: Introduction to Theory of Computation Decidability and Recognizability CSE 135: Introduction to Theory of Computation Decidability and Recognizability Sungjin Im University of California, Merced 04-28, 30-2014 High-Level Descriptions of Computation Instead of giving a Turing

More information

Today s Topics. Primes & Greatest Common Divisors

Today s Topics. Primes & Greatest Common Divisors Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime

More information

4. How many integers between 2004 and 4002 are perfect squares?

4. How many integers between 2004 and 4002 are perfect squares? 5 is 0% of what number? What is the value of + 3 4 + 99 00? (alternating signs) 3 A frog is at the bottom of a well 0 feet deep It climbs up 3 feet every day, but slides back feet each night If it started

More information

Lecture 1: Course overview, circuits, and formulas

Lecture 1: Course overview, circuits, and formulas Lecture 1: Course overview, circuits, and formulas Topics in Complexity Theory and Pseudorandomness (Spring 2013) Rutgers University Swastik Kopparty Scribes: John Kim, Ben Lund 1 Course Information Swastik

More information

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. Vector space A vector space is a set V equipped with two operations, addition V V (x,y) x + y V and scalar

More information

Section 1. Finding Common Terms

Section 1. Finding Common Terms Worksheet 2.1 Factors of Algebraic Expressions Section 1 Finding Common Terms In worksheet 1.2 we talked about factors of whole numbers. Remember, if a b = ab then a is a factor of ab and b is a factor

More information

COMMUTATIVITY DEGREE, ITS GENERALIZATIONS, AND CLASSIFICATION OF FINITE GROUPS

COMMUTATIVITY DEGREE, ITS GENERALIZATIONS, AND CLASSIFICATION OF FINITE GROUPS COMMUTATIVITY DEGREE, ITS GENERALIZATIONS, AND CLASSIFICATION OF FINITE GROUPS ABSTRACT RAJAT KANTI NATH DEPARTMENT OF MATHEMATICS NORTH-EASTERN HILL UNIVERSITY SHILLONG 793022, INDIA COMMUTATIVITY DEGREE,

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

Offline sorting buffers on Line

Offline sorting buffers on Line Offline sorting buffers on Line Rohit Khandekar 1 and Vinayaka Pandit 2 1 University of Waterloo, ON, Canada. email: rkhandekar@gmail.com 2 IBM India Research Lab, New Delhi. email: pvinayak@in.ibm.com

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

More information

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number Number Fields Introduction A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number field K = Q(α) for some α K. The minimal polynomial Let K be a number field and

More information

Class One: Degree Sequences

Class One: Degree Sequences Class One: Degree Sequences For our purposes a graph is a just a bunch of points, called vertices, together with lines or curves, called edges, joining certain pairs of vertices. Three small examples of

More information

Primality - Factorization

Primality - Factorization Primality - Factorization Christophe Ritzenthaler November 9, 2009 1 Prime and factorization Definition 1.1. An integer p > 1 is called a prime number (nombre premier) if it has only 1 and p as divisors.

More information

ECE 842 Report Implementation of Elliptic Curve Cryptography

ECE 842 Report Implementation of Elliptic Curve Cryptography ECE 842 Report Implementation of Elliptic Curve Cryptography Wei-Yang Lin December 15, 2004 Abstract The aim of this report is to illustrate the issues in implementing a practical elliptic curve cryptographic

More information

2. Let H and K be subgroups of a group G. Show that H K G if and only if H K or K H.

2. Let H and K be subgroups of a group G. Show that H K G if and only if H K or K H. Math 307 Abstract Algebra Sample final examination questions with solutions 1. Suppose that H is a proper subgroup of Z under addition and H contains 18, 30 and 40, Determine H. Solution. Since gcd(18,

More information

3.1 Solving Systems Using Tables and Graphs

3.1 Solving Systems Using Tables and Graphs Algebra 2 Chapter 3 3.1 Solve Systems Using Tables & Graphs 3.1 Solving Systems Using Tables and Graphs A solution to a system of linear equations is an that makes all of the equations. To solve a system

More information

3. Linear Programming and Polyhedral Combinatorics

3. Linear Programming and Polyhedral Combinatorics Massachusetts Institute of Technology Handout 6 18.433: Combinatorial Optimization February 20th, 2009 Michel X. Goemans 3. Linear Programming and Polyhedral Combinatorics Summary of what was seen in the

More information

Tool 1. Greatest Common Factor (GCF)

Tool 1. Greatest Common Factor (GCF) Chapter 4: Factoring Review Tool 1 Greatest Common Factor (GCF) This is a very important tool. You must try to factor out the GCF first in every problem. Some problems do not have a GCF but many do. When

More information

Matrix Algebra. Some Basic Matrix Laws. Before reading the text or the following notes glance at the following list of basic matrix algebra laws.

Matrix Algebra. Some Basic Matrix Laws. Before reading the text or the following notes glance at the following list of basic matrix algebra laws. Matrix Algebra A. Doerr Before reading the text or the following notes glance at the following list of basic matrix algebra laws. Some Basic Matrix Laws Assume the orders of the matrices are such that

More information

Section IV.1: Recursive Algorithms and Recursion Trees

Section IV.1: Recursive Algorithms and Recursion Trees Section IV.1: Recursive Algorithms and Recursion Trees Definition IV.1.1: A recursive algorithm is an algorithm that solves a problem by (1) reducing it to an instance of the same problem with smaller

More information

6.4 Special Factoring Rules

6.4 Special Factoring Rules 6.4 Special Factoring Rules OBJECTIVES 1 Factor a difference of squares. 2 Factor a perfect square trinomial. 3 Factor a difference of cubes. 4 Factor a sum of cubes. By reversing the rules for multiplication

More information

Regular Expressions with Nested Levels of Back Referencing Form a Hierarchy

Regular Expressions with Nested Levels of Back Referencing Form a Hierarchy Regular Expressions with Nested Levels of Back Referencing Form a Hierarchy Kim S. Larsen Odense University Abstract For many years, regular expressions with back referencing have been used in a variety

More information

Cubes and Cube Roots

Cubes and Cube Roots CUBES AND CUBE ROOTS 109 Cubes and Cube Roots CHAPTER 7 7.1 Introduction This is a story about one of India s great mathematical geniuses, S. Ramanujan. Once another famous mathematician Prof. G.H. Hardy

More information

Lights and Darks of the Star-Free Star

Lights and Darks of the Star-Free Star Lights and Darks of the Star-Free Star Edward Ochmański & Krystyna Stawikowska Nicolaus Copernicus University, Toruń, Poland Introduction: star may destroy recognizability In (finitely generated) trace

More information