|
Hall Plane
In mathematics, a Hall plane is a non-Desarguesian projective plane constructed by Marshall Hall Jr. (1943). There are examples of order ''p''2''n'' for every prime ''p'' and every positive integer ''n'' provided ''p''2''n'' > 4. Algebraic construction via Hall systems The original construction of Hall planes was based on the Hall quasifield (also called a ''Hall system''), H of order p^ for ''p'' a prime. The creation of the plane from the quasifield follows the standard construction (see quasifield for details). To build a Hall quasifield, start with a Galois field, F = \operatorname(p^n) for ''p'' a prime and a quadratic irreducible polynomial f(x) = x^2 - rx - s over ''F''. Extend H=F\times F, a two-dimensional vector space over ''F'', to a quasifield by defining a multiplication on the vectors by (a,b)\circ (c,d) = (ac -bd^f(c), ad - bc + br) when d \neq 0 and (a,b) \circ (c,0) = (ac, bc) otherwise. Writing the elements of ''H'' in terms of a basis , that is, identifying ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-Desarguesian Projective Plane
In mathematics, a non-Desarguesian plane is a projective plane that does not satisfy Desargues' theorem (named after Girard Desargues), or in other words a plane that is not a Desarguesian plane. The theorem of Desargues is true in all projective spaces of dimension not 2; in other words, the only projective spaces of dimension not equal to 2 are the classical projective geometries over a field (or division ring). However, David Hilbert found that some projective planes do not satisfy it. The current state of knowledge of these examples is not complete. Examples There are many examples of both finite and infinite non-Desarguesian planes. Some of the known examples of infinite non-Desarguesian planes include: *The Moulton plane. *Moufang planes over alternative division rings that are not associative, such as the projective plane over the octonions. Since all finite alternative division rings are fields (Artin–Zorn theorem), the only non-Desarguesian Moufang planes are infinite. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-Desarguesian Plane
In mathematics, a non-Desarguesian plane is a projective plane that does not satisfy Desargues' theorem (named after Girard Desargues), or in other words a plane that is not a Desarguesian plane. The theorem of Desargues is true in all projective spaces of dimension not 2; in other words, the only projective spaces of dimension not equal to 2 are the classical projective geometries over a field (or division ring). However, David Hilbert found that some projective planes do not satisfy it. The current state of knowledge of these examples is not complete. Examples There are many examples of both finite and infinite non-Desarguesian planes. Some of the known examples of infinite non-Desarguesian planes include: *The Moulton plane. *Moufang planes over alternative division rings that are not associative, such as the projective plane over the octonions. Since all finite alternative division rings are fields (Artin–Zorn theorem), the only non-Desarguesian Moufang planes are infinite. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-Desarguesian Plane
In mathematics, a non-Desarguesian plane is a projective plane that does not satisfy Desargues' theorem (named after Girard Desargues), or in other words a plane that is not a Desarguesian plane. The theorem of Desargues is true in all projective spaces of dimension not 2; in other words, the only projective spaces of dimension not equal to 2 are the classical projective geometries over a field (or division ring). However, David Hilbert found that some projective planes do not satisfy it. The current state of knowledge of these examples is not complete. Examples There are many examples of both finite and infinite non-Desarguesian planes. Some of the known examples of infinite non-Desarguesian planes include: *The Moulton plane. *Moufang planes over alternative division rings that are not associative, such as the projective plane over the octonions. Since all finite alternative division rings are fields (Artin–Zorn theorem), the only non-Desarguesian Moufang planes are infinite. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasifield
In mathematics, a quasifield is an algebraic structure (Q,+,\cdot) where + and \cdot are binary operations on Q, much like a division ring, but with some weaker conditions. All division rings, and thus all fields, are quasifields. Definition A quasifield (Q,+,\cdot) is a structure, where + and \cdot \, are binary operations on Q, satisfying these axioms : * (Q,+) \, is a group * (Q_,\cdot) is a loop, where Q_ = Q \setminus \ \, * a \cdot (b+c)=a \cdot b+a \cdot c \quad\forall a,b,c \in Q (left distributivity) * a \cdot x=b \cdot x+c has exactly one solution \forall a,b,c \in Q, a\neq b 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 (Q,+) is abelian. Thus, whe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oswald Veblen
Oswald Veblen (June 24, 1880 – August 10, 1960) was an American mathematician, geometer and topologist, whose work found application in atomic physics and the theory of relativity The theory of relativity usually encompasses two interrelated theories by Albert Einstein: special relativity and general relativity, proposed and published in 1905 and 1915, respectively. Special relativity applies to all physical phenomena in .... He proved the Jordan curve theorem in 1905; while this was long considered the first rigorous proof of the theorem, many now also consider Camille Jordan's original proof rigorous. Early life Veblen was born in Decorah, Iowa. His parents were Andrew Anderson Veblen (1848–1932), Professor of Physics at the University of Iowa, and Kirsti (Hougen) Veblen (1851–1908). Veblen's uncle was Thorstein Veblen, noted economist and sociologist. Oswald went to school in Iowa City. He did his undergraduate studies at the University of Iowa, where he received a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Notices Of The American Mathematical Society
''Notices of the American Mathematical Society'' is the membership journal of the American Mathematical Society (AMS), published monthly except for the combined June/July issue. The first volume appeared in 1953. Each issue of the magazine since January 1995 is available in its entirety on the journal web site. Articles are peer-reviewed by an editorial board of mathematical experts. Since 2019, the editor-in-chief is Erica Flapan. The cover regularly features mathematical visualization Mathematical phenomena can be understood and explored via visualization. Classically this consisted of two-dimensional drawings or building three-dimensional models (particularly plaster models in the 19th and early 20th century), while today it ...s. The ''Notices'' is self-described to be the world's most widely read mathematical journal. As the membership journal of the American Mathematical Society, the ''Notices'' is sent to the approximately 30,000 AMS members worldwide, one-third of whom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quaternion
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quaternion as the quotient of two '' directed lines'' in a three-dimensional space, or, equivalently, as the quotient of two vectors. Multiplication of quaternions is noncommutative. Quaternions are generally represented in the form :a + b\ \mathbf i + c\ \mathbf j +d\ \mathbf k where , and are real numbers; and , and are the ''basic quaternions''. Quaternions are used in pure mathematics, but also have practical uses in applied mathematics, particularly for calculations involving three-dimensional rotations, such as in three-dimensional computer graphics, computer vision, and crystallographic texture analysis. They can be used alongside other methods of rotation, such as Euler angles and rotation matrices, or as an alternative to them ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unital (geometry)
In geometry, a unital is a set of ''n''3 + 1 points arranged into subsets of size ''n'' + 1 so that every pair of distinct points of the set are contained in exactly one subset. This is equivalent to saying that a unital is a 2-(''n''3 + 1, ''n'' + 1, 1) block design. Some unitals may be embedded in a projective plane of order ''n''2 (the subsets of the design become sets of collinear points in the projective plane). In this case of ''embedded unitals'', every line of the plane intersects the unital in either 1 or ''n'' + 1 points. In the Desarguesian planes, PG(2,''q''2), the classical examples of unitals are given by nondegenerate Hermitian curves. There are also many non-classical examples. The first and the only known unital with non prime power parameters, ''n''=''6'', was constructed by Bhaskar Bagchi and Sunanda Bagchi. It is still unknown if this unital can be embedded in a projective plane of order ''36'', if such a plane exists. Unitals Classical We review some termi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Primitive Permutation Group
In mathematics, a permutation group ''G'' acting on a non-empty finite set ''X'' is called primitive if ''G'' acts transitively on ''X'' and the only partitions the ''G''-action preserves are the trivial partitions into either a single set or into , ''X'', singleton sets. Otherwise, if ''G'' is transitive and ''G'' does preserve a nontrivial partition, ''G'' is called imprimitive. While primitive permutation groups are transitive, not all transitive permutation groups are primitive. The simplest example is the Klein four-group acting on the vertices of a square, which preserves the partition into diagonals. On the other hand, if a permutation group preserves only trivial partitions, it is transitive, except in the case of the trivial group acting on a 2-element set. This is because for a non-transitive action, either the orbits of ''G'' form a nontrivial partition preserved by ''G'', or the group action is trivial, in which case ''all'' nontrivial partitions of ''X'' (which exis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphism Group
In mathematics, the automorphism group of an object ''X'' is the group consisting of automorphisms of ''X'' under composition of morphisms. For example, if ''X'' is a finite-dimensional vector space, then the automorphism group of ''X'' is the group of invertible linear transformations from ''X'' to itself (the general linear group of ''X''). If instead ''X'' is a group, then its automorphism group \operatorname(X) is the group consisting of all group automorphisms of ''X''. Especially in geometric contexts, an automorphism group is also called a symmetry group. A subgroup of an automorphism group is sometimes called a transformation group. Automorphism groups are studied in a general way in the field of category theory. Examples If ''X'' is a set with no additional structure, then any bijection from ''X'' to itself is an automorphism, and hence the automorphism group of ''X'' in this case is precisely the symmetric group of ''X''. If the set ''X'' has additional struct ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Desarguesian Plane
In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines (namely, parallel lines) that do not intersect. A projective plane can be thought of as an ordinary plane equipped with additional "points at infinity" where parallel lines intersect. Thus ''any'' two distinct lines in a projective plane intersect at exactly one point. Renaissance artists, in developing the techniques of drawing in perspective, laid the groundwork for this mathematical topic. The archetypical example is the real projective plane, also known as the extended Euclidean plane. This example, in slightly different guises, is important in algebraic geometry, topology and projective geometry where it may be denoted variously by , RP2, or P2(R), among other notations. There are many other projective planes, both infinite, such as the complex projective plane, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Near-field (mathematics)
In mathematics, a near-field is an algebraic structure similar to a division ring, except that it has only one of the two distributive laws. Alternatively, a near-field is a near-ring in which there is a multiplicative identity and every non-zero element has a multiplicative inverse. Definition A near-field is a set Q together with two binary operations, + (addition) and \cdot (multiplication), satisfying the following axioms: :A1: (Q, +) is an abelian group. :A2: (a \cdot b) \cdot c = a \cdot (b \cdot c) for all elements a, b, c of Q (The associative law for multiplication). :A3: (a + b) \cdot c = a \cdot c + b \cdot c for all elements a, b, c of Q (The right distributive law). :A4: Q contains an element 1 such that 1 \cdot a = a \cdot 1 = a for every element a of Q (Multiplicative identity). :A5: For every non-zero element a of Q there exists an element a^ such that a \cdot a^ = 1 = a^ \cdot a (Multiplicative inverse). Notes on the definition # The above is, strictly ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
