DOCSLIB.ORG

Modern Projective Geometry Mathematics and Its Applications

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Modern Projective Geometry Mathematics and Its Applications Modern Projective Geometry Mathematics and Its Applications Managing Editor: M. HAZEWINKEL Centre for Mathematics and Computer Science, Amsterdam, The Netherlands Volume 521 Modern Projective Geometry by Claude-Alain Faure and Alfred Frolicher University of Geneva, Geneva, Switzerland SPRINGER-SCIENCE+BUSINESS MEDIA, B.V. A c.I.P. Catalogue record for this book is available from the Library of Congress. ISBN 978-90-481-5544-6 ISBN 978-94-015-9590-2 (eBook) DOI 10.1007/978-94-015-9590-2 Printed on acid-free paper All Rights Reserved © 2000 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 2000 Softcover reprint of the hardcover 1st edition 2000 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner. Table of Contents Preface ix Introduction xiii Chapter 1. Fundamental Notions of Lattice Theory 1 1.1 Introduction to lattices . 1 1.2 Complete lattices . 5 1.3 Atomic and atomistic lattices 7 1.4 Meet-continuous lattices 9 1.5 Modular and semimodular lattices 12 1.6 The maximal chain property 15 1. 7 Complemented lattices 17 1.8 Exercises. 21 Chapter 2. Projective Geometries and Projective Lattices 25 2.1 Definition and examples of projective geometries 26 2.2 A second system of axioms 30 2.3 Subspaces 34 2.4 The lattice .C( G) of subspaces of G 36 2.5 Correspondence of projective geometries and projective lattices 40 2.6 Quotients by subspaces and isomorphism theorems 43 2.7 Decomposition into irreducible components 47 2.8 Exercises. 49 Chapter 3. Closure Spaces and Matroids 55 3.1 Closure operators . ... 56 3.2 Examples of matroids ... 59 3.3 Projective geometries as closure spaces 63 3.4 Complete atomistic lattices 67 3.5 Quotients by a closed subset 70 3.6 Isomorphism theorems 73 3.7 Exercises. 75 Chapter 4. Dimension Theory 81 4.1 Independent subsets and bases 83 vi Table of Contents 4.2 The rank of a subspace . 86 4.3 General properties of the rank 89 4.4 The dimension theorem of degree n 92 4.5 Dimension theorems involving the corank 97 4.6 Applications to projective geometries 98 4.7 Matroids as sets with a rank function 100 4.8 Exercises. 103 Chapter 5. Geometries of degree n 107 5.1 Definition and examples 108 5.2 Degree of submatroids and quotient geometries 110 5.3 Affine geometries . 112 5.4 Embedding of a geometry of degree 1 117 5.5 Exercises. 121 Chapter 6. Morphisms of Projective Geometries 127 6.1 Partial maps 128 6.2 Definition, properties and examples of morphisms 133 6.3 Morphisms induced by semilinear maps 137 6.4 The category of projective geometries 141 6.5 Homomorphisms . 143 6.6 Examples of homomorphisms 148 6.7 Exercises. 151 Chapter 7. Embeddings and Quotient-Maps 157 7.1 Mono-sources and initial sources 158 7.2 Embeddings. 163 7.3 Epi-sinks and final sinks 169 7.4 Quotient-maps. 172 7.5 Complementary subpaces 177 7.6 Factorization of morphisms 179 7.7 Exercises. 182 Chapter 8. Endomorphisms and the Desargues Property 187 8.1 Axis and center of an endomorphism 188 8.2 Endomorphisms with a given axis 191 8.3 Endomorphisms induced by a hyperplane-embedding 195 8.4 Arguesian geometries 197 8.5 Non-arguesian planes 204 8.6 Exercises. 209 Table of Contents vii Chapter 9. Homogeneous Coordinates 215 9.1 The homothety fields of an arguesian geometry 216 9.2 Coordinates and hyperplane-embeddings . 218 9.3 The fundamental theorem for homomorphisms 221 9.4 Uniqueness of the associated fields and vector spaces 224 9.5 Arguesian planes 226 9.6 The Pappus property 228 9.7 Exercises . 230 Chapter 10. Morphisms and Semilinear Maps 235 10.1 The fundamental theorem 236 10.2 Semilinear maps and extensions of morphisms 238 10.3 The category of arguesian geometries . 242 10.4 Points in general position . 244 10.5 Projective subgeometries of an arguesian geometry 247 10.6 Exercises 249 Chapter 11. Duality 255 11.1 Duality for vector spaces 256 11.2 The dual geometry . 258 11.3 Pairings, dualities and embedding into the bidual 261 11.4 The duality functor . 264 11.5 Pairings and sesquilinear forms 267 11.6 Exercises 269 Chapter 12. Related Categories 275 12.1 The category of closure spaces 276 12.2 Galois connections and complete lattices 278 12.3 The category of complete atomistic lattices 281 12.4 Morphisms between affine geometries . 284 12.5 Characterization of strong morphisms 287 12.6 Characterization of morphisms 291 12.7 Exercises 295 Chapter 13. Lattices of Closed Subspaces 301 13.1 Topological vector spaces 302 13.2 Mackey geometries . 305 13.3 Continuous morphisms 308 13.4 Dualized geometries 310 13.5 Continuous homomorphisms 315 Vlll Table of Contents 13.6 Exercises 318 Chapter 14. Orthogonality 323 14.1 Orthogeometries . 324 14.2 Ortholattices and orthosystems 327 14.3 Orthogonal morphisms 330 14.4 The adjunction functor 334 14.5 Hilbertian geometries 337 14.6 Exercises 340 List of Problems 345 Bibliography 347 List of Axioms 357 List of Symbols 358 Index 359 Preface Projective geometry is a very classical part of mathematics and one might think that the subject is completely explored and that there is nothing new to be added. But it seems that there exists no book on projective geometry which provides a systematic treatment of morphisms. We intend to fill this gap. It is in this sense that the present monograph can be called modern. The reason why morphisms have not been studied much earlier is probably the fact that they are in general partial maps between the point sets G and G', noted 9 : G -- ~ G', i.e. maps 9 : D -4 G' whose domain Dom 9 := D is a subset of G. We give two simple examples of partial maps which ought to be morphisms. The first example is purely geometric. Let E, F be complementary subspaces of a projective geometry G. If x E G \ E, then g(x) := (E V x) n F (where E V x is the subspace generated by E U {x}) is a unique point of F, i.e. one obtains a map 9 : G \ E -4 F. As special case, if E = {z} is a singleton and F a hyperplane with z tf. F, then g: G \ {z} -4 F is the projection with center z of G onto F. The second example comes from algebra. If V is any vector space we denote by 1>(V) the associated projective geometry which has as its points the 1-dimensional vector subspaces of V. Let now V and W be two vector spaces over fields K and L respectively, and f : V -4 W a semilinear map, i.e. an additive map satisfying j(>.. x) = a('\) . f(x) for some field homomorphism (J: K -4 L. Then f induces a partial map 1> f between the associated projective geometries :J>(V) and :J>(W) as follows. Let X E 1>(V). One chooses x E X with x#- O. If f(x) = 0, then (1)f)(X) is not defined. Otherwise (1)J)(X) is the vector subspace of W generated by f(x). The semilinearity of f implies that the choice of x is irrelevant. Hence the partial map 1> f : 1>(V) -- ~ 1>(W) is well defined. The partial maps considered in these examples will be morphisms of projective geometries. However, the main criterium whether one has a suitable definition of morphism is the validity of a converse result for the second example. This goal will be achieved: every morphism g: 1>(V) -- ~ 1>(W) whose image is not contained in a line is of the form 9 = 1> f for some semilinear map f : V -4 W. Moreover, the map f is unique up to a scalar factor. The result is called Fundamental Theorem, since in the particular case where 9 is a collineation it boils down to the classical Fundamental Theorem of Projective Geometry. By introducing coordinates, Descartes opened the door for analytic geometry which allows to solve geometric problems by algebraic methods. For a projective x Preface geometry G the link with algebra is provided by homogeneous coordinates. These consist of a vector space V together with an isomorphism P(V) ~ G. We mention two examples where a problem involving algebraic arguments is equivalent with a purely geometric problem. The first one is the question: does a given irreducible projective geometry G of dimension 2: 2 admit homogeneous coordinates? It is equivalent with the so-called embedding problem, namely to find an irreducible projective geometry containing G as hyperplane. We shall describe such a geometric construction. But it seems easier to construct homogeneous coordinates first (if there exist any) and then use them in order to obtain an embedding. As second example we consider the problem of the fundamental theorem, i.e. to find for a given morphism 9 : P(V) -- ... P(W) a semilinear map f : V -+ W such that 9 = Pf. It is well known that P(V) is included as hyperplane in the projec­ tive geometry V U P(V). We then show that a map f: V -+ W is semilinear and satisfies 9 = P f if and only if the partial map f U 9 : V U P(V) -- ... W U P(W) is a morphism satisfying Ov 1-+ Ow.
Load more

Recommended publications
  • On Absolute Points of Correlations in PG $(2, Q^ N) $
    On absolute points of correlations in PG(2,qn) Jozefien D’haeseleer ∗ Department of Mathematics: Analysis, Logic and Discrete Mathematics Ghent University Gent, Flanders, Belgium [email protected] Nicola Durante Dipartimento di Matematica e Applicazioni ”Caccioppoli” Universit`adi Napoli ”Federico II”, Complesso di Monte S. Angelo Napoli, Italy [email protected] Submitted: Aug 1, 2019; Accepted: May 8, 2020; Published: TBD c The authors. Released under the CC BY-ND license (International 4.0). Abstract Let V bea(d+1)-dimensional vector space over a field F. Sesquilinear forms over V have been largely studied when they are reflexive and hence give rise to a (possibly degenerate) polarity of the d-dimensional projective space PG(V ). Everything is known in this case for both degenerate and non-degenerate reflexive forms if F is either R, C or a finite field Fq. In this paper we consider degenerate, non- F3 reflexive sesquilinear forms of V = qn . We will see that these forms give rise to degenerate correlations of PG(2,qn) whose set of absolute points are, besides cones, m the (possibly degenerate) CF -sets studied in [8]. In the final section we collect some results from the huge work of B.C. Kestenband regarding what is known for the set of the absolute points of correlations in PG(2,qn) induced by a non-degenerate, F3 non-reflexive sesquilinear form of V = qn . Mathematics Subject Classifications: 51E21,05B25 arXiv:2005.05698v1 [math.CO] 12 May 2020 1 Introduction and definitions Let V and W be two vector spaces over the same field F.
    [Show full text]
  • [Math.GR] 9 Jul 2003 Buildings and Classical Groups
    Buildings and Classical Groups Linus Kramer∗ Mathematisches Institut, Universit¨at W¨urzburg Am Hubland, D–97074 W¨urzburg, Germany email: [email protected] In these notes we describe the classical groups, that is, the linear groups and the orthogonal, symplectic, and unitary groups, acting on finite dimen- sional vector spaces over skew fields, as well as their pseudo-quadratic gen- eralizations. Each such group corresponds in a natural way to a point-line geometry, and to a spherical building. The geometries in question are pro- jective spaces and polar spaces. We emphasize in particular the rˆole played by root elations and the groups generated by these elations. The root ela- tions reflect — via their commutator relations — algebraic properties of the underlying vector space. We also discuss some related algebraic topics: the classical groups as per- mutation groups and the associated simple groups. I have included some remarks on K-theory, which might be interesting for applications. The first K-group measures the difference between the classical group and its subgroup generated by the root elations. The second K-group is a kind of fundamental group of the group generated by the root elations and is related to central extensions. I also included some material on Moufang sets, since this is an in- arXiv:math/0307117v1 [math.GR] 9 Jul 2003 teresting topic. In this context, the projective line over a skew field is treated in some detail, and possibly with some new results. The theory of unitary groups is developed along the lines of Hahn & O’Meara [15].
    [Show full text]
  • Morita Equivalence and Isomorphisms Between General Linear Groups
    Morita Equivalence and Isomorphisms between General Linear Groups by LOK Tsan-ming , f 〜 旮 // (z 织.'U f/ ’； 乂.： ,...‘. f-- 1 K SEP ：；! ： \V:丄:、 -...- A thesis Submitted to the Graduate School of The Chinese University of Hong Kong (Division of Mathematics) In Partial Fulfiilinent of the Requirement the Degree of Master of Philosophy(M. Phil.) HONG KONG June, 1994 I《)/ l入 G:升 16 1 _ j / L- b ！ ？ ^ LL [I l i Abstract In this thesis, we generalize Bolla's theorem. We replace progenerators in Bolla's theorem by quasiprogenerators. Then, we use this result to describe the isomorphisms between general linear groups over rings. Some characterizations of these isomorphisms are obtained. We also prove some results about the endomorphism ring of infinitely generated projective module. The relationship between the annihilators and closed submodules of infinitely generated projective module is investigated. Acknowledgement I would like to express my deepest gratitude to Dr. K. P. Shum for his energetic and stimulating guidance. His supervision has helped me a lot during the preparation of this thesis. LOK Tsan-ming The Chinese University of Hong Kong June, 1994 The Chinese University of Hong Kong Graduate School The undersigned certify that we have read a thesis, entitled “Morita Equivalence and Isomorphisms between General Linear Groups" submitted to the Graduate School by LOK Tsan-ming ( ) in Partial fulfillment of the requirements for the degree of Master of Philosophy in Mathematics. We recommend that it be accepted. Dr. K. P. Shum, Supervisor Dr. K. W. Leung ( ) ( ) Dr. C. W. Leung Prof. Yonghua Xu, External Examiner ( ) ("I今永等）各^^L^ Prof.
    [Show full text]
  • 148. Symplectic Translation Planes by Antoni
    Lecture Notes of Seminario Interdisciplinare di Matematica Vol. 2 (2003), pp. 101 - 148. Symplectic translation planes by Antonio Maschietti Abstract1. A great deal of important work on symplectic translation planes has occurred in the last two decades, especially on those of even order, because of their link with non-linear codes. This link, which is the central theme of this paper, is based upon classical groups, particularly symplectic and orthogonal groups. Therefore I have included an Appendix, where standard notation and basic results are recalled. 1. Translation planes In this section we give an introductory account of translation planes. Compre- hensive textbooks are for example [17] and [3]. 1.1. Notation. We will use linear algebra to construct interesting geometrical structures from vector spaces, with special regard to vector spaces over finite fields. Any finite field has prime power order and for any prime power q there is, up to isomorphisms, a unique finite field of order q. This unique field is commonly de- noted by GF (q)(Galois Field); but also other symbols are usual, such as Fq.If q = pn with p a prime, the additive structure of F is that of an n dimensional q − vector space over Fp, which is the field of integers modulo p. The multiplicative group of Fq, denoted by Fq⇤, is cyclic. Finally, the automorphism group of the field Fq is cyclic of order n. Let A and B be sets. If f : A B is a map (or function or else mapping), then the image of x A will be denoted! by f(x)(functional notation).
    [Show full text]
  • Automorphisms of Classical Geometries in the Sense of Klein
    Automorphisms of classical geometries in the sense of Klein Navarro, A.∗ Navarro, J.† November 11, 2018 Abstract In this note, we compute the group of automorphisms of Projective, Affine and Euclidean Geometries in the sense of Klein. As an application, we give a simple construction of the outer automorphism of S6. 1 Introduction Let Pn be the set of 1-dimensional subspaces of a n + 1-dimensional vector space E over a (commutative) field k. This standard definition does not capture the ”struc- ture” of the projective space although it does point out its automorphisms: they are projectivizations of semilinear automorphisms of E, also known as Staudt projectivi- ties. A different approach (v. gr. [1]), defines the projective space as a lattice (the lattice of all linear subvarieties) satisfying certain axioms. Then, the so named Fun- damental Theorem of Projective Geometry ([1], Thm 2.26) states that, when n> 1, collineations of Pn (i.e., bijections preserving alignment, which are the automorphisms of this lattice structure) are precisely Staudt projectivities. In this note we are concerned with geometries in the sense of Klein: a geometry is a pair (X, G) where X is a set and G is a subgroup of the group Biy(X) of all bijections of X. In Klein’s view, Projective Geometry is the pair (Pn, PGln), where PGln is the group of projectivizations of k-linear automorphisms of the vector space E (see Example 2.2). The main result of this note is a computation, analogous to the arXiv:0901.3928v2 [math.GR] 4 Jul 2013 aforementioned theorem for collineations, but in the realm of Klein geometries: Theorem 3.4 The group of automorphisms of the Projective Geometry (Pn, PGln) is the group of Staudt projectivities, for any n ≥ 1.
    [Show full text]
  • Arxiv:1305.5974V1 [Math-Ph]
    INTRODUCTION TO SPORADIC GROUPS for physicists Luis J. Boya∗ Departamento de F´ısica Te´orica Universidad de Zaragoza E-50009 Zaragoza, SPAIN MSC: 20D08, 20D05, 11F22 PACS numbers: 02.20.a, 02.20.Bb, 11.24.Yb Key words: Finite simple groups, sporadic groups, the Monster group. Juan SANCHO GUIMERA´ In Memoriam Abstract We describe the collection of finite simple groups, with a view on physical applications. We recall first the prime cyclic groups Zp, and the alternating groups Altn>4. After a quick revision of finite fields Fq, q = pf , with p prime, we consider the 16 families of finite simple groups of Lie type. There are also 26 extra “sporadic” groups, which gather in three interconnected “generations” (with 5+7+8 groups) plus the Pariah groups (6). We point out a couple of physical applications, in- cluding constructing the biggest sporadic group, the “Monster” group, with close to 1054 elements from arguments of physics, and also the relation of some Mathieu groups with compactification in string and M-theory. ∗[email protected] arXiv:1305.5974v1 [math-ph] 25 May 2013 1 Contents 1 Introduction 3 1.1 Generaldescriptionofthework . 3 1.2 Initialmathematics............................ 7 2 Generalities about groups 14 2.1 Elementarynotions............................ 14 2.2 Theframeworkorbox .......................... 16 2.3 Subgroups................................. 18 2.4 Morphisms ................................ 22 2.5 Extensions................................. 23 2.6 Familiesoffinitegroups ......................... 24 2.7 Abeliangroups .............................. 27 2.8 Symmetricgroup ............................. 28 3 More advanced group theory 30 3.1 Groupsoperationginspaces. 30 3.2 Representations.............................. 32 3.3 Characters.Fourierseries . 35 3.4 Homological algebra and extension theory . 37 3.5 Groupsuptoorder16..........................
    [Show full text]
  • NZMRI Summer School the Classical Groups
    NZMRI Summer School The classical groups Colva Roney-Dougal [email protected] School of Mathematics and Statistics, University of St Andrews Nelson, 10 January 2018 Automorphisms of quasisimple groups G is quasisimple if G = [G; G] and G=Z(G) is nonabelian simple. Lemma 43 Let G = Z :S be quasisimple, with Z central and S nonabelian simple. Then Aut(G) embeds in Aut(S). Proof. Let α 2 Aut(G). α If α induces 1 on S = G=Z, then 8g 2 G, 9 zg 2 Z s.t. g = gzg . Hence 8g; h 2 G,[g; h]α = [g; h], and α is trivial on G = [G; G]. Thus Aut(G) acts faithfully on G=Z = S. SLd (q) is (generally) quasisimple: Aut(SLd (q)) embeds in Aut(PSLd (q)). A crash course on finite fields Theorem 44 (Fundamental Theorem of Finite Fields) For each prime p and each e ≥ 1 there is exactly one field of order q = pe , up to isomorphism, and these are the only finite fields. ∗ The multiplicative gp Fq of Fq is cyclic of order q − 1. A generator ∗ λ of Fq is a primitive element of Fq. ∼ Aut(Fq) = Ce , with generator the Frobenius automorphism φ : x 7! xp. Diagonal automorphisms of PSLd (q) Defn: g 2 GLd (q). cg induces a diagonal outer aut of (P)SLd (q). ∗ PGLd (q) = GLd (q)=(FqId ). Lemma 45 Let δ = diag(λ, 1;:::; 1) 2 GLd (q). Then hSLd (q); δi = GLd (q) and jcδj = (q − 1; d) = jPGLd (q): PSLd (q)j.
    [Show full text]
  • Semilinear Transformations Over Finite Fields Are Frobenius Maps U
    Glasgow Math. J. 42 (2000) 289±295. # Glasgow Mathematical Journal Trust 2000. Printed in the United Kingdom SEMILINEAR TRANSFORMATIONS OVER FINITE FIELDS ARE FROBENIUS MAPS U. DEMPWOLFF FB Mathematik, UniversitaÈt Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, Germany e-mail:[email protected] J. CHRIS FISHER and ALLEN HERMAN Department of Mathematics and Statistics, University of Regina, Regina, SK, Canada, S4S 0A2 e-mail:®[email protected], [email protected] (Received 27 October, 1998) Abstract. In its original formulation Lang's theorem referred to a semilinear map on an n-dimensional vector space over the algebraic closure of GF p: it ®xes the vectors of a copy of V n; ph. In other words, every semilinear map de®ned over a ®nite ®eld is equivalent by change of coordinates to a map induced by a ®eld automorphism. We provide an elementary proof of the theorem independent of the theory of algebraic groups and, as a by-product of our investigation, obtain a con- venient normal form for semilinear maps. We apply our theorem to classical groups and to projective geometry. In the latter application we uncover three simple yet surprising results. 1991 Mathematics Subject Classi®cation. Primary 20G40; secondary 15A21, 51A10. x1. Introduction. Let V V n; F be an n-dimensional vector space over a ®eld F, and let B fv1; ...; vng be a basis of V. Any automorphism of F induces a bijectionP fromP V to V by acting on the coordinates with respect to this basis; i.e. xivi xi vi. This bijection will also be referred to as .A-semilinear map T is the composition of this with an F-linear transformation M; i.e.
    [Show full text]
  • Desarguesian Spreads and Field Reduction for Elements of The
    Desarguesian spreads and field reduction for elements of the semilinear group Geertrui Van de Voorde ∗ Abstract The goal of this note is to create a sound framework for the interplay between field reduction for finite projective spaces, the general semilinear groups acting on the defining vector spaces and the projective semilinear groups. This approach makes it possible to reprove a result of Dye on the stabiliser in PGL of a Desar- guesian spread in a more elementary way, and extend it to PΓL(n,q). Moreover a result of Drudge [5] relating Singer cycles with Desarguesian spreads, as well as a result on subspreads (by Sheekey, Rottey and Van de Voorde [19]) are reproven in a similar elementary way. Finally, we try to use this approach to shed a light on Condition (A) of Csajb´ok and Zanella, introduced in the study of linear sets [4]. Keywords: Field reduction, Desarguesian spread Mathematics Subject Classfication: 51E20, 51E23, 05B25,05E20 1 Introduction In the last two decades a technique, commonly referred to as ‘field reduction’, has been used in many constructions and characterisations in finite geometry, e.g. the construction of m-systems and semi-partial geometries (SPG-reguli) [16, 21], eggs and translation generalised quadrangles [18], spreads and linear blocking sets [14], .... A survey paper of Polverino [17] collects these and other applications of linear sets in finite geometry. For projective and polar spaces, the technique itself was more elaborately discussed in [13]. The main goal of this paper is to contribute to this study by also considering the interplay between finite projective spaces and the projective (semi-)linear groups acting arXiv:1607.01549v1 [math.CO] 6 Jul 2016 on the definining spaces.
    [Show full text]
  • ISOMORPHISM THEORY of CONGRUENCE GROUPS This
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 77, Number 1, January 1971 ISOMORPHISM THEORY OF CONGRUENCE GROUPS BY ROBERT E. SOLAZZI Communicated by I. N, Herstein, May 18, 1970 This note is an announcement of four theorems I proved in [5]- [9] on the isomorphisms of the linear, symplectic, and unitary con­ gruence groups. A sketch of the proofs is given. NOTATION. Let V be an w-dimensional vector space over the field F, n*z2. For crGGLw(F), let cr denote the contragredient of cr (inverse of the transpose). Let ~ denote the natural map of GLn( V) onto PGLn( V) ; for any subset 5 of GLn(V), S is the image of S in PGLn(V) under the "" map. A transvection r is a linear transformation of determinant one which fixes all vectors of some hyperplane, called the proper hyper- plane of r. If r 5^ 1 then (r — 1) V is a line called the proper line of r. An element f of PGLn(V) is called a (projective) transvection if r is a transvection. The proper line and proper hyperplane of f are defined as the proper line and hyperplane of r. Congruence groups. Again let V be an w-dimensional vector space over F, n è 2 ; let o be any integral domain with quotient field F. An o-module MC. V is bounded if there is an o-linear isomorphism of M into some free o-module of finite dimension. Assume If is a bounded o-module with FM = V. We define the integral linear group GLn(M) as {<rEGLn(V)\<rM=M}.
    [Show full text]
  • Hints to Selected Exercises
    Hints to Selected Exercises Exercise 1.1 Answer: 2n. Exercise 1.2 The answer to the second question is negative. Indeed, let X Df1; 2g, Y Df2g. Using unions and intersections, we can obtain only the sets X \ Y D Y \ Y D Y [ Y D Y ; X [ Y D X [ X D X \ X D X : Thus, each formula built from X, Y, \,and[ produces either X Df1; 2g or Y Df2g. But X X Y Df1g. Exercise 1.3 There are six surjections f0; 1; 2g f0; 1g and no injections. Symmetrically, there are six injections f0; 1g ,!f0; 1; 2g and no surjections. Exercise 1.5 If X is finite, then a map X ! X that is either injective or surjective is automatically bijective. Every infinite set X contains a subset isomorphic to the set of positive integers N, which admits the nonsurjective injection n 7! .n C 1/ and the noninjective surjection 1 7! 1, n 7! .n 1/ for n > 2. Both can be extended to maps X ! X by the identity action on X X N . Exercise 1.6 Use Cantor’s diagonal argument: assume that all bijections N ⥲ N are numbered by positive integers, run through this list and construct a bijection that sends each k D 1; 2; 3; : : : to a number different from the image of k under the k-th bijection in the list. nCm1 nCm1 .nCm1/Š Exercise 1.7 Answer: m1 D n D nŠ.m1/Š . Hint: the summands are . ; ;:::; / in bijectionP with the numbered collections of nonnegative integers k1 k2 km such that ki D n.
    [Show full text]
  • 1 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 operations called addition and multiplication, satisfying the following conditions: (a) F ¡£¢¥¤ is an abelian group, with identity 0, called the additive group of F; ¡¨§©¤ (b) F ¦ 0 is a group, called the multiplicative group of F; (c) left or right multiplication by any fixed element of F is an endomorphism of the additive group of F. Note that condition (c) expresses the two distributive laws. Note that we must assume both, since one does not follow from the other. The identity element of the multiplicative group is called 1. A field is a division ring whose multiplication is commutative (that is, whose multiplicative group is abelian). Exercise 1.1 Prove that the commutativity of addition follows from the other ax- ioms for a division ring (that is, we need only assume that F ¡£¢¥¤ is a group in (a)). ¢ ¢ ¡ ¡ ¡ Exercise 1.2 A real quaternion has the form a ¢ bi cj dk, where a b c d . Addition and multiplication are given by “the usual rules”, together with the ¡ ¡ following rules for multiplication of the elements 1 ¡ i j k: § 1 i j k 1 1 i j k i i 1 k j j j k 1 i k k j i 1 ¢ ¢ Prove that the set of real quaternions is a division ring. (Hint: If q a bi 2 2 2 2 ¢ ¢ ¢ cj ¢ dk, let q a bi cj dk; prove that qq a b c d .) 2 Multiplication by zero induces the zero endomorphism of F ¡£¢¥¤ .
    [Show full text]