DOCSLIB.ORG

Publication No. 15

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Publication No. 15 .,i, . €{ A3,N,L'Mathai' Professor' u. :.,i;'.@ All rights reserved I:,.. ::.i:: .,_ , it,.r. i t i:j .1 r, ,:.,,.i:i i ::j1.. -: 'a .' '': :"::'.;' * 'lj r;jl4 ::\ ... - : . '-.:il-.1 Piiureition No.15 Centre for Mathematieal,:Sciences Vazhuthacad, Trivandrum 695014 I(erala State, India ' Phone: 65291 1989 STRUCTURE'Or REGULAR SEMIGROUPS' rr ' CROSS_CONNECTIONS by K.r.:S-;:s NAM B OORIPAD real', Canada Centre for-:\I at hematical Siiefi.c"s. Trivandrum. India Publication \o.15 Ceutre for }lathematical Sciences \;azli utlta.c,ad. Trivan drum 6950 14 Kerala State, India Pltorte:65291 . 1989 I PREFACE This book is intended as a sequel to the author's memoir published by the American Mathematical Soeiety in 1979. The author presented part of this mate- rial.in a talk in the confetence on 'Theory of Regular Semigroups and Applications' conducted in the Department as well as in the talk given at the semigroup theory _peuegu1g1 conducted along with ihe American ll'Iathematical Society Conference in i; the faifiof 1987 in Lincoln. Also a series of seminars were conducted in the Depart- ment of:.tittqgg.ratics, University of Kerala on this material. The author wishes to thank Mr. C. S. Ling of McGill University, Canada, a student of Professor A. M. Mathai for the painful task of computer-setting the manuscript, Mr. K. Gopinatha Panickcr and lr{iss K. T. Martiakutty of the Centre for Mathematical Sciences for looking after the printing and the Centre for Mathematical Sciences, Trivandrum- 14, Kerala State, India and its Director for bringing out this monograph in their publication series. K. S. S. Nambooripad f ,l * CONTENTS !.', Page $ a Preface ': 1 ...,..'.', ' 't' Introduction ; .r,,:.\ o ..li' t" b 1. Normal Categories : I 2. Projective'ComPlexes -: 18 :. i, ;" ;. :t.- ,, ;.: li., "1*+,,",Nq,6tal,DualS 30 4.', - . :,. '.'..:.Gfoss-counections i' 50 :t.I 5,,lVIorphism of CJoss-contiectiops' .i Iil , 65 I li d Se r n i g r o tt 1r o. tn" Cross-cenn eclion's ur ; nu;i{.1r1i} eU. ul ':,: ',: . i' il: . f .' :: . "inL i) :"= T 7. Remarks and Ex'3'iiffts . ' ;, ,,. '...,,, ., . .. Llr'' il:''.,i I 5t) R,q 91 I STRUCTURE Or REGULAR SEMIGR,OUPS, il CROSS-CONNECTIONS K. S. S. NAMBOORIPAD Introduction At present there are two established procedures for analysing the structure of an arbitrary regular semigroup-the theory of biordered sets (cf. [3] and [22]) and the theory of crss-conn'rctions (cf. [9] and [21]). The concept of a biordered set gives,a concrete foriifor the structure of the set of idempotents of a semigroup and thus'helps'to'visiralize this important structural component as a mathemat- ical olject on its.,gyl right. T.he.four spiral biordered set? [2] is an especially niceexample of.a;ffird.ered set,'w'trithican be visualized in this manner. Other interesting exarifples of biordered set$ can be found in [7]. We refer the reader to l22l fot the definition;:of biordere$,pe,ls. where it'is also proved that every regular biordered set corhes frcirn a rbeuiei..sp,p-1erOu-n. The result that every biordered set'comes frorna'semigroup i*a""li".p&dirwn(cf.l [o]). On the other hand, a cross-connection characterizes the idsal Structure of a regular semigroup. These "r*heories are complementary,in the sense that, while the theory of biordered sets ,' i6 more elementary and explicit, the theory of cross-connections is essentially ab- stract and so it is more natural when one studies semigroups that arise in diverse contexts, such as semigroups of matrices, linear operators, etc. The scope of these theories is limited by the fact that they mainly apply to study fundamental regular' semigroups. Recall that a semigroup S is fundamentalif the only congruence on 5 contained in the Green's relation lf is the identity congruence. However, the concept of. inductiue grcupoids, discussed in 1221, is useful in studying arbitrary regular semigroups. In this'paper we shall consider a generalization of Grillet's theory of cross-connections that will be complementary to the theory of inductive groupoids. Let ,5 be a regular semigroup. Hall [11] showed that there is a representation $ of S bypairsof mappingsonthepartiallyorderedsets.I = S/n and A = SlL, where f;. and A are Green's relations, defined as follows: for each r € ,S 6@): (r",1,) NAMBOORIPAD where r': A * Lll,z I ---+ 1] is the map defined by Lur, = Lu,fI,Ru = .&"]' He gave a showed that 6 is faithful if and only if 5 is fundamental. In [11]' Hall also construction of the maximum fundamental regular semigroup associated with '9' Grillet's theory of cross-connections may be viewed as a refinement of Hall's partially ideas. Grillet characterized the partially ordered sets f and A as regular A ordered sefs and the relations between them in terms of cross-connect'i'ons' -* and cross-connection between -I and A consists of two mappings I: -I Ao A:A --, Io of I and A intotworegularpartiallyorderedsets Ao and ro of regular (cf' equivalence relations on A and .I respectively satisfying Grillet's axigms [10])' this He showed that the maximum fundamental regular semigroup determined by the given data is the set of all pairs of normal mappings that are compatible with concept of cross- cross-connection (cf. [21], [26]). In order to distinguish Grillet's we connections from the more general concept considered in this Paper henceforth shall refer to the former as fundamentol crcss-conner'tions.. Now pairs of normal mappings compatible with a given cross-connection can the be viewed as an abstract description of the pairs of mapping that appear in the other hand, image of Hall's representation / of the regular semigroup sl;:on since ,5 is werr,kly reductive, the representation ry' defined'by: ,h@) = (P,,\,) eguivalent to where p,[]"] is the right [left] translation by c € .9 , is faithful and is In order to characterize the pairs Hall's representation / when ^9 is fundamental. we replace the partially ordeied sets .[ = Sl9 of -rppiogs (pr,)") abstractly, and A = SIL in Grillet's theory by small categories [,(S) and R(S) ' where whose objects are principal left ideals of ^9 [,(s) tR (s)] is the category {right] -and e whose morphisms are right [eft] translations. Thus p € llomsltl(Sc,5y) [l Homsls;(ts, y,S)] if and only if p: St -' Sy.[l' nS ' yS] is a mapping such that is regular for all'u, a € S, (ua)p = u(u)p[)(zu) : '\(u)u]' We show that when '9 if [,(s) and R.(5) are normal.red.ucti,ue categories (cf. Theoret 9.,81- conversely, all normal cones € is any normal, reductive category, then the semigroup ?€ of (cf. Theorems in 0 is a regular semigroup such that [,(?g) is isomorphism to € into the 3.3 and g.1i). Moreover in this case, there is an embedding of R(2.€) (cf. Theorem 3'14)' functor category €* = [€, set] of all set valued functors on € and The image N*€ of this embedding is a normal reductive subcate$ory of e* is called the normal dual of e. STIIUCTUttE OF REGULAR SBMIGROUPS Let € and D be two normal reductive categories. A cross-connection between *€ e and D is a local isomorphism f : D --' .lf such that the image of f is total in N.€ (cf. Definition 4.2). Notice that a cross-connection is a category equivalence (cf. [28], p.55). Furthermore, there is a local isomorphism f*:e -' N*D and a natural isomorphism Xr:f(-, -) - I*(-, -), where f(-'-) denotes tlre bifunctor associated with | (cf. Theorem 4.5). If c e ae and d € oD , then f(c,d) isasetof normalconesin € withvertex c and f.(c,d) isasetofconesin D with vcrtex d. We say that the pair (p,)), p € f(c,d), ) € l.(c,d),,is linked if 1.(c, d)(p) = ). The set of all linked pairs of normal cones, under a suitable rnultiplicatiori is a regular semigroup ^9f such that [,(Sf ) is isorrtorphic to € and R(Sf) is isomorphic to D. Every regular semigroup is up to isomorphism of this forrn (cf. Theorems 4.i3 and 1.15). Let l: D - N'€ and f': D' -- N'Qt be two cross-connections. A morphism rrr:l - I' is apair nz = (a, G) rvhere F:e - €' and G:D'- D' are(inclusion- preserving) functors satisfying some compatibility conditions (cf. Definition 5.1). \Ve prove that a morphisnt m:l -- I' induces a homomorphisrn -c;,r:5f - ^9I' and tha,t the assignment .9: I r* .9f **, sm is an equivalence of the catcgory of regular semigroups with the category of cross- connections. In $6 we investigate the relation between the concept of cross- connections introduced in this paper and that of fundarnental cross-connections (of Grillet). \Ve remark that the theory of cross-connections presented here provides a u1if;cd frarnework for studying various classes of regular semigroups. The use of abstract categories to formulate the theory is particularly useful in tliis context. Thus. for e,xample, to study sernigroups of ma.trices, it is natural to interpret the ruorrnal categories involved, as categories of vector spaces and it can be seen that such interpretation would lead to a natural interpretation of the dual category a1d the cross-colulection in terms of the vector space dual and the bilinear form associated with the dual. An examiuation of the axioms for normal categories would show that na,,ural examples of such categories come from small subcategories of Abelian categories such as categories of vector spaces, modules etc. and the concept of a normal, reductive category can be regarded as a generalization of the concept of semdsimplicity or rcducibility of.
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]
  • Free Idempotent Generated Semigroups and Endomorphism Monoids of Independence Algebras
    Free idempotent generated semigroups and endomorphism monoids of independence algebras Yang Dandan & Victoria Gould Semigroup Forum ISSN 0037-1912 Semigroup Forum DOI 10.1007/s00233-016-9802-0 1 23 Your article is published under the Creative Commons Attribution license which allows users to read, copy, distribute and make derivative works, as long as the author of the original work is cited. You may self- archive this article on your own website, an institutional repository or funder’s repository and make it publicly available immediately. 1 23 Semigroup Forum DOI 10.1007/s00233-016-9802-0 RESEARCH ARTICLE Free idempotent generated semigroups and endomorphism monoids of independence algebras Yang Dandan1 · Victoria Gould2 Received: 18 January 2016 / Accepted: 3 May 2016 © The Author(s) 2016. This article is published with open access at Springerlink.com Abstract We study maximal subgroups of the free idempotent generated semigroup IG(E), where E is the biordered set of idempotents of the endomorphism monoid End A of an independence algebra A, in the case where A has no constants and has finite rank n. It is shown that when n ≥ 3 the maximal subgroup of IG(E) containing a rank 1 idempotent ε is isomorphic to the corresponding maximal subgroup of End A containing ε. The latter is the group of all unary term operations of A. Note that the class of independence algebras with no constants includes sets, free group acts and affine algebras. Keywords Independence algebra · Idempotent · Biordered set 1 Introduction Let S be a semigroup with set E = E(S) of idempotents, and let E denote the subsemigroup of S generated by E.
    [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]
  • Beyond Regular Semigroups
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by OpenGrey Repository Beyond Regular Semigroups Yan Hui Wang PhD University of York Department of Mathematics March 2012 Abstract The topic of this thesis is the class of weakly U-abundant semigroups. This class is very wide, containing inverse, orthodox, regular, ample, adequate, quasi- adequate, concordant, abundant, restriction, Ehresmann and weakly abundant semigroups. A semigroup S with subset of idempotents U is weakly U-abundant if every RU -class and every LU -class contains an idempotent of U, where RU and LU are relations extending the well known Green’s relations R and L. We assume throughout that our semigroups satisfy a condition known as the Con- gruence Condition (C). We take several approaches to weakly U-abundant semigroups. Our first re- sults describe those that are analogous to completely simple semigroups. Together with an existing result of Ren this determines the structure of those weakly U- abundant semigroups that are analogues of completely regular semigroups, that is, they are superabundant. Our description is in terms of a semilattice of rectan- gular bands of monoids. The second strand is to aim for an extension of the Hall-Yamada theorem for orthodox semigroups as spined products of inverse semigroups and fundamental orthodox semigroups. To this end we consider weakly B-orthodox semigroups, where B is a band. We note that if B is a semilattice then a weakly B-orthodox semigroup is exactly an Ehresmann semigroup. We provide a description of a weakly B-orthodox semigroup S as a spined product of a fundamental weakly B- orthodox semigroup SB (depending only on B) and S/γB, where B is isomorphic to B and γB is the analogue of the least inverse congruence on an orthodox semigroup.
    [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]