Carathéodory's extension theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>R.e.b.
Non-uniqueness of extension: Expanding article
en>Freeze S
Motivation: citation added
 
Line 1: Line 1:
In [[mathematics]], a '''quasifield''' is an [[algebraic structure]] <math>(Q,+,\cdot)</math> where + and <math>\cdot</math> are [[binary operation]]s on Q, much like a [[division ring]], but with some weaker conditions.
Wilber Berryhill is what his wife enjoys to call him and he completely loves this name. My wife and I live in Mississippi but now I'm contemplating other options. It's not a common factor but what she likes performing is to perform domino but she doesn't have the time recently. Invoicing is my occupation.<br><br>Look at my site - [http://si.dgmensa.org/xe/index.php?document_srl=48014&mid=c0102 love psychics]
 
==Definition==
 
A quasifield <math>(Q,+,\cdot)</math> is a structure, where + and <math> \cdot \,</math> are binary operations on Q, satisfying these axioms :
 
* <math>(Q,+) \,</math> is a [[Group (mathematics)|group]]
* <math>(Q_{0},\cdot)</math> is a [[Quasigroup|loop]], where <math>Q_{0} = Q \setminus \{0\} \,</math>
* <math>a \cdot (b+c)=a \cdot b+a \cdot c \quad\forall a,b,c \in Q</math> (left [[distributivity]])
* <math>a \cdot x=b \cdot x+c</math> has exactly one solution <math>\forall a,b,c \in Q, a\neq b</math>
 
Strictly speaking, this is the definition of a ''left'' quasifield. A ''right'' quasifield is similarly defined, but satisfies right distributivity instead. A quasifield satisfying both distributive laws is called a '''[[semifield]]''', in the sense in which the term is used in [[projective geometry]].
 
Although not assumed, one can prove that the axioms imply that the additive group <math>(Q,+)</math> is [[Abelian group|abelian]]. Thus, when referring to an ''abelian quasifield'', one means that <math>(Q_0, \cdot)</math> is abelian.
 
==Kernel==
 
The kernel K of a quasifield Q is the set of all elements c such that :
* <math>a \cdot(b \cdot c)=(a \cdot b) \cdot c\quad \forall a,b\in Q</math>
* <math>(a+b) \cdot c=(a \cdot c)+(b \cdot c)\quad \forall a,b\in Q</math>
 
Restricting the binary operations + and <math>\cdot</math> to K, one can shown that <math>(K,+,\cdot)</math> is a [[division ring]].
 
One can now make a vector space of Q over K, with the following scalar multiplication :
<math>v \otimes l = v \cdot l\quad \forall v\in Q,l\in K</math>
 
As a finite division ring is a finite field by [[Wedderburn's little theorem|Wedderburn's theorem]], the order of the kernel of a finite quasifield is a [[prime power]]. The vector space construction implies that the order of any finite quasifield must also be a prime power.
 
==Examples==
All division rings, and thus all fields, are quasifields.
 
The smallest quasifields are abelian and unique. They are the finite fields of orders up to and including eight. The smallest quasifields which aren't division rings are the 4 non-abelian quasifields of order 9; they are presented in {{harvtxt|Hall, Jr.|1959}}  and {{harvtxt|Weibel|2007}}.
 
==Projective planes==
{{main|Projective plane#Generalized coordinates|l1=Projective plane}}
 
Given a quasifield <math>Q</math>, we define a ternary map <math>\scriptstyle T\colon Q\times Q\times Q\to Q \,</math> by
 
<math>T(a,b,c)=a \cdot b+c \quad \forall a,b,c\in Q</math>
 
One can then verify that <math>(Q,T)</math> satisfies the axioms of a [[planar ternary ring]]. Associated to <math>(Q,T)</math> is its corresponding [[projective plane]]. The projective planes constructed this way are characterized as follows;
the details of this relationship are given in {{harvtxt|Hall, Jr.|1959}}.
A projective plane is a [[translation plane]] with respect to the line at infinity if and only if any (or all) of its associated planar ternary rings are right quasifields. It is called a ''shear plane'' if any (or all) of its ternary rings are left quasifields.
 
The plane does not uniquely determine the ring; all 4 nonabelian quasifields of order 9 are ternary rings for the unique non-Desarguesian translation plane of order 9. These differ in the [[Complete quadrangle|fundamental quadrilateral]] used to construct the plane (see Weibel 2007).
 
==History==
 
Quasifields were called "Veblen-Wedderburn systems" in the literature before 1975, since they were first studied in the
1907 paper (Veblen-Wedderburn 1907) by [[Oswald_Veblen|O. Veblen]] and [[Joseph_Wedderburn|J. Wedderburn]]. Surveys of quasifields and their applications to [[projective plane]]s may be found in {{harvtxt|Hall, Jr.|1959}} and {{harvtxt|Weibel|2007}}.
 
==References==
* {{citation | first1=Marshall | last1=Hall, Jr. | title=Theory of Groups | publisher=Macmillan | year=1959 | id={{MathSciNet|id=103215}} | lccn=595035 }}.
* {{Citation|last1=Veblen|first1=O.|last2=Wedderburn|first2=J.H.M.|title=Non-Desarguesian and non-Pascalian geometries|journal=Transactions of the American Mathematical Society|year=1907|volume=8|pages=379–388}}
* {{Citation | last1=Weibel | first1=Charles | title=Survey of Non-Desarguesian Planes  | url=http://www.ams.org/notices/200710/ | year=2007 | journal= Notices of the AMS  | volume= 54 | issue=10 | pages=1294–1303}}
 
== See also ==
 
* [[Near-field (mathematics)|Near-field]]
* [[Semifield]]
* [[Alternative division ring]]
* [[Hall plane#Algebraic construction via Hall systems|Hall systems]] (Hall planes)
* [[Moufang plane]]
 
== External links ==
 
* [http://www.math.uni-kiel.de/geometrie/klein/math/geometry/quasi.html Quasifields] by Hauke Klein.
 
[[Category:Non-associative algebra]]
[[Category:Projective geometry]]

Latest revision as of 11:10, 13 September 2014

Wilber Berryhill is what his wife enjoys to call him and he completely loves this name. My wife and I live in Mississippi but now I'm contemplating other options. It's not a common factor but what she likes performing is to perform domino but she doesn't have the time recently. Invoicing is my occupation.

Look at my site - love psychics