nigel.stanger / Digital_Repository
Transfer to URL with SHA Find file
Newer
Older
Digital_Repository / Misc / Mass downloads / UTas / 1431.html
Nigel Stanger on 7 May 2013 24 KB - Imported Misc directory.
Raw Blame History 
  1. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  2. "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  3. <html>
  4.   <head>
  5.     <title>UTas ePrints - Presentations of factorizable inverse monoids</title>
  6.     <script type="text/javascript" src="http://eprints.utas.edu.au/javascript/auto.js"><!-- padder --></script>
  7.     <style type="text/css" media="screen">@import url(http://eprints.utas.edu.au/style/auto.css);</style>
  8.     <style type="text/css" media="print">@import url(http://eprints.utas.edu.au/style/print.css);</style>
  9.     <link rel="icon" href="/images/eprints/favicon.ico" type="image/x-icon" />
  10.     <link rel="shortcut icon" href="/images/eprints/favicon.ico" type="image/x-icon" />
  11.     <link rel="Top" href="http://eprints.utas.edu.au/" />
  12.     <link rel="Search" href="http://eprints.utas.edu.au/cgi/search" />
  13.     <meta content="Easdown, David" name="eprints.creators_name" />
  14. <meta content="East, James" name="eprints.creators_name" />
  15. <meta content="FitzGerald, D.G." name="eprints.creators_name" />
  16. <meta content="de@maths.usyd.edu.au" name="eprints.creators_id" />
  17. <meta content="James.East@latrobe.edu.au" name="eprints.creators_id" />
  18. <meta content="D.FitzGerald@utas.edu.au" name="eprints.creators_id" />
  19. <meta content="article" name="eprints.type" />
  20. <meta content="2007-08-23" name="eprints.datestamp" />
  21. <meta content="2008-01-08 15:30:00" name="eprints.lastmod" />
  22. <meta content="show" name="eprints.metadata_visibility" />
  23. <meta content="Presentations of factorizable inverse monoids" name="eprints.title" />
  24. <meta content="pub" name="eprints.ispublished" />
  25. <meta content="230105" name="eprints.subjects" />
  26. <meta content="public" name="eprints.full_text_status" />
  27. <meta content="Factorizable inverse monoid, presentations, symmetric inverse monoid" name="eprints.keywords" />
  28. <meta content="It is well-known that an inverse monoid is factorizable if and only if it is a homomorphic
  29. image of a semidirect product of a semilattice (with identity) by a group.
  30. We use this structure to describe a presentation of an arbitrary factorizable inverse
  31. monoid in terms of presentations of its group of units and semilattice of idempotents,
  32. together with some other data. We apply this theory to quickly deduce a well known
  33. presentation of the symmetric inverse monoid on a nite set." name="eprints.abstract" />
  34. <meta content="2005" name="eprints.date" />
  35. <meta content="published" name="eprints.date_type" />
  36. <meta content="Acta Universitatis Szegediensis, Acta Scientiarum Mathematicarum" name="eprints.publication" />
  37. <meta content="71" name="eprints.volume" />
  38. <meta content="3-4" name="eprints.number" />
  39. <meta content="509-520" name="eprints.pagerange" />
  40. <meta content="UNSPECIFIED" name="eprints.thesis_type" />
  41. <meta content="TRUE" name="eprints.refereed" />
  42. <meta content="http://www.math.u-szeged.hu/acta/" name="eprints.official_url" />
  43. <meta content="[1] S. Y. Chen and S. C. Hsieh. Factorizable Inverse Semigroups. Semigroup Forum,
  44. 8(4):283-297, 1974.
  45. [2] A. H. Clifford and G. B. Preston. The Algebraic Theory of Semigroups Vol II. Number
  46. 7 in Mathematical Surveys. Amer. Math. Soc., Providence, R.I., 1967.
  47. [3] E. Dombi. Almost Factorizable Straight Locally Inverse Semigroups. Acta Sci. Math.
  48. (Szeged), 69(3-4):569-589, 2003.
  49. [4] D. Easdown, J. East, and D. G. FitzGerald. Braids and Factorizable Inverse Monoids.
  50. Semigroups and Languages, eds. I.M. Araujo, M.J.J. Branco, V.H. Fernandes, and
  51. G.M.S. Gomes, World Scientific, pages 86-105, 2002.
  52. [5] D. Easdown and T. G. Lavers. The Inverse Braid Monoid. Adv. Math., 186(2):438-455,
  53. 2004.
  54. [6] J. East. The Permeable Braid Monoid. in preparation.
  55. [7] J. East. Cofull Embeddings in Coset Monoids. preprint.
  56. [8] J. East. The Factorizable Braid Monoid. Proc. Edinb. Math. Soc. (2) 49(3):609-636, 2006.
  57. [9] J. East. Factorizable Inverse Monoids of Cosets of Subgroups of Groups. Comm. Alg., 34(7):2659-2665, 2006.
  58. [10] D. G. FitzGerald and J. Leech. Dual Symmetric Inverse Semigroups and Representation
  59. Theory. J. Austral. Math. Soc., 64:146-182, 1998.
  60. [11] T. G. Lavers. Presentations of General Products of Monoids. J. Algebra, 204(2):733-
  61. 741, 1998.
  62. [12] M. V. Lawson. Inverse Semigroups. The Theory of Partial Symmetries. World Scientific Publishing Co., Inc., River Edge, NJ, 1998.
  63. [13] S. Lipscombe. Symmetric Inverse Semigroups. American Mathematical Society, Providence,
  64. R.I., 1996.
  65. [14] D. B. McAlister. Embedding Inverse Semigroups in Coset Semigroups. Semigroup
  66. Forum, 20:255-267, 1980.
  67. [15] R. N. McKenzie, G. F. McNulty, and W. F. Taylor. Algebras, Lattices, and Varieties.
  68. Volume 1. Wadsworth &amp; Brooks/Cole Mathematics Series. Wadsworth &amp; Brooks/Cole
  69. Advanced Books &amp; Software, Monterey, CA, 1987.
  70. [16] John C. Meakin. An Invitation to Inverse Semigroup Theory. Proceedings of the
  71. Conference on Ordered Structures and Algebra of Computer Languages (K. P. Shum
  72. and P. C. Yuen, Eds., World Scientific, Singapore), pages 91-115, 1993.
  73. 9
  74. [17] Janet E. Mills. Combinatorially Factorizable Inverse Monoids. Semigroup Forum,
  75. 59(2):220-232, 1999.
  76. [18] E. H. Moore. Concerning the Abstract Groups of Order k! and 1/2 k! Holohedrically
  77. Isomorphic with the Symmetric and Alternating Substitution Groups on k Letters.
  78. Proc. London Math. Soc., 28:357{366, 1897.
  79. [19] L. M. Popova. Defining Relations in some Semigroups of Partial Transformations of a
  80. Finite Set (in Russian). Uchenye Zap. Leningrad Gos. Ped. Inst., 218:191-212, 1961.
  81. [20] L. Solomon. Representations of the Rook Monoid. J. Algebra, 256(2):309-342, 2002.
  82. [21] L. Solomon. The Iwahori Algebra of Mn(Fq). A Presentation and a Representation
  83. on Tensor Space. J. Algebra, 273(1):206-226, 2004.
  84. [22] Yupaporn Tirasupa. Factorizable Transformation Semigroups. Semigroup Forum,
  85. 18(1):15-19, 1979.
  86. [23] Yupaporn Tirasupa. Weakly Factorizable Inverse Semigroups. Semigroup Forum,
  87. 18(4):283-291, 1979.
  88. [24] R. Wilkinson. A Description of E-Unitary Inverse Semigroups. Proc. Roy. Soc. Edinburgh
  89. Sect. A, 95(3-4):239-242, 1983." name="eprints.referencetext" />
  90. <meta content="Easdown, David and East, James and FitzGerald, D.G. (2005) Presentations of factorizable inverse monoids. Acta Universitatis Szegediensis, Acta Scientiarum Mathematicarum, 71 (3-4). pp. 509-520." name="eprints.citation" />
  91. <meta content="http://eprints.utas.edu.au/1431/1/EEF_PresentationsFactorizable.pdf" name="eprints.document_url" />
  92. <link rel="schema.DC" href="http://purl.org/DC/elements/1.0/" />
  93. <meta content="Presentations of factorizable inverse monoids" name="DC.title" />
  94. <meta content="Easdown, David" name="DC.creator" />
  95. <meta content="East, James" name="DC.creator" />
  96. <meta content="FitzGerald, D.G." name="DC.creator" />
  97. <meta content="230105 Group Theory And Generalisations (Incl. Topological Groups And Lie Groups)" name="DC.subject" />
  98. <meta content="It is well-known that an inverse monoid is factorizable if and only if it is a homomorphic
  99. image of a semidirect product of a semilattice (with identity) by a group.
  100. We use this structure to describe a presentation of an arbitrary factorizable inverse
  101. monoid in terms of presentations of its group of units and semilattice of idempotents,
  102. together with some other data. We apply this theory to quickly deduce a well known
  103. presentation of the symmetric inverse monoid on a nite set." name="DC.description" />
  104. <meta content="2005" name="DC.date" />
  105. <meta content="Article" name="DC.type" />
  106. <meta content="PeerReviewed" name="DC.type" />
  107. <meta content="application/pdf" name="DC.format" />
  108. <meta content="http://eprints.utas.edu.au/1431/1/EEF_PresentationsFactorizable.pdf" name="DC.identifier" />
  109. <meta content="http://www.math.u-szeged.hu/acta/" name="DC.relation" />
  110. <meta content="Easdown, David and East, James and FitzGerald, D.G. (2005) Presentations of factorizable inverse monoids. Acta Universitatis Szegediensis, Acta Scientiarum Mathematicarum, 71 (3-4). pp. 509-520." name="DC.identifier" />
  111. <meta content="http://eprints.utas.edu.au/1431/" name="DC.relation" />
  112. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/BibTeX/epprod-eprint-1431.bib" title="BibTeX" type="text/plain" />
  113. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/ContextObject/epprod-eprint-1431.xml" title="OpenURL ContextObject" type="text/xml" />
  114. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/ContextObject::Dissertation/epprod-eprint-1431.xml" title="OpenURL Dissertation" type="text/xml" />
  115. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/ContextObject::Journal/epprod-eprint-1431.xml" title="OpenURL Journal" type="text/xml" />
  116. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/DC/epprod-eprint-1431.txt" title="Dublin Core" type="text/plain" />
  117. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/DIDL/epprod-eprint-1431.xml" title="DIDL" type="text/xml" />
  118. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/EndNote/epprod-eprint-1431.enw" title="EndNote" type="text/plain" />
  119. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/HTML/epprod-eprint-1431.html" title="HTML Citation" type="text/html; charset=utf-8" />
  120. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/METS/epprod-eprint-1431.xml" title="METS" type="text/xml" />
  121. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/MODS/epprod-eprint-1431.xml" title="MODS" type="text/xml" />
  122. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/RIS/epprod-eprint-1431.ris" title="Reference Manager" type="text/plain" />
  123. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/Refer/epprod-eprint-1431.refer" title="Refer" type="text/plain" />
  124. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/Simple/epprod-eprint-1431text" title="Simple Metadata" type="text/plain" />
  125. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/Text/epprod-eprint-1431.txt" title="ASCII Citation" type="text/plain; charset=utf-8" />
  126. <link rel="alternate" href="http://eprints.utas.edu.au/cgi/export/1431/XML/epprod-eprint-1431.xml" title="EP3 XML" type="text/xml" />
  127.  
  128.   </head>
  129.   <body bgcolor="#ffffff" text="#000000" onLoad="loadRoutine(); MM_preloadImages('images/eprints/ePrints_banner_r5_c5_f2.gif','images/eprints/ePrints_banner_r5_c7_f2.gif','images/eprints/ePrints_banner_r5_c8_f2.gif','images/eprints/ePrints_banner_r5_c9_f2.gif','images/eprints/ePrints_banner_r5_c10_f2.gif','images/eprints/ePrints_banner_r5_c11_f2.gif','images/eprints/ePrints_banner_r6_c4_f2.gif')">
  130.     
  131.     <div class="ep_noprint"><noscript><style type="text/css">@import url(http://eprints.utas.edu.au/style/nojs.css);</style></noscript></div>
  132.  
  133.  
  134.  
  135.  
  136. <table width="795" border="0" cellspacing="0" cellpadding="0">
  137.   <tr>
  138.     <td><script language="JavaScript1.2">mmLoadMenus();</script>
  139.       <table border="0" cellpadding="0" cellspacing="0" width="795">
  140.         <!-- fwtable fwsrc="eprints_banner_final2.png" fwbase="ePrints_banner.gif" fwstyle="Dreamweaver" fwdocid = "1249563342" fwnested="0" -->
  141.         <tr>
  142.           <td><img src="/images/eprints/spacer.gif" width="32" height="1" border="0" alt="" /></td>
  143.           <td><img src="/images/eprints/spacer.gif" width="104" height="1" border="0" alt="" /></td>
  144.           <td><img src="/images/eprints/spacer.gif" width="44" height="1" border="0" alt="" /></td>
  145.           <td><img src="/images/eprints/spacer.gif" width="105" height="1" border="0" alt="" /></td>
  146.           <td><img src="/images/eprints/spacer.gif" width="41" height="1" border="0" alt="" /></td>
  147.           <td><img src="/images/eprints/spacer.gif" width="16" height="1" border="0" alt="" /></td>
  148.           <td><img src="/images/eprints/spacer.gif" width="68" height="1" border="0" alt="" /></td>
  149.           <td><img src="/images/eprints/spacer.gif" width="68" height="1" border="0" alt="" /></td>
  150.           <td><img src="/images/eprints/spacer.gif" width="68" height="1" border="0" alt="" /></td>
  151.           <td><img src="/images/eprints/spacer.gif" width="82" height="1" border="0" alt="" /></td>
  152.           <td><img src="/images/eprints/spacer.gif" width="69" height="1" border="0" alt="" /></td>
  153.           <td><img src="/images/eprints/spacer.gif" width="98" height="1" border="0" alt="" /></td>
  154.           <td><img src="/images/eprints/spacer.gif" width="1" height="1" border="0" alt="" /></td>
  155.         </tr>
  156.         <tr>
  157.           <td colspan="12"><img name="ePrints_banner_r1_c1" src="/images/eprints/ePrints_banner_r1_c1.gif" width="795" height="10" border="0" alt="" /></td>
  158.           <td><img src="/images/eprints/spacer.gif" width="1" height="10" border="0" alt="" /></td>
  159.         </tr>
  160.         <tr>
  161.           <td rowspan="6"><img name="ePrints_banner_r2_c1" src="/images/eprints/ePrints_banner_r2_c1.gif" width="32" height="118" border="0" alt="" /></td>
  162.           <td rowspan="5"><a href="http://www.utas.edu.au/"><img name="ePrints_banner_r2_c2" src="/images/eprints/ePrints_banner_r2_c2.gif" width="104" height="103" border="0" alt="" /></a></td>
  163.           <td colspan="10"><img name="ePrints_banner_r2_c3" src="/images/eprints/ePrints_banner_r2_c3.gif" width="659" height="41" border="0" alt="" /></td>
  164.           <td><img src="/images/eprints/spacer.gif" width="1" height="41" border="0" alt="" /></td>
  165.         </tr>
  166.         <tr>
  167.           <td colspan="3"><a href="http://eprints.utas.edu.au/"><img name="ePrints_banner_r3_c3" src="/images/eprints/ePrints_banner_r3_c3.gif" width="190" height="31" border="0" alt="" /></a></td>
  168.           <td rowspan="2" colspan="7"><img name="ePrints_banner_r3_c6" src="/images/eprints/ePrints_banner_r3_c6.gif" width="469" height="37" border="0" alt="" /></td>
  169.           <td><img src="/images/eprints/spacer.gif" width="1" height="31" border="0" alt="" /></td>
  170.         </tr>
  171.         <tr>
  172.           <td colspan="3"><img name="ePrints_banner_r4_c3" src="/images/eprints/ePrints_banner_r4_c3.gif" width="190" height="6" border="0" alt="" /></td>
  173.           <td><img src="/images/eprints/spacer.gif" width="1" height="6" border="0" alt="" /></td>
  174.         </tr>
  175.         <tr>
  176.           <td colspan="2"><img name="ePrints_banner_r5_c3" src="/images/eprints/ePrints_banner_r5_c3.gif" width="149" height="1" border="0" alt="" /></td>
  177.           <td rowspan="2" colspan="2"><a href="/information.html" onMouseOut="MM_swapImgRestore();MM_startTimeout()" onMouseOver="MM_showMenu(window.mm_menu_0821132634_0,0,25,null,'ePrints_banner_r5_c5');MM_swapImage('ePrints_banner_r5_c5','','/images/eprints/ePrints_banner_r5_c5_f2.gif',1);"><img name="ePrints_banner_r5_c5" src="/images/eprints/ePrints_banner_r5_c5.gif" width="57" height="25" border="0" alt="About" /></a></td>
  178.           <td rowspan="2"><a href="/view/" onMouseOut="MM_swapImgRestore();MM_startTimeout()" onMouseOver="MM_showMenu(window.mm_menu_0821133021_1,0,25,null,'ePrints_banner_r5_c7');MM_swapImage('ePrints_banner_r5_c7','','/images/eprints/ePrints_banner_r5_c7_f2.gif',1);"><img name="ePrints_banner_r5_c7" src="/images/eprints/ePrints_banner_r5_c7.gif" width="68" height="25" border="0" alt="Browse" /></a></td>
  179.           <td rowspan="2"><a href="/perl/search/simple" onMouseOut="MM_swapImgRestore();MM_startTimeout()" onMouseOver="MM_showMenu(window.mm_menu_0821133201_2,0,25,null,'ePrints_banner_r5_c8');MM_swapImage('ePrints_banner_r5_c8','','/images/eprints/ePrints_banner_r5_c8_f2.gif',1);"><img name="ePrints_banner_r5_c8" src="/images/eprints/ePrints_banner_r5_c8.gif" width="68" height="25" border="0" alt="Search" /></a></td>
  180.           <td rowspan="2"><a href="/perl/register" onMouseOut="MM_swapImgRestore();MM_startTimeout();" onMouseOver="MM_showMenu(window.mm_menu_1018171924_3,0,25,null,'ePrints_banner_r5_c9');MM_swapImage('ePrints_banner_r5_c9','','/images/eprints/ePrints_banner_r5_c9_f2.gif',1);"><img name="ePrints_banner_r5_c9" src="/images/eprints/ePrints_banner_r5_c9.gif" width="68" height="25" border="0" alt="register" /></a></td>
  181.           <td rowspan="2"><a href="/perl/users/home" onMouseOut="MM_swapImgRestore();MM_startTimeout()" onMouseOver="MM_showMenu(window.mm_menu_0821133422_4,0,25,null,'ePrints_banner_r5_c10');MM_swapImage('ePrints_banner_r5_c10','','/images/eprints/ePrints_banner_r5_c10_f2.gif',1);"><img name="ePrints_banner_r5_c10" src="/images/eprints/ePrints_banner_r5_c10.gif" width="82" height="25" border="0" alt="user area" /></a></td>
  182.           <td rowspan="2"><a href="/help/" onMouseOut="MM_swapImgRestore();MM_startTimeout()" onMouseOver="MM_showMenu(window.mm_menu_0821133514_5,0,25,null,'ePrints_banner_r5_c11');MM_swapImage('ePrints_banner_r5_c11','','/images/eprints/ePrints_banner_r5_c11_f2.gif',1);"><img name="ePrints_banner_r5_c11" src="/images/eprints/ePrints_banner_r5_c11.gif" width="69" height="25" border="0" alt="Help" /></a></td>
  183.           <td rowspan="3" colspan="4"><img name="ePrints_banner_r5_c12" src="/images/eprints/ePrints_banner_r5_c12.gif" width="98" height="40" border="0" alt="" /></td>
  184.           <td><img src="/images/eprints/spacer.gif" width="1" height="1" border="0" alt="" /></td>
  185.         </tr>
  186.         <tr>
  187.           <td rowspan="2"><img name="ePrints_banner_r6_c3" src="/images/eprints/ePrints_banner_r6_c3.gif" width="44" height="39" border="0" alt="ePrints home" /></td>
  188.           <td><a href="/" onMouseOut="MM_swapImgRestore()" onMouseOver="MM_swapImage('ePrints_banner_r6_c4','','/images/eprints/ePrints_banner_r6_c4_f2.gif',1);"><img name="ePrints_banner_r6_c4" src="/images/eprints/ePrints_banner_r6_c4.gif" width="105" height="24" border="0" alt="ePrints home" /></a></td>
  189.           <td><img src="/images/eprints/spacer.gif" width="1" height="24" border="0" alt="" /></td>
  190.         </tr>
  191.         <tr>
  192.           <td><img name="ePrints_banner_r7_c2" src="/images/eprints/ePrints_banner_r7_c2.gif" width="104" height="15" border="0" alt="" /></td>
  193.           <td colspan="8"><img name="ePrints_banner_r7_c4" src="/images/eprints/ePrints_banner_r7_c4.gif" width="517" height="15" border="0" alt="" /></td>
  194.           <td><img src="/images/eprints/spacer.gif" width="1" height="15" border="0" alt="" /></td>
  195.         </tr>
  196.       </table></td>
  197.   </tr>
  198.     <tr><td><table width="100%" style="font-size: 90%; border: solid 1px #ccc; padding: 3px"><tr>
  199.       <td align="left"><a href="http://eprints.utas.edu.au/cgi/users/home">Login</a> | <a href="http://eprints.utas.edu.au/cgi/register">Create Account</a></td>
  200.       <td align="right" style="white-space: nowrap">
  201.         <form method="get" accept-charset="utf-8" action="http://eprints.utas.edu.au/cgi/search" style="display:inline">
  202.           <input class="ep_tm_searchbarbox" size="20" type="text" name="q" />
  203.           <input class="ep_tm_searchbarbutton" value="Search" type="submit" name="_action_search" />
  204.           <input type="hidden" name="_order" value="bytitle" />
  205.           <input type="hidden" name="basic_srchtype" value="ALL" />
  206.           <input type="hidden" name="_satisfyall" value="ALL" />
  207.         </form>
  208.       </td>
  209.     </tr></table></td></tr>
  210.   <tr>
  211.     <td class="toplinks"><!-- InstanceBeginEditable name="content" -->
  212.  
  213.  
  214. <div align="center">
  215.   
  216.   <table width="720" class="ep_tm_main"><tr><td align="left">
  217.     <h1 class="ep_tm_pagetitle">Presentations of factorizable inverse monoids</h1>
  218.     <p style="margin-bottom: 1em" class="not_ep_block"><span class="person_name">Easdown, David</span> and <span class="person_name">East, James</span> and <span class="person_name">FitzGerald, D.G.</span> (2005) <xhtml:em>Presentations of factorizable inverse monoids.</xhtml:em> Acta Universitatis Szegediensis, Acta Scientiarum Mathematicarum, 71 (3-4). pp. 509-520.</p><p style="margin-bottom: 1em" class="not_ep_block"></p><table style="margin-bottom: 1em" class="not_ep_block"><tr><td valign="top" style="text-align:center"><a onmouseover="EPJS_ShowPreview( event, 'doc_preview_1841' );" href="http://eprints.utas.edu.au/1431/1/EEF_PresentationsFactorizable.pdf" onmouseout="EPJS_HidePreview( event, 'doc_preview_1841' );"><img alt="[img]" src="http://eprints.utas.edu.au/style/images/fileicons/application_pdf.png" class="ep_doc_icon" border="0" /></a><div class="ep_preview" id="doc_preview_1841"><table><tr><td><img alt="" src="http://eprints.utas.edu.au/1431/thumbnails/1/preview.png" class="ep_preview_image" border="0" /><div class="ep_preview_title">Preview</div></td></tr></table></div></td><td valign="top"><a href="http://eprints.utas.edu.au/1431/1/EEF_PresentationsFactorizable.pdf"><span class="ep_document_citation">PDF (Author Version)</span></a> - Requires a PDF viewer<br />125Kb</td></tr></table><p style="margin-bottom: 1em" class="not_ep_block">Official URL: <a href="http://www.math.u-szeged.hu/acta/">http://www.math.u-szeged.hu/acta/</a></p><div class="not_ep_block"><h2>Abstract</h2><p style="padding-bottom: 16px; text-align: left; margin: 1em auto 0em auto">It is well-known that an inverse monoid is factorizable if and only if it is a homomorphic&#13;
  219. image of a semidirect product of a semilattice (with identity) by a group.&#13;
  220. We use this structure to describe a presentation of an arbitrary factorizable inverse&#13;
  221. monoid in terms of presentations of its group of units and semilattice of idempotents,&#13;
  222. together with some other data. We apply this theory to quickly deduce a well known&#13;
  223. presentation of the symmetric inverse monoid on a nite set.</p></div><table style="margin-bottom: 1em" cellpadding="3" class="not_ep_block" border="0"><tr><th valign="top" class="ep_row">Item Type:</th><td valign="top" class="ep_row">Article</td></tr><tr><th valign="top" class="ep_row">Keywords:</th><td valign="top" class="ep_row">Factorizable inverse monoid, presentations, symmetric inverse monoid</td></tr><tr><th valign="top" class="ep_row">Subjects:</th><td valign="top" class="ep_row"><a href="http://eprints.utas.edu.au/view/subjects/230105.html">230000 Mathematical Sciences &gt; 230100 Mathematics &gt; 230105 Group Theory And Generalisations (Incl. Topological Groups And Lie Groups)</a></td></tr><tr><th valign="top" class="ep_row">ID Code:</th><td valign="top" class="ep_row">1431</td></tr><tr><th valign="top" class="ep_row">Deposited By:</th><td valign="top" class="ep_row"><span class="ep_name_citation"><span class="person_name">Dr D. G. FitzGerald</span></span></td></tr><tr><th valign="top" class="ep_row">Deposited On:</th><td valign="top" class="ep_row">23 Aug 2007</td></tr><tr><th valign="top" class="ep_row">Last Modified:</th><td valign="top" class="ep_row">09 Jan 2008 02:30</td></tr><tr><th valign="top" class="ep_row">ePrint Statistics:</th><td valign="top" class="ep_row"><a target="ePrintStats" href="/es/index.php?action=show_detail_eprint;id=1431;">View statistics for this ePrint</a></td></tr></table><p align="right">Repository Staff Only: <a href="http://eprints.utas.edu.au/cgi/users/home?screen=EPrint::View&amp;eprintid=1431">item control page</a></p>
  224.   </td></tr></table>
  225. </div>
  226.  
  227.  
  228.  
  229.     <!-- InstanceEndEditable --></td>
  230.   </tr>
  231.   <tr>
  232.     <td><!-- #BeginLibraryItem "/Library/footer_eprints.lbi" -->
  233.     <table width="795" border="0" align="left" cellpadding="0" class="footer">
  234.   <tr valign="top">
  235. <td colspan="2"><div align="center"><a href="http://www.utas.edu.au">UTAS home</a> | <a href="http://www.utas.edu.au/library/">Library home</a> | <a href="/">ePrints home</a> | <a href="/contact.html">contact</a> | <a href="/information.html">about</a> | <a href="/view/">browse</a> | <a href="/perl/search/simple">search</a> | <a href="/perl/register">register</a> | <a href="/perl/users/home">user area</a> | <a href="/help/">help</a></div><br /></td>
  236. </tr>
  237. <tr><td colspan="2"><p><img src="/images/eprints/footerline.gif" width="100%" height="4" /></p></td></tr>
  238.       <tr valign="top">
  239.         <td width="68%" class="footer">Authorised by the University Librarian<br />
  240. © University of Tasmania ABN 30 764 374 782<br />
  241.       <a href="http://www.utas.edu.au/cricos/">CRICOS Provider Code 00586B</a> | <a href="http://www.utas.edu.au/copyright/copyright_disclaimers.html">Copyright &amp; Disclaimers</a> | <a href="http://www.utas.edu.au/accessibility/index.html">Accessibility</a> | <a href="http://eprints.utas.edu.au/feedback/">Site Feedback</a>  </td>
  242.         <td width="32%"><div align="right">
  243.             <p align="right" class="NoPrint"><a href="http://www.utas.edu.au/"><img src="http://www.utas.edu.au/shared/logos/unioftasstrip.gif" alt="University of Tasmania Home Page" width="260" height="16" border="0" align="right" /></a></p>
  244.             <p align="right" class="NoPrint"><a href="http://www.utas.edu.au/"><br />
  245.             </a></p>
  246.         </div></td>
  247.       </tr>
  248.       <tr valign="top">
  249.         <td><p>  </p></td>
  250.         <td><div align="right"><span class="NoPrint"><a href="http://www.eprints.org/software/"><img src="/images/eprintslogo.gif" alt="ePrints logo" width="77" height="29" border="0" align="bottom" /></a></span></div></td>
  251.       </tr>
  252.     </table>
  253.     <!-- #EndLibraryItem -->
  254.     <div align="center"></div></td>
  255.   </tr>
  256. </table>
  257.  
  258.   </body>
  259. </html>