首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Majors of geometric strong maps
Authors:Daniel Kennedy
Institution:The Baylor School, Chattanooga, Tenn., USA
Abstract:Most of the constructions in the theory of combinatorial geometries take place in the category of pregeometries and strong maps. In this present paper, we study these constructions and the structure of pregeometries by factoring strong maps into elementary maps, after the work of Dowling and Kelly. Using the modular cuts of the factorization to determine certain single-element extensions, we associate each factorization Φ to a unique labeled pregeometry, called the major of Φ. Every major of a factorization of a strong map f:HG has H and G as distinguished minors: H as a subgeometry; G as a contraction.A partial order is defined on the set of all factorizations of f,
/></figure>, and a compatible partial order is defined on the set of all majors of <em>f</em>, <figure class=/></figure>. The map Φ : <figure class=/></figure>→<figure class=/></figure> is shown to be an increasing surjection, while the map <em>Y</em> : <figure class=/></figure>→ <figure class=/></figure> is shown to be an increasing injection. The composition Φ ° <em>Y</em> is shown to be the identity on <figure class=/></figure>, while <em>Y</em> ° Φ is a decreasing map on <figure class=/></figure>, defining a co-closure on majors. The partial order on <figure class=/></figure>, although seemingly more restrictive than necessary, is shown to be necessary to reflect the order on factorizations.Special consideration is given the zero element of <figure class=/></figure>, called the Higgs factorization of <em>f</em>, which is constructed using the lift construction of Higgs. We explore the connection between the majors of this theory and a particular major constructed by Higgs, and show that this Higgs major is the major of the Higgs factorization. As the unique smallest major of any strong map, the Higgs major thus defines a unary operator on pregeometries: <em>Y</em>(<em>G</em>) is the Higgs major of <em>f</em> : <figure class=/></figure>→<em>G</em>.</td>
	  </tr> 
	  <tr>
	   <td align=
Keywords:
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号