Analytical Geometry. 2.4 The Hyperbolic Quadric of PG(3,F)
|
|
- Emmeline Douglas
- 5 years ago
- Views:
Transcription
1 Analytical Geometry 2.4 The Hyperbolic Quadric of PG(3,F)
2 Transversals Def: A set of subspaces of a projective space are skew if no two of them have a point in common. A line is called a transversal of a set of skew subspaces if it intersects each in exactly one point. Lemma 2.4.1: Let P be a projective space. Let be two skew lines, and denote by P a point on neither line. Then there is at most one transversal of through P. If P is 3-dimensional then there is exactly one transversal of through P. Pf: Assume that there are two transversals through P. These two lines span a plane which contains, a contradiction.
3 Transversals Lemma 2.4.1: Let P be a projective space. Let be two skew lines, and denote by P a point on neither line. Then there is at most one transversal of through P. If P is 3-dimensional then there is exactly one transversal of through P. Pf (cont.): Now suppose that P is 3-dimensional. The plane <P, must intersect the line g 2 in some point Q (since the plane is a hyperplane). The line PQ lies in the plane and so intersects the line. PQ is thus a transversal through P.
4 The 16 Point Theorem Theorem 2.4.2: Let P be a 3-dimensional projective space over the division ring F. Let { } and {h 1 } be sets of skew lines with the property that each line g i meets each line h j. Then F is commutative (hence a field) if and only if each transversal g of {h 1 } meets each transversal h of { }. Pf: Consider this diagram: h 1 h 2 h 3 <v 2 + v 2 g 2 <v 3 <v 4 + v 3 <v 3 + v 4
5 The 16 Point Theorem Theorem 2.4.2: Let P be a 3-dimensional projective space over the division ring F. Let { } and {h 1 } be sets of skew lines with the property that each line g i meets each line h j. Then F is commutative (hence a field) if and only if each transversal g of {h 1 } meets each transversal h of { }. Pf(cont.): h1 h 2 h 3 g 2 <v 2 <v 3 <v 4 + v 3 + v 2 h 2 = <v 2 + av 4. And h 3 = <v 3 + v 4 <v 2 + v 4 +v 2 +v 3 +v 4 <b(v 1 +v 3 ) + c(v 2 +av 4 ) = <d(v 1 +v 2 ) + e(v 3 +v 4 ). Equating the coefficients: b = d c = d b = e ca = e b = c = d = e and a = 1.
6 The 16 Point Theorem Theorem 2.4.2: Let P be a 3-dimensional projective space over the division ring F. Let { } and {h 1 } be sets of skew lines with the property that each line g i meets each line h j. Then F is commutative (hence a field) if and only if each transversal g of {h 1 } meets each transversal h of { }. Pf(cont.): h1 h 2 h 3 <v 2 + v 2 h + bv 2 g 2 g <v 3 <v 4 <v 3 + v 4 + v 3 <v 2 + v 4 +v 2 +v 3 +v 4 + av 3 Claim: g meets h iff ab = ba.
7 Pf(cont.): h1 h 2 h 3 g 2 g The 16 Point Theorem <v 2 <v 3 <v 4 + v 3 + av 3 + v 2 <v 3 + v 4 <v 2 + v 4 +v 2 +v 3 +v 4 h + bv 2 <v 2 + av 4 is on h 2, +v 2 + a(v 3 +v 4 ) is on h 3. Since v 1 + av 3 = v 1 + v 2 + a(v 3 +v 4 ) (v 2 + av 4 ), + av 3 is on the line determined by those two points, and since there is only one transversal to h 2 and h 3 through +av 3 this line must be g. So g = + av 3, v 2 + av 4 and similarly, h = + bv 2, v 3 + bv 4.
8 The 16 Point Theorem Theorem 2.4.2: Let P be a 3-dimensional projective space over the division ring F. Let { } and {h 1 } be sets of skew lines with the property that each line g i meets each line h j. Then F is commutative (hence a field) if and only if each transversal g of {h 1 } meets each transversal h of { }. Pf(cont.): If there is a point in the intersection of the subspaces g and h, there are scalars x,y,z and w such that: x(v 1 +av 3 ) + y(v 2 +av 4 ) = z(v 1 +bv 2 ) + w(v 3 +bv 4 ). By the independence of the vectors, we can equate coefficients: x = z, y = zb, xa = w and ya = wb. But then, xba = zba = ya = wb = xab. If x = 0, then z = y = w = 0 and there is no point of intersection. Otherwise, we get ba = ab. Conversely, if ab = ba, then + av 3 + bv 2 + bav 4 is a common point of g and h.
9 Reguli Def: Let P be a 3-dimensional projective space. A nonempty set R of skew lines of P is called a regulus if: a. Through each point of each line of R there is a transversal of R. b. Through each point of a transversal of R there is a line of R. The set R' of all transversals of a regulus R is itself a regulus, called the opposite regulus of R. If P has finite order q then any regulus consists of exactly q+1 lines.
10 Existence of Reguli Theorem 2.4.3: Let P be a 3-dimensional projective space over the division ring F. Let be three skew lines of P. Then a. There is at most one regulus containing. b. If F is non-commutative (a skewfield) then there is no regulus in P. c. If F is commutative (a field) then there is exactly one regulus through. Pf: (a) Each point of is on exactly one transversal of. Let R' be the set of these transversals. Any regulus containing, g 2 and must therefore have R' as its set of transversals. Since contains at least three points, there are at least three transversals in R', h 1, h 2 and h 3.
11 Existence of Reguli Theorem 2.4.3: Let P be a 3-dimensional projective space over the division ring F. Let be three skew lines of P. Then a. There is at most one regulus containing. b. If F is non-commutative (a skewfield) then there is no regulus in P. c. If F is commutative (a field) then there is exactly one regulus through. Pf(cont.): (a) Let P be a point on h 1 that is not incident with, g 2 or. Any regulus R containing, g 2, has the property that the line of R through P is necessarily a transversal of h 1, h 2, h 3 through P. Since there can be only one such line, the lines in R are uniquely determined. (b) and (c) follow directly from the 16-point theorem.
12 The Hyperbolic Quadric of PG(3,F) Theorem 2.4.4: Let P be a 3-dimensional projective space over the field F which is represented by homogeneous coordinates. Let = <(1:0:0:0), (0:1:0:0), g 2 = <(0:0:1:0), (0:0:0:1), = <(1:0:1:0), (0:1:0:1) be three skew lines. Then the set Q of points on the uniquely determined regulus R through, g 2, can be described as Q = {(a 0 :a 1 :a 2 :a 3 ) a 0 a 3 = a 1 a 2 with a i F, not all a i = 0}; therefore, the coordinates of the points of Q satisfy the quadratic equation x 0 x 3 - x 1 x 2 = 0.
13 The Hyperbolic Quadric of PG(3,F) Theorem 2.4.4: Let P be a 3-dimensional projective space over the field F which is represented by homogeneous coordinates. Let = <(1:0:0:0), (0:1:0:0), g 2 = <(0:0:1:0), (0:0:0:1), = <(1:0:1:0), (0:1:0:1) be three skew lines. Then the set Q of points on the uniquely determined regulus R through, g 2, can be described as Q = {(a 0 :a 1 :a 2 :a 3 ) a 0 a 3 = a 1 a 2 with a i F, not all a i = 0}; and the coordinates of the points of Q satisfy the quadratic equation x 0 x 3 - x 1 x 2 = 0. Pf: Using the notation in Theorem 2.4.2, let v 1 = (1:0:0:0), v 2 = (0:1:0:0), v 3 = (0:0:1:0) and v 4 = (0:0:0:1). The points of Q have the form + av 3 + bv 2 + abv 4 (from the proof of 2.4.2) for arbitrary choices of a and b in F. In homogeneous coordinates, such a point is (1:a:b:ab) and so satisfies x 0 x 3 - x 1 x 2 = 0.
14 The Hyperbolic Quadric of PG(3,F) Theorem 2.4.4: Let P be a 3-dimensional projective space over the field F which is represented by homogeneous coordinates. Let = <(1:0:0:0), (0:1:0:0), g 2 = <(0:0:1:0), (0:0:0:1), = <(1:0:1:0), (0:1:0:1) be three skew lines. Then the set Q of points on the uniquely determined regulus R through, g 2, can be described as Q = {(a 0 :a 1 :a 2 :a 3 ) a 0 a 3 = a 1 a 2 with a i F, not all a i = 0}; and the coordinates of the points of Q satisfy the quadratic equation x 0 x 3 - x 1 x 2 = 0. Pf(cont.): Now suppose that a point P has coordinates (a 0 :a 1 :a 2 :a 3 ) which satisfy x 0 x 3 - x 1 x 2 = 0. If a 0 0, we can also write the coordinates of P as (a 0 :a 1 :a 2 : a 1 a 2 /a 0 ) = (1:a 1 /a 0 :a 2 /a 0 :(a 1 /a 0 )(a 2 /a 0 )) and so is a point of Q. If a 0 = 0, then either a 1 or a 2 must be 0. W.l.o.g. assume that a 1 = 0. Then P = (0:0:a 2 :a 3 ). If a 2 = 0 then P = <v 4, otherwise P I g 2. So in all cases P in Q.
15 The Hyperbolic Quadric of PG(3,F) Q is called the hyperbolic quadric of PG(3,F). Example: Consider PG(3,4). The field GF(4) = {0,1,a,a+1} where a 2 = a+1. The hyperbolic quadric Q consists of the points: (0:0:0:1) (0:0:1:0) (0:0:1:1) (0:0:1:a) (0:0:1:a 2 ) (0:1:0:0) (1:0:0:0) (1:1:0:0) (1:a:0:0) (1:a 2 :0:0) (0:1:0:1) (1:0:1:0) (1:1:1:1) (1:a:1:a) (1:a 2 :1:a 2 ) (0:1:0:a) (1:0:a:0) (1:1:a:a) (1:a:a:1) (1:a 2 :a:1) (0:1:0:a 2 ) (1:0:a 2 :0) (1:1:a 2 :a 2 ) (1:a:a 2 :1) (1:a 2 :a 2 :a) The points along each row are collinear, and the 5 lines so formed are a regulus. The points in each column are also collinear (check these statements) and these 5 lines form the opposite regulus.
Quadratic Sets 4.5 Elliptic, Parabolic and Hyperbolic Quadratic Sets
Quadratic Sets 4.5 Elliptic, Parabolic and Hyperbolic Quadratic Sets Definitions Def: Let Q be a nondegenerate quadratic set in a d-dimensional projective space P (not assumed to be finite). If d is even
More informationSynthetic Geometry. 1.4 Quotient Geometries
Synthetic Geometry 1.4 Quotient Geometries Quotient Geometries Def: Let Q be a point of P. The rank 2 geometry P/Q whose "points" are the lines of P through Q and whose "lines" are the hyperplanes of of
More information6.4 BASIS AND DIMENSION (Review) DEF 1 Vectors v 1, v 2,, v k in a vector space V are said to form a basis for V if. (a) v 1,, v k span V and
6.4 BASIS AND DIMENSION (Review) DEF 1 Vectors v 1, v 2,, v k in a vector space V are said to form a basis for V if (a) v 1,, v k span V and (b) v 1,, v k are linearly independent. HMHsueh 1 Natural Basis
More informationFunctional codes arising from quadric intersections with Hermitian varieties
Functional codes arising from quadric intersections with Hermitian varieties A. Hallez L. Storme June 16, 2010 Abstract We investigate the functional code C h (X) introduced by G. Lachaud [10] in the special
More informationFor more information visit here:
The length or the magnitude of the vector = (a, b, c) is defined by w = a 2 +b 2 +c 2 A vector may be divided by its own length to convert it into a unit vector, i.e.? = u / u. (The vectors have been denoted
More informationLax embeddings of the Hermitian Unital
Lax embeddings of the Hermitian Unital V. Pepe and H. Van Maldeghem Abstract In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital U of PG(2, L), L a quadratic
More informationComputational Methods in Finite Geometry
Computational Methods in Finite Geometry Anton Betten Colorado State University Summer School, Brighton, 2017 Topic # 4 Cubic Surfaces Cubic Surfaces with 27 Lines A cubic surface in PG(, q) is defined
More informationCOMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES
COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES ROBERT M. GURALNICK AND B.A. SETHURAMAN Abstract. In this note, we show that the set of all commuting d-tuples of commuting n n matrices that
More informationShult Sets and Translation Ovoids of the Hermitian Surface
Shult Sets and Translation Ovoids of the Hermitian Surface A. Cossidente, G. L. Ebert, G. Marino, and A. Siciliano Abstract Starting with carefully chosen sets of points in the Desarguesian affine plane
More informationFinite affine planes in projective spaces
Finite affine planes in projective spaces J. A.Thas H. Van Maldeghem Ghent University, Belgium {jat,hvm}@cage.ugent.be Abstract We classify all representations of an arbitrary affine plane A of order q
More informationIntroduction to Linear Algebra, Second Edition, Serge Lange
Introduction to Linear Algebra, Second Edition, Serge Lange Chapter I: Vectors R n defined. Addition and scalar multiplication in R n. Two geometric interpretations for a vector: point and displacement.
More informationA subset of the Hermitian surface
G page 1 / 11 A subset of the Hermitian surface Giorgio Donati Abstract Nicola Durante n this paper we define a ruled algebraic surface of PG(3, q 2 ), called a hyperbolic Q F -set and we prove that it
More informationMODEL ANSWERS TO HWK #3
MODEL ANSWERS TO HWK #3 1. Suppose that the point p = [v] and that the plane H corresponds to W V. Then a line l containing p, contained in H is spanned by the vector v and a vector w W, so that as a point
More informationEmbeddings of Small Generalized Polygons
Embeddings of Small Generalized Polygons J. A. Thas 1 H. Van Maldeghem 2 1 Department of Pure Mathematics and Computer Algebra, Ghent University, Galglaan 2, B 9000 Ghent, jat@cage.rug.ac.be 2 Department
More informationMath 54 HW 4 solutions
Math 54 HW 4 solutions 2.2. Section 2.2 (a) False: Recall that performing a series of elementary row operations A is equivalent to multiplying A by a series of elementary matrices. Suppose that E,...,
More informationDEF 1 Let V be a vector space and W be a nonempty subset of V. If W is a vector space w.r.t. the operations, in V, then W is called a subspace of V.
6.2 SUBSPACES DEF 1 Let V be a vector space and W be a nonempty subset of V. If W is a vector space w.r.t. the operations, in V, then W is called a subspace of V. HMHsueh 1 EX 1 (Ex. 1) Every vector space
More information0.2 Vector spaces. J.A.Beachy 1
J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a
More informationChapter 2: Linear Independence and Bases
MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space
More informationMath 290, Midterm II-key
Math 290, Midterm II-key Name (Print): (first) Signature: (last) The following rules apply: There are a total of 20 points on this 50 minutes exam. This contains 7 pages (including this cover page) and
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationOn the intersection of Hermitian surfaces
On the intersection of Hermitian surfaces Nicola Durante and Gary Ebert Abstract In [6] and [3] the authors determine the structure of the intersection of two Hermitian surfaces of PG(3, q 2 ) under the
More informationDerivation Techniques on the Hermitian Surface
Derivation Techniques on the Hermitian Surface A. Cossidente, G. L. Ebert, and G. Marino August 25, 2006 Abstract We discuss derivation like techniques for transforming one locally Hermitian partial ovoid
More informationPractical Linear Algebra: A Geometry Toolbox
Practical Linear Algebra: A Geometry Toolbox Third edition Chapter 4: Changing Shapes: Linear Maps in 2D Gerald Farin & Dianne Hansford CRC Press, Taylor & Francis Group, An A K Peters Book www.farinhansford.com/books/pla
More informationDefinition 1. A set V is a vector space over the scalar field F {R, C} iff. there are two operations defined on V, called vector addition
6 Vector Spaces with Inned Product Basis and Dimension Section Objective(s): Vector Spaces and Subspaces Linear (In)dependence Basis and Dimension Inner Product 6 Vector Spaces and Subspaces Definition
More informationChapter 7. Linear Algebra: Matrices, Vectors,
Chapter 7. Linear Algebra: Matrices, Vectors, Determinants. Linear Systems Linear algebra includes the theory and application of linear systems of equations, linear transformations, and eigenvalue problems.
More informationVector Spaces and Subspaces
Vector Spaces and Subspaces Our investigation of solutions to systems of linear equations has illustrated the importance of the concept of a vector in a Euclidean space. We take time now to explore the
More informationREPRESENTATION THEORY WEEK 5. B : V V k
REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +
More informationAbout Maximal Partial 2-Spreads in PG(3m 1, q)
Innovations in Incidence Geometry Volume 00 (XXXX), Pages 000 000 ISSN 1781-6475 About Maximal Partial 2-Spreads in PG(3m 1, q) Sz. L. Fancsali and P. Sziklai Abstract In this article we construct maximal
More informationLinear Algebra. Paul Yiu. 6D: 2-planes in R 4. Department of Mathematics Florida Atlantic University. Fall 2011
Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 6D: 2-planes in R 4 The angle between a vector and a plane The angle between a vector v R n and a subspace V is the
More informationChapter 1. Vectors, Matrices, and Linear Spaces
1.6 Homogeneous Systems, Subspaces and Bases 1 Chapter 1. Vectors, Matrices, and Linear Spaces 1.6. Homogeneous Systems, Subspaces and Bases Note. In this section we explore the structure of the solution
More informationWe showed that adding a vector to a basis produces a linearly dependent set of vectors; more is true.
Dimension We showed that adding a vector to a basis produces a linearly dependent set of vectors; more is true. Lemma If a vector space V has a basis B containing n vectors, then any set containing more
More informationEXERCISE SET 5.1. = (kx + kx + k, ky + ky + k ) = (kx + kx + 1, ky + ky + 1) = ((k + )x + 1, (k + )y + 1)
EXERCISE SET 5. 6. The pair (, 2) is in the set but the pair ( )(, 2) = (, 2) is not because the first component is negative; hence Axiom 6 fails. Axiom 5 also fails. 8. Axioms, 2, 3, 6, 9, and are easily
More informationApprentice Linear Algebra, 1st day, 6/27/05
Apprentice Linear Algebra, 1st day, 6/7/05 REU 005 Instructor: László Babai Scribe: Eric Patterson Definitions 1.1. An abelian group is a set G with the following properties: (i) ( a, b G)(!a + b G) (ii)
More informationVector Spaces. distributive law u,v. Associative Law. 1 v v. Let 1 be the unit element in F, then
1 Def: V be a set of elements with a binary operation + is defined. F be a field. A multiplication operator between a F and v V is also defined. The V is called a vector space over the field F if: V is
More informationFirst we introduce the sets that are going to serve as the generalizations of the scalars.
Contents 1 Fields...................................... 2 2 Vector spaces.................................. 4 3 Matrices..................................... 7 4 Linear systems and matrices..........................
More informationHyperplanes of Hermitian dual polar spaces of rank 3 containing a quad
Hyperplanes of Hermitian dual polar spaces of rank 3 containing a quad Bart De Bruyn Ghent University, Department of Mathematics, Krijgslaan 281 (S22), B-9000 Gent, Belgium, E-mail: bdb@cage.ugent.be Abstract
More informationMODEL ANSWERS TO THE FIRST QUIZ. 1. (18pts) (i) Give the definition of a m n matrix. A m n matrix with entries in a field F is a function
MODEL ANSWERS TO THE FIRST QUIZ 1. (18pts) (i) Give the definition of a m n matrix. A m n matrix with entries in a field F is a function A: I J F, where I is the set of integers between 1 and m and J is
More informationMATH 221: SOLUTIONS TO SELECTED HOMEWORK PROBLEMS
MATH 221: SOLUTIONS TO SELECTED HOMEWORK PROBLEMS 1. HW 1: Due September 4 1.1.21. Suppose v, w R n and c is a scalar. Prove that Span(v + cw, w) = Span(v, w). We must prove two things: that every element
More information1 Last time: inverses
MATH Linear algebra (Fall 8) Lecture 8 Last time: inverses The following all mean the same thing for a function f : X Y : f is invertible f is one-to-one and onto 3 For each b Y there is exactly one a
More informationLax Embeddings of Generalized Quadrangles in Finite Projective Spaces
Lax Embeddings of Generalized Quadrangles in Finite Projective Spaces J. A. Thas H. Van Maldeghem 1 Introduction Definition 1.1 A (finite) generalized quadrangle (GQ) S = (P, B, I) is a point-line incidence
More informationThe geometry of secants in embedded polar spaces
The geometry of secants in embedded polar spaces Hans Cuypers Department of Mathematics Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven The Netherlands June 1, 2006 Abstract Consider
More informationCodes from generalized hexagons
Codes from generalized hexagons A. De Wispelaere H. Van Maldeghem 1st March 2004 Abstract In this paper, we construct some codes that arise from generalized hexagons with small parameters. As our main
More informationMath 4377/6308 Advanced Linear Algebra
1.3 Subspaces Math 4377/6308 Advanced Linear Algebra 1.3 Subspaces Jiwen He Department of Mathematics, University of Houston jiwenhe@math.uh.edu math.uh.edu/ jiwenhe/math4377 Jiwen He, University of Houston
More informationOn small minimal blocking sets in classical generalized quadrangles
On small minimal blocking sets in classical generalized quadrangles Miroslava Cimráková a Jan De Beule b Veerle Fack a, a Research Group on Combinatorial Algorithms and Algorithmic Graph Theory, Department
More informationMTH 362: Advanced Engineering Mathematics
MTH 362: Advanced Engineering Mathematics Lecture 5 Jonathan A. Chávez Casillas 1 1 University of Rhode Island Department of Mathematics September 26, 2017 1 Linear Independence and Dependence of Vectors
More informationLinear Combination. v = a 1 v 1 + a 2 v a k v k
Linear Combination Definition 1 Given a set of vectors {v 1, v 2,..., v k } in a vector space V, any vector of the form v = a 1 v 1 + a 2 v 2 +... + a k v k for some scalars a 1, a 2,..., a k, is called
More informationarxiv: v6 [math.mg] 9 May 2014
arxiv:1311.0131v6 [math.mg] 9 May 2014 A Clifford algebraic Approach to Line Geometry Daniel Klawitter Abstract. In this paper we combine methods from projective geometry, Klein s model, and Clifford algebra.
More informationA characterization of the Split Cayley Generalized Hexagon H(q) using one subhexagon of order (1, q)
A characterization of the Split Cayley Generalized Hexagon H(q) using one subhexagon of order (1, q) Joris De Kaey and Hendrik Van Maldeghem Ghent University, Department of Pure Mathematics and Computer
More informationIRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents
IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two
More informationMatrices and Matrix Algebra.
Matrices and Matrix Algebra 3.1. Operations on Matrices Matrix Notation and Terminology Matrix: a rectangular array of numbers, called entries. A matrix with m rows and n columns m n A n n matrix : a square
More informationThe geometry of projective space
Chapter 1 The geometry of projective space 1.1 Projective spaces Definition. A vector subspace of a vector space V is a non-empty subset U V which is closed under addition and scalar multiplication. In
More informationCollineations of polar spaces with restricted displacements
Collineations of polar spaces with restricted displacements B. Temmermans J. A. Thas H. Van Maldeghem Department of Mathematics, Ghent University, Krijgslaan 281, S22, B 9000 Gent btemmerm@cage.ugent.be,
More informationRing Sums, Bridges and Fundamental Sets
1 Ring Sums Definition 1 Given two graphs G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) we define the ring sum G 1 G 2 = (V 1 V 2, (E 1 E 2 ) (E 1 E 2 )) with isolated points dropped. So an edge is in G 1 G
More informationGeneralized Veronesean embeddings of projective spaces, Part II. The lax case.
Generalized Veronesean embeddings of projective spaces, Part II. The lax case. Z. Akça A. Bayar S. Ekmekçi R. Kaya J. A. Thas H. Van Maldeghem Abstract We classify all embeddings θ : PG(n, K) PG(d, F),
More informationEuropean Journal of Combinatorics. Locally subquadrangular hyperplanes in symplectic and Hermitian dual polar spaces
European Journal of Combinatorics 31 (2010) 1586 1593 Contents lists available at ScienceDirect European Journal of Combinatorics journal homepage: www.elsevier.com/locate/ejc Locally subquadrangular hyperplanes
More informationLinear independence, span, basis, dimension - and their connection with linear systems
Linear independence span basis dimension - and their connection with linear systems Linear independence of a set of vectors: We say the set of vectors v v..v k is linearly independent provided c v c v..c
More informationOrthogonal Arrays & Codes
Orthogonal Arrays & Codes Orthogonal Arrays - Redux An orthogonal array of strength t, a t-(v,k,λ)-oa, is a λv t x k array of v symbols, such that in any t columns of the array every one of the possible
More informationARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions
ARCS IN FINITE PROJECTIVE SPACES SIMEON BALL Abstract. These notes are an outline of a course on arcs given at the Finite Geometry Summer School, University of Sussex, June 26-30, 2017. Let K denote an
More informationMath 203, Solution Set 4.
Math 203, Solution Set 4. Problem 1. Let V be a finite dimensional vector space and let ω Λ 2 V be such that ω ω = 0. Show that ω = v w for some vectors v, w V. Answer: It is clear that if ω = v w then
More informationCharacterizations of the finite quadric Veroneseans V 2n
Characterizations of the finite quadric Veroneseans V 2n n J. A. Thas H. Van Maldeghem Abstract We generalize and complete several characterizations of the finite quadric Veroneseans surveyed in [3]. Our
More informationOHSx XM511 Linear Algebra: Solutions to Online True/False Exercises
This document gives the solutions to all of the online exercises for OHSx XM511. The section ( ) numbers refer to the textbook. TYPE I are True/False. Answers are in square brackets [. Lecture 02 ( 1.1)
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 133 Part 2. I. Topics from linear algebra
SOLUTIONS TO EXERCISES FOR MATHEMATICS 133 Part Fall 013 NOTE ON ILLUSTRATIONS. Drawings for several of the solutions in this file are available in the following document: http://math.ucr.edu/ res/math133/math133solutionsa.figures.f13.pdf
More informationSolutions to Exercises Chapter 10: Ramsey s Theorem
Solutions to Exercises Chapter 10: Ramsey s Theorem 1 A platoon of soldiers (all of different heights) is in rectangular formation on a parade ground. The sergeant rearranges the soldiers in each row of
More informationDefinition. Example: In Z 13
Difference Sets Definition Suppose that G = (G,+) is a finite group of order v with identity 0 written additively but not necessarily abelian. A (v,k,λ)-difference set in G is a subset D of G of size k
More informationA study of a permutation representation of P GL(4, q) via the Klein correspondence. May 20, 1999
A study of a permutation representation of P GL4 q via the Klein correspondence May 0 999 ntroduction nglis Liebeck and Saxl [8] showed that regarding the group GLn q as a subgroup of GLn q the character
More informationSolutions to practice questions for the final
Math A UC Davis, Winter Prof. Dan Romik Solutions to practice questions for the final. You are given the linear system of equations x + 4x + x 3 + x 4 = 8 x + x + x 3 = 5 x x + x 3 x 4 = x + x + x 4 =
More informationSolution to Homework 1
Solution to Homework Sec 2 (a) Yes It is condition (VS 3) (b) No If x, y are both zero vectors Then by condition (VS 3) x = x + y = y (c) No Let e be the zero vector We have e = 2e (d) No It will be false
More informationBILINEAR FORMS KEITH CONRAD
BILINEAR FORMS KEITH CONRAD The geometry of R n is controlled algebraically by the dot product. We will abstract the dot product on R n to a bilinear form on a vector space and study algebraic and geometric
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationNAME MATH 304 Examination 2 Page 1
NAME MATH 4 Examination 2 Page. [8 points (a) Find the following determinant. However, use only properties of determinants, without calculating directly (that is without expanding along a column or row
More information1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det
What is the determinant of the following matrix? 3 4 3 4 3 4 4 3 A 0 B 8 C 55 D 0 E 60 If det a a a 3 b b b 3 c c c 3 = 4, then det a a 4a 3 a b b 4b 3 b c c c 3 c = A 8 B 6 C 4 D E 3 Let A be an n n matrix
More informationMath 550 Notes. Chapter 2. Jesse Crawford. Department of Mathematics Tarleton State University. Fall 2010
Math 550 Notes Chapter 2 Jesse Crawford Department of Mathematics Tarleton State University Fall 2010 (Tarleton State University) Math 550 Chapter 2 Fall 2010 1 / 20 Linear algebra deals with finite dimensional
More informationSimplicity of P SL n (F ) for n > 2
Simplicity of P SL n (F ) for n > 2 Kavi Duvvoori October 2015 A Outline To show the simplicity of P SL n (F ) (for n > 3), we will consider a class of linear maps called transvections, or shear mappings
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationLecture Summaries for Linear Algebra M51A
These lecture summaries may also be viewed online by clicking the L icon at the top right of any lecture screen. Lecture Summaries for Linear Algebra M51A refers to the section in the textbook. Lecture
More informationFINITE AFFINE PLANES. An incidence structure α = (P α, L α ) is said to be a finite affine plane if the following axioms are
FINITE AFFINE PLANES An incidence structure α = (P α, L α ) is said to be a finite affine plane if the following axioms are satisfied. A1 Every pair of distinct points are joined by exactly one line. A2
More informationStudy Guide for Linear Algebra Exam 2
Study Guide for Linear Algebra Exam 2 Term Vector Space Definition A Vector Space is a nonempty set V of objects, on which are defined two operations, called addition and multiplication by scalars (real
More informationOre extensions of Baer and p.p.-rings
Journal of Pure and Applied Algebra 151 (2000) 215 226 www.elsevier.com/locate/jpaa Ore extensions of Baer and p.p.-rings Chan Yong Hong a;, Nam Kyun Kim b; 1, Tai Keun Kwak c a Department of Mathematics,
More informationOn Quasi Quadratic Functionals and Existence of Related Sesquilinear Functionals
International Mathematical Forum, 2, 2007, no. 63, 3115-3123 On Quasi Quadratic Functionals and Existence of Related Sesquilinear Functionals Mehmet Açıkgöz University of Gaziantep, Faculty of Science
More informationSudoku, gerechte designs, resolutions, affine space, spreads, reguli, and Hamming codes
Sudoku, gerechte designs, resolutions, affine space, spreads, reguli, and Hamming codes R. A. Bailey, Peter J. Cameron School of Mathematical Sciences, Queen Mary, University of London, London E1 4NS,
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationReal, Complex, and Quarternionic Representations
Real, Complex, and Quarternionic Representations JWR 10 March 2006 1 Group Representations 1. Throughout R denotes the real numbers, C denotes the complex numbers, H denotes the quaternions, and G denotes
More informationCSC 470 Introduction to Computer Graphics. Mathematical Foundations Part 2
CSC 47 Introduction to Computer Graphics Mathematical Foundations Part 2 Vector Magnitude and Unit Vectors The magnitude (length, size) of n-vector w is written w 2 2 2 w = w + w2 + + w n Example: the
More informationAbstract Vector Spaces
CHAPTER 1 Abstract Vector Spaces 1.1 Vector Spaces Let K be a field, i.e. a number system where you can add, subtract, multiply and divide. In this course we will take K to be R, C or Q. Definition 1.1.
More informationLinear Equations in Linear Algebra
1 Linear Equations in Linear Algebra 1.7 LINEAR INDEPENDENCE LINEAR INDEPENDENCE Definition: An indexed set of vectors {v 1,, v p } in n is said to be linearly independent if the vector equation x x x
More informationBilinear and quadratic forms
Bilinear and quadratic forms Zdeněk Dvořák April 8, 015 1 Bilinear forms Definition 1. Let V be a vector space over a field F. A function b : V V F is a bilinear form if b(u + v, w) = b(u, w) + b(v, w)
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationMTH5102 Spring 2017 HW Assignment 1: Prob. Set; Sec. 1.2, #7, 8, 12, 13, 20, 21 The due date for this assignment is 1/18/17.
MTH5102 Spring 2017 HW Assignment 1: Prob. Set; Sec. 1.2, #7, 8, 12, 13, 20, 21 The due date for this assignment is 1/18/17. 7. Let S = {0, 1} and F = R. In F (S, R), show that f = g and f + g = h, where
More informationTrees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic).
Trees A tree is a graph which is (a) Connected and (b) has no cycles (acyclic). 1 Lemma 1 Let the components of G be C 1, C 2,..., C r, Suppose e = (u, v) / E, u C i, v C j. (a) i = j ω(g + e) = ω(g).
More informationHomework 2 Solutions
Math 312, Spring 2014 Jerry L. Kazdan Homework 2 s 1. [Bretscher, Sec. 1.2 #44] The sketch represents a maze of one-way streets in a city. The trac volume through certain blocks during an hour has been
More informationTopological 3- Rings
IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn:2319-765x. Volume 10, Issue 1 Ver. II. (Feb. 2014), PP 01-07 Topological 3- Rings K.Suguna Rao 1, P.Koteswara Rao 2 1 Dept.of mathematics,acharya
More informationLecture 17: Section 4.2
Lecture 17: Section 4.2 Shuanglin Shao November 4, 2013 Subspaces We will discuss subspaces of vector spaces. Subspaces Definition. A subset W is a vector space V is called a subspace of V if W is itself
More informationCharacterizations of Segre Varieties
Characterizations of Segre Varieties J. A Thas H. Van Maldeghem Abstract In this paper several characterizations of Segre varieties and their projections are given. The first two characterization theorems
More informationMath 4377/6308 Advanced Linear Algebra
1.4 Linear Combinations Math 4377/6308 Advanced Linear Algebra 1.4 Linear Combinations & Systems of Linear Equations Jiwen He Department of Mathematics, University of Houston jiwenhe@math.uh.edu math.uh.edu/
More informationExercises for Unit I (Topics from linear algebra)
Exercises for Unit I (Topics from linear algebra) I.0 : Background Note. There is no corresponding section in the course notes, but as noted at the beginning of Unit I these are a few exercises which involve
More informationMULTIDIMENSIONAL PROJECTIVE GEOMETRY
CHAPTER VI MULTIDIMENSIONAL PROJECTIVE GEOMETRY In this chapter we shall study coordinate projective spaces of arbitrary dimension. As in the previous chapter, we shall use concepts from linear algebra
More informationMODEL ANSWERS TO HWK #7. 1. Suppose that F is a field and that a and b are in F. Suppose that. Thus a = 0. It follows that F is an integral domain.
MODEL ANSWERS TO HWK #7 1. Suppose that F is a field and that a and b are in F. Suppose that a b = 0, and that b 0. Let c be the inverse of b. Multiplying the equation above by c on the left, we get 0
More informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More informationExercises for Unit I (Topics from linear algebra)
Exercises for Unit I (Topics from linear algebra) I.0 : Background This does not correspond to a section in the course notes, but as noted at the beginning of Unit I it contains some exercises which involve
More informationEXERCISES. a b = a + b l aq b = ab - (a + b) + 2. a b = a + b + 1 n0i) = oii + ii + fi. A. Examples of Rings. C. Ring of 2 x 2 Matrices
/ rings definitions and elementary properties 171 EXERCISES A. Examples of Rings In each of the following, a set A with operations of addition and multiplication is given. Prove that A satisfies all the
More information