DOCSLIB.ORG

TRIPLE SYSTEM and FANO PLANE STRUCTURE in Zn

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
TRIPLE SYSTEM and FANO PLANE STRUCTURE in Zn ∗ TRIPLE SYSTEM AND FANO PLANE STRUCTURE IN Zn Dennis Kinoti Gikunda A research project submitted in partial fulfilment of the requirements for the award of the degree of Masters of Science (Pure Mathematics) in the School of Pure and Applied Sciences, Kenyatta University December 2020 ii DECLARATION Declaration by the Candidate This project is my original work and has not been published or presented for a degree award in any other university or any other award. Signature............................. Date..................................... Dennis Kinoti Gikunda I56/37638/2017 Declaration by the supervisor This project has been submitted for examination with my approval as the University supervisor. Signature................................ Date........................................ Dr.Benard Kivunge Mathematics Department, Kenyatta University, Kenya. iii DEDICATION This work is dedicated to the community of researchers, in the field of modern number theory, combinatorics and computer science. It's my hope that this work will be put into use, in building secure algorithms for cryptography. iv ACKNOWLEDGEMENT I sincerely acknowledge with thanks, my family members, for their unwavering support in the entire period of this study. No words can express my gratitude to you for your precious support. You're my rock { I am blessed to have you. Thanks a lot. Church family, your prayers and encouragement have born fruits. The Gospel is indeed bearing much fruit of its own inherent power. To my friends, I'm grateful for cheering me on, through this course of life. I sincerely thank you for always giving me an extra push { through words of encouragement and applauding my efforts after every successful step completed. To my colleagues Waweru, Maina, Tanui, Kioko, Ogeto and Kinyanjui, I am grateful that you made the struggles bearable. I now understand why they say, \on the road to success, there is always we, not me." We were a rare unit of support. In my next level, I hope to do it again with you, or better still, colleagues like you. In a world where academic supervisors are largely blamed for delayed research, I wish to sincerely appreciate my supervisor, Dr. Bernard Kivunge for valued support through out my study. You are a true leader. I proudly applause you as my academic mentor. When I start to practise, I definitely want to be like you. This appreciation extends to the other lecturers from Mathematics Department, Kenyatta University, for rightly equipping us. Finally and most importantly, all glory to the Almighty God for the opportunity, strength and provision of all that I needed for this journey. Indeed, You are a Faithful God. v ABSTRACT A triple system is an absolutely fascinating concept in projective geometry. This project is an extension of previously done work on triple systems, specifically the triples that fit into a Fano plane and the (i, j, k) triples of the quaternion group. Here, we have explored and determined ∗ m the existence of triple systems in Zn for n = p, n = pq, n = 2 p and n = pqr with m 2 N, ∗ p; q; r 2 P, and p > q > r. A triple system in Zn has been denoted by (k1; k2; k3) where there 2 exists ki > 1, i = 1; 2; 3, such that ki ≡ 1(mod n) with k1k2 ≡ k3(mod n), k1k3 ≡ k2 (mod ∗ n) and k2k3 ≡ k1 (mod n). We have successfully proved that there exists no triples in Zn, for ∗ n = p and n = 2p, p 2 P. Further, we have established the existence of triples in Zn, for m n = pq, n = 2 p and n = pqr, where m 2 N, p; q; r are odd primes and p > q > r. Finally, ∗ m we have fitted the triples of Zn, n = 2 p and n = pqr into Fano Planes. TABLE OF CONTENTS DECLARATION ..................................... ii DEDICATION ...................................... iii ACKNOWLEDGEMENT ................................ iv ABSTRACT ........................................ v TABLE OF CONTENTS ................................ vi LIST OF TABLES . viii LIST OF FIGURES ................................... ix NOTATIONS ........................................ x Chapter 1. INTRODUCTION 1 1.1 Background Information . 1 1.2 Definition of Terms . 3 1.3 Statement of the Problem . 7 1.4 Objectives of the Study . 7 1.4.1 Main Objective . 7 1.4.2 Specific Objectives . 7 1.5 Significance of the Study . 8 Chapter 2. LITERATURE REVIEW 9 2.1 Introduction . 9 2.2 Triple Systems . 9 2.3 Steiner Triple Systems and Fano Planes . 11 2.4 Euler's Totient Function . 12 Chapter 3. RESEARCH METHODOLOGY 14 3.1 Introduction . 14 3.2 Research Design . 14 vi vii 3.3 Methodology . 14 Chapter 4. MAIN RESULTS 16 ∗ 4.1 Triple System and Fano Plane Structure in Zn, for n = p, p 2 P: . 16 ∗ m 4.2 Triple System and Fano Plane Structure in Zn, for n = 2 p, p 2 P, m 2 N . 18 ∗ 4.3 Triple System and Fano Plane Structure in Zn, for n = pq, p; q 2 P, with p > q > 2 30 ∗ 4.4 Triple System and Fano Plane Structure in Zn, for n = pqr, p; q; r 2 P, with p > q > r ........................................ 45 Chapter 5. CONCLUSIONS AND RECOMMENDATIONS 58 5.1 Conclusion . 58 5.2 Recommendations . 59 REFERENCES ...................................... 60 List of Tables 4.1 Multiplication table for k2(mod p) .......................... 17 4.2 Multiplication table for k2(mod 2p).......................... 19 4.3 Triple systems in n = 22p ............................... 21 4.4 Triple systems in n = 2mp ............................... 23 4.5 Triple systems in n = 3p ............................... 33 4.6 Triple systems in n = 5p ............................... 35 4.7 Triple systems in n = 7p ............................... 37 4.8 Triple systems in n = 11p ............................... 39 4.9 Triple systems in n = 13p ............................... 42 4.10 Triple systems in n = pqr ............................... 47 viii List of Figures ∗ 4.1 Fano Plane Structure for Z24 ............................. 25 ∗ 4.2 Fano Plane Structure for Z80 ............................. 26 ∗ 4.3 Fano Plane Structure for Z224 ............................. 28 ∗ 4.4 Fano Plane Structure for Z704 ............................. 29 ∗ 4.5 Fano Plane Structure for Z105 ............................. 49 ∗ 4.6 Fano Plane Structure for Z165 ............................. 51 ∗ 4.7 Fano Plane Structure for Z195 ............................. 53 ∗ 4.8 Fano Plane Structure for Z455 ............................. 55 ∗ 4.9 Fano Plane Structure for Z1001 ............................ 57 ix x NOTATIONS P - Set of prime numbers N - Set of natural numbers Z - Set of integers R - Set of real numbers C - Set of complex numbers R - A ring R∗ - The set of units in a ring R H - The quaternion group Zn - The set of integers modulo n ∗ Zn - The set of units in Zn also known as the multiplicative group of Zn ' - Eulers phi function. Chapter 1. INTRODUCTION 1.1 Background Information Any natural number n can be expressed uniquely as a product of primes, for n 6= 0; 1. This implies that prime factors are the `building blocks' for any n 2 N. Mathematicians find delight in understanding the compositional properties of the primes and try to figure out the structure of their sequence (if any exists). The nature of their existence makes them useful in puzzles, cryptography and generation of security codes. Most of the common private and public key cryptographic systems rely on prime numbers and their role in decomposing other numbers into prime components by factorisation. Considering a case study of RSA (Rivest-Shamir-Adleman), which is an algorithm used to encrypt and decrypt messages by modern computers, a pair of same size prime numbers is needed for every key pair. RSA system is popularly used, an example is SSL (Secure Socket Layer) which is used in https (secure http). While using \secure sites" on the internet, the computer generates both private and public keys for the user. The private key ensures that all personal details like passwords and credit card details remain a secret while on the sites. Examples of such sites include emails and online-pay services. Thanks to Euclid's proof that there exist infinitely many prime numbers, in cryptography there are many choice numbers to use as keys or use in generating of keys. This makes it hard for a third party to accurately guess by generating all keys especially those equal to or above 512 − bit, hence guaranteeing secure algorithms. The prime number theorem has an interesting corollary: Let x be a random \large" number. The possibility of x being a prime number is 1=ln x. Taking a random string of size n − bit and setting 1 as the least significant bit so that it's always an odd number, the probability of having n as a prime is 1=n (ln 2). From this formula, if you use a 1024 − bit prime, the odds of getting the right code is 1 in 700. With larger primes, the odds get lower. This makes it 1 2 suitable and more secure to use prime numbers as keys or components for key generation, provided there is an effective way of testing whether a number is prime. Galbreath (2003) discusses Miller-Rabin test and the APR test as the common probabilistic tests for primality. In recent years, mathematicians have made a considerably great progress in a sub-branch of mathematics that concern finite geometries. Herein, we find the concept of triple systems referring to a vector space V over a field K together with K- trilinear mapping V ⊗ V ⊗ V ! V . Girard Desargues (1591 − 1661) discovered the projective geometry derived from Euclidean geometry, which involved 3- dimension finite geometry. An Italian mathematician, Gino Fano (1871 − 1952) later discussed the 3-dimension finite geometry with 3 points in each line and 7 points on each plane. The total number of points was 15, with 35 lines and 15 planes. The 3 points on each line form unique triple systems. Another interesting triple is the (i; j; k) triples of the quaternion group, denoted by H = {±1; ±i; ±j; ±kg.
Load more

Recommended publications
  • Projective Planarity of Matroids of 3-Nets and Biased Graphs
    AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 76(2) (2020), Pages 299–338 Projective planarity of matroids of 3-nets and biased graphs Rigoberto Florez´ ∗ Deptartment of Mathematical Sciences, The Citadel Charleston, South Carolina 29409 U.S.A. [email protected] Thomas Zaslavsky† Department of Mathematical Sciences, Binghamton University Binghamton, New York 13902-6000 U.S.A. [email protected] Abstract A biased graph is a graph with a class of selected circles (“cycles”, “cir- cuits”), called “balanced”, such that no theta subgraph contains exactly two balanced circles. A 3-node biased graph is equivalent to an abstract partial 3-net. We work in terms of a special kind of 3-node biased graph called a biased expansion of a triangle. Our results apply to all finite 3-node biased graphs because, as we prove, every such biased graph is a subgraph of a finite biased expansion of a triangle. A biased expansion of a triangle is equivalent to a 3-net, which, in turn, is equivalent to an isostrophe class of quasigroups. A biased graph has two natural matroids, the frame matroid and the lift matroid. A classical question in matroid theory is whether a matroid can be embedded in a projective geometry. There is no known general answer, but for matroids of biased graphs it is possible to give algebraic criteria. Zaslavsky has previously given such criteria for embeddability of biased-graphic matroids in Desarguesian projective spaces; in this paper we establish criteria for the remaining case, that is, embeddability in an arbitrary projective plane that is not necessarily Desarguesian.
    [Show full text]
  • Octonion Multiplication and Heawood's
    CONFLUENTES MATHEMATICI Bruno SÉVENNEC Octonion multiplication and Heawood’s map Tome 5, no 2 (2013), p. 71-76. <http://cml.cedram.org/item?id=CML_2013__5_2_71_0> © Les auteurs et Confluentes Mathematici, 2013. Tous droits réservés. L’accès aux articles de la revue « Confluentes Mathematici » (http://cml.cedram.org/), implique l’accord avec les condi- tions générales d’utilisation (http://cml.cedram.org/legal/). Toute reproduction en tout ou partie de cet article sous quelque forme que ce soit pour tout usage autre que l’utilisation á fin strictement personnelle du copiste est constitutive d’une infrac- tion pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. cedram Article mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques http://www.cedram.org/ Confluentes Math. 5, 2 (2013) 71-76 OCTONION MULTIPLICATION AND HEAWOOD’S MAP BRUNO SÉVENNEC Abstract. In this note, the octonion multiplication table is recovered from a regular tesse- lation of the equilateral two timensional torus by seven hexagons, also known as Heawood’s map. Almost any article or book dealing with Cayley-Graves algebra O of octonions (to be recalled shortly) has a picture like the following Figure 0.1 representing the so-called ‘Fano plane’, which will be denoted by Π, together with some cyclic ordering on each of its ‘lines’. The Fano plane is a set of seven points, in which seven three-point subsets called ‘lines’ are specified, such that any two points are contained in a unique line, and any two lines intersect in a unique point, giving a so-called (combinatorial) projective plane [8,7].
    [Show full text]
  • The Fact of Modern Mathematics: Geometry, Logic, and Concept Formation in Kant and Cassirer
    THE FACT OF MODERN MATHEMATICS: GEOMETRY, LOGIC, AND CONCEPT FORMATION IN KANT AND CASSIRER by Jeremy Heis B.A., Michigan State University, 1999 Submitted to the Graduate Faculty of Arts and Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy University of Pittsburgh 2007 UNIVERSITY OF PITTSBURGH COLLEGE OF ARTS AND SCIENCES This dissertation was presented by Jeremy Heis It was defended on September 5, 2007 and approved by Jeremy Avigad, Associate Professor, Philosophy, Carnegie Mellon University Stephen Engstrom, Associate Professor, Philosophy, University of Pittsburgh Anil Gupta, Distinguished Professor, Philosophy, University of Pittsburgh Kenneth Manders, Associate Professor, Philosophy, University of Pittsburgh Thomas Ricketts, Professor, Philosophy, University of Pittsburgh Dissertation Advisor: Mark Wilson, Professor, Philosophy, University of Pittsburgh ii Copyright © by Jeremy Heis 2007 iii THE FACT OF MODERN MATHEMATICS: GEOMETRY, LOGIC, AND CONCEPT FORMATION IN KANT AND CASSIRER Jeremy Heis, PhD University of Pittsburgh, 2007 It is now commonly accepted that any adequate history of late nineteenth and early twentieth century philosophy—and thus of the origins of analytic philosophy—must take seriously the role of Neo-Kantianism and Kant interpretation in the period. This dissertation is a contribution to our understanding of this interesting but poorly understood stage in the history of philosophy. Kant’s theory of the concepts, postulates, and proofs of geometry was informed by philosophical reflection on diagram-based geometry in the Greek synthetic tradition. However, even before the widespread acceptance of non-Euclidean geometry, the projective revolution in nineteenth century geometry eliminated diagrams from proofs and introduced “ideal” elements that could not be given a straightforward interpretation in empirical space.
    [Show full text]
  • Matroids You Have Known
    26 MATHEMATICS MAGAZINE Matroids You Have Known DAVID L. NEEL Seattle University Seattle, Washington 98122 [email protected] NANCY ANN NEUDAUER Pacific University Forest Grove, Oregon 97116 nancy@pacificu.edu Anyone who has worked with matroids has come away with the conviction that matroids are one of the richest and most useful ideas of our day. —Gian Carlo Rota [10] Why matroids? Have you noticed hidden connections between seemingly unrelated mathematical ideas? Strange that finding roots of polynomials can tell us important things about how to solve certain ordinary differential equations, or that computing a determinant would have anything to do with finding solutions to a linear system of equations. But this is one of the charming features of mathematics—that disparate objects share similar traits. Properties like independence appear in many contexts. Do you find independence everywhere you look? In 1933, three Harvard Junior Fellows unified this recurring theme in mathematics by defining a new mathematical object that they dubbed matroid [4]. Matroids are everywhere, if only we knew how to look. What led those junior-fellows to matroids? The same thing that will lead us: Ma- troids arise from shared behaviors of vector spaces and graphs. We explore this natural motivation for the matroid through two examples and consider how properties of in- dependence surface. We first consider the two matroids arising from these examples, and later introduce three more that are probably less familiar. Delving deeper, we can find matroids in arrangements of hyperplanes, configurations of points, and geometric lattices, if your tastes run in that direction.
    [Show full text]
  • The Turan Number of the Fano Plane
    Combinatorica (5) (2005) 561–574 COMBINATORICA 25 Bolyai Society – Springer-Verlag THE TURAN´ NUMBER OF THE FANO PLANE PETER KEEVASH, BENNY SUDAKOV* Received September 17, 2002 Let PG2(2) be the Fano plane, i.e., the unique hypergraph with 7 triples on 7 vertices in which every pair of vertices is contained in a unique triple. In this paper we prove that for sufficiently large n, the maximum number of edges in a 3-uniform hypergraph on n vertices not containing a Fano plane is n n/2 n/2 ex n, P G (2) = − − . 2 3 3 3 Moreover, the only extremal configuration can be obtained by partitioning an n-element set into two almost equal parts, and taking all the triples that intersect both of them. This extends an earlier result of de Caen and F¨uredi, and proves an old conjecture of V. S´os. In addition, we also prove a stability result for the Fano plane, which says that a 3-uniform hypergraph with density close to 3/4 and no Fano plane is approximately 2-colorable. 1. Introduction Given an r-uniform hypergraph F,theTur´an number of F is the maximum number of edges in an r-uniform hypergraph on n vertices that does not contain a copy of F. We denote this number by ex(n,F). Determining these numbers is one of the central problems in Extremal Combinatorics, and it is well understood for ordinary graphs (the case r =2). It is completely solved for many instances, including all complete graphs. Moreover, asymptotic results are known for all non-bipartite graphs.
    [Show full text]
  • Finite Projective Geometry 2Nd Year Group Project
    Finite Projective Geometry 2nd year group project. B. Doyle, B. Voce, W.C Lim, C.H Lo Mathematics Department - Imperial College London Supervisor: Ambrus Pal´ June 7, 2015 Abstract The Fano plane has a strong claim on being the simplest symmetrical object with inbuilt mathematical structure in the universe. This is due to the fact that it is the smallest possible projective plane; a set of points with a subsets of lines satisfying just three axioms. We will begin by developing some theory direct from the axioms and uncovering some of the hidden (and not so hidden) symmetries of the Fano plane. Alternatively, some projective planes can be derived from vector space theory and we shall also explore this and the associated linear maps on these spaces. Finally, with the help of some theory of quadratic forms we will give a proof of the surprising Bruck-Ryser theorem, which shows that if a projective plane has order n congruent to 1 or 2 mod 4, then n is the sum of two squares. Thus we will have demonstrated fascinating links between pure mathematical disciplines by incorporating the use of linear algebra, group the- ory and number theory to explain the geometric world of projective planes. 1 Contents 1 Introduction 3 2 Basic Defintions and results 4 3 The Fano Plane 7 3.1 Isomorphism and Automorphism . 8 3.2 Ovals . 10 4 Projective Geometry with fields 12 4.1 Constructing Projective Planes from fields . 12 4.2 Order of Projective Planes over fields . 14 5 Bruck-Ryser 17 A Appendix - Rings and Fields 22 2 1 Introduction Projective planes are geometrical objects that consist of a set of elements called points and sub- sets of these elements called lines constructed following three basic axioms which give the re- sulting object a remarkable level of symmetry.
    [Show full text]
  • Geometry of the Mathieu Groups and Golay Codes
    Proc. Indian Acad. Sci. (Math. Sci.), Vol. 98, Nos 2 and 3, December 1988, pp. 153-177. 9 Printed in India. Geometry of the Mathieu groups and Golay codes ERIC A LORD Centre for Theoretical Studies and Department of Applied Mathematics, Indian Institute of Science, Bangalore 560012, India MS received 11 January 1988 Abstraet. A brief review is given of the linear fractional subgroups of the Mathieu groups. The main part of the paper then deals with the proj~x-~tiveinterpretation of the Golay codes; these codes are shown to describe Coxeter's configuration in PG(5, 3) and Todd's configuration in PG(11, 2) when interpreted projectively. We obtain two twelve-dimensional representations of M24. One is obtained as the coUineation group that permutes the twelve special points in PC,(11, 2); the other arises by interpreting geometrically the automorphism group of the binary Golay code. Both representations are reducible to eleven-dimensional representations of M24. Keywords. Geometry; Mathieu groups; Golay codes; Coxeter's configuration; hemi- icosahedron; octastigms; dodecastigms. 1. Introduction We shall first review some of the known properties of the Mathieu groups and their linear fractional subgroups. This is mainly a brief resum6 of the first two of Conway's 'Three Lectures on Exceptional Groups' [3] and will serve to establish the notation and underlying concepts of the subsequent sections. The six points of the projective line PL(5) can be labelled by the marks of GF(5) together with a sixth symbol oo defined to be the inverse of 0. The symbol set is f~ = {0 1 2 3 4 oo}.
    [Show full text]
  • Spanning Sets and Scattering Sets in Steiner Triple Systems
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF COMBINATORIAL THEORY, %XieS A 57, 4659 (1991) Spanning Sets and Scattering Sets in Steiner Triple Systems CHARLESJ. COLBOURN Department of Combinatorics and Optimization, University of Waterloo, Waterloo. Ontario, N2L 3G1, Canada JEFFREYH. DMTZ Department of Mathematics, University of Vermont, Burlington, Vermont 05405 AND DOUGLASR. STINSON Department of Computer Science, University of Manitoba, Winnipeg, Manitoba, R3T 2N2, Canada Communicated by the Managing Editors Received August 15, 1988 A spanning set in a Steiner triple system is a set of elements for which each element not in the spanning set appears in at least one triple with a pair of elements from the spanning set. A scattering set is a set of elements that is independent, and for which each element not in the scattering set is in at most one triple with a pair of elements from the scattering set. For each v = 1,3 (mod 6), we exhibit a Steiner triple system with a spanning set of minimum cardinality, and a Steiner triple system with a scattering set of maximum cardinality. In the process, we establish the existence of Steiner triple systems with complete arcs of the minimum possible cardinality. 0 1991 Academic Press, Inc. 1. BACKGROUND A Steiner triple system of order u, or STS(u), is a v-element set V, and a set g of 3-element subsets of V called triples, for which each pair of elements from V appears in precisely one triple of 9% For XG V, the spannedsetV(X)istheset {~EV\X:{~,~,~)E~,~,~EX}.A~~~XEV 46 0097-3165/91 $3.00 Copyright 0 1991 by Academic Press, Inc.
    [Show full text]
  • Weak Orientability of Matroids and Polynomial Equations
    WEAK ORIENTABILITY OF MATROIDS AND POLYNOMIAL EQUATIONS J.A. DE LOERA1, J. LEE2, S. MARGULIES3, AND J. MILLER4 Abstract. This paper studies systems of polynomial equations that provide information about orientability of matroids. First, we study systems of linear equations over F2, originally alluded to by Bland and Jensen in their seminal paper on weak orientability. The Bland-Jensen linear equations for a matroid M have a solution if and only if M is weakly orientable. We use the Bland-Jensen system to determine weak orientability for all matroids on at most nine elements and all matroids between ten and twelve elements having rank three. Our experiments indicate that for small rank, about half the time, when a simple matroid is not orientable, it is already non-weakly orientable, and further this may happen more often as the rank increases. Thus, about half of the small simple non-orientable matroids of rank three are not representable over fields having order congruent to three modulo four. For binary matroids, the Bland-Jensen linear systems provide a practical way to check orientability. Second, we present two extensions of the Bland-Jensen equations to slightly larger systems of non-linear polynomial equations. Our systems of polynomial equations have a solution if and only if the associated matroid M is orientable. The systems come in two versions, one directly extending the Bland-Jensen system for F2, and a different system working over other fields. We study some basic algebraic properties of these systems. Finally, we present an infinite family of non-weakly-orientable matroids, with growing rank and co-rank.
    [Show full text]
  • Probabilistic Combinatorics and the Recent Work of Peter Keevash
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 54, Number 1, January 2017, Pages 107–116 http://dx.doi.org/10.1090/bull/1553 Article electronically published on September 14, 2016 PROBABILISTIC COMBINATORICS AND THE RECENT WORK OF PETER KEEVASH W. T. GOWERS 1. The probabilistic method A graph is a collection of points, or vertices, some of which are joined together by edges. Graphs can be used to model a wide range of phenomena: whenever you have a set of objects such that any two may or may not be related in a certain way, then you have a graph. For example, the vertices could represent towns and the edges could represent roads from one town to another, or the vertices could represent people, with an edge joining two people if they know each other, or the vertices could represent countries, with an edge joining two countries if they border each other, or the vertices could represent websites, with edges representing links from one site to another (in this last case the edges have directions—a link is from one website to another—so the resulting mathematical structure is called a directed graph). Mathematically, a graph is a very simple object. It can be defined formally as simply a set V of vertices and a set E of unordered pairs of vertices from V .For example, if we take V = {1, 2, 3, 4} and E = {12, 23, 34, 14} (using ab as shorthand for {a, b}), then we obtain a graph known as the 4-cycle. Despite the simplicity and apparent lack of structure of a general graph, there turn out to be all sorts of interesting questions one can ask about them.
    [Show full text]
  • Projective Planes
    Projective Planes A projective plane is an incidence system of points and lines satisfying the following axioms: (P1) Any two distinct points are joined by exactly one line. (P2) Any two distinct lines meet in exactly one point. (P3) There exists a quadrangle: four points of which no three are collinear. In class we will exhibit a projective plane with 57 points and 57 lines: the game of The Fano Plane (of order 2): SpotIt®. (Actually the game is sold with 7 points, 7 lines only 55 lines; for the purposes of this 3 points on each line class I have added the two missing lines.) 3 lines through each point The smallest projective plane, often called the Fano plane, has seven points and seven lines, as shown on the right. The Projective Plane of order 3: 13 points, 13 lines The second smallest 4 points on each line projective plane, 4 lines through each point having thirteen points 0, 1, 2, …, 12 and thirteen lines A, B, C, …, M is shown on the left. These two planes are coordinatized by the fields of order 2 and 3 respectively; this accounts for the term ‘order’ which we shall define shortly. Given any field 퐹, the classical projective plane over 퐹 is constructed from a 3-dimensional vector space 퐹3 = {(푥, 푦, 푧) ∶ 푥, 푦, 푧 ∈ 퐹} as follows: ‘Points’ are one-dimensional subspaces 〈(푥, 푦, 푧)〉. Here (푥, 푦, 푧) ∈ 퐹3 is any nonzero vector; it spans a one-dimensional subspace 〈(푥, 푦, 푧)〉 = {휆(푥, 푦, 푧) ∶ 휆 ∈ 퐹}.
    [Show full text]
  • The Structure of Binary Matroids with No Induced Claw Or Fano Plane Restriction
    ADVANCES IN COMBINATORICS, 2019:1, 17 pp. www.advancesincombinatorics.com The Structure of Binary Matroids with no Induced Claw or Fano Plane Restriction Marthe Bonamy František Kardoš Tom Kelly Peter Nelson Luke Postle Received 11 June 2018; Published 30 October 2019 Abstract: An induced restriction of a simple binary matroid M is a restriction MjF, where F is a flat of M. We consider the class M of all simple binary matroids M containing neither a free matroid on three elements (which we call a claw), nor a Fano plane as an induced restriction. We give an exact structure theorem for this class; two of its consequences are that the matroids in M have unbounded critical number, while the matroids in M not containing the clique M(K5) as an induced restriction have critical number at most 2. Key words and phrases: matroid, induced. 1 Introduction This paper considers questions from the theory of induced subgraphs in the setting of simple binary matroids. We adopt a nonstandard formalism of binary matroids, incorporating the notion of an ‘ambient arXiv:1806.04188v4 [math.CO] 13 Nov 2019 space’ into the definition of a matroid itself. A simple binary matroid (hereafter just a matroid) is a pair M = (E;G), where G is a finite-dimensional binary projective geometry and the ground set E is a subset of (the points of) G. The dimension of M is the dimension of G. If E = G, then we refer to M itself as a projective geometry. If no proper subgeometry of G contains E, then M is full-rank.
    [Show full text]