|
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 algebras 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Plane
In mathematics, a projective plane is a geometric structure that extends the concept of a plane (geometry), plane. In the ordinary Euclidean plane, two lines typically intersect at 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 (graphical)#Renaissance, 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, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joseph Wedderburn
Joseph Henry Maclagan Wedderburn FRSE FRS (2 February 1882 – 9 October 1948) was a Scottish mathematician, who taught at Princeton University for most of his career. A significant algebraist, he proved that a finite division algebra is a field ( Wedderburn's little theorem), and part of the Artin–Wedderburn theorem on simple algebras. He also worked on group theory and matrix algebra. His younger brother was the lawyer Ernest Wedderburn. Life Joseph Wedderburn was the tenth of fourteen children of Alexander Wedderburn of Pearsie, a physician, and Anne Ogilvie. He was educated at Forfar Academy then in 1895 his parents sent Joseph and his younger brother Ernest to live in Edinburgh with their paternal uncle, J. R. Maclagan Wedderburn, allowing them to attend George Watson's College. This house was at 3 Glencairn Crescent in the West End of the city. In 1898 Joseph entered the University of Edinburgh. In 1903, he published his first three papers, worked as an assistant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Von Staudt Conic
In projective geometry, a von Staudt conic is the point set defined by all the absolute points of a polarity that has absolute points. In the real projective plane a von Staudt conic is a conic section in the usual sense. In more general projective planes this is not always the case. Karl Georg Christian von Staudt introduced this definition in ''Geometrie der Lage'' (1847) as part of his attempt to remove all metrical concepts from projective geometry. Polarities A polarity, , of a projective plane, , is an involutory (i.e., of order two) bijection between the points and the lines of that preserves the incidence relation. Thus, a polarity relates a point with a line and, following Gergonne, is called the polar of and the pole of . An absolute point (line) of a polarity is one which is incident with its polar (pole). A polarity may or may not have absolute points. A polarity with absolute points is called a hyperbolic polarity and one without absolute points is called an ell ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conic Section
A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes considered a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties. The conic sections in the Euclidean plane have various distinguishing properties, many of which can be used as alternative definitions. One such property defines a non-circular conic to be the set of those points whose distances to some particular point, called a '' focus'', and some particular line, called a ''directrix'', are in a fixed ratio, called the ''eccentricity''. The type of conic is determined by the value of the eccentricity. In analytic geometry, a conic may be defined as a plane algebraic curve of degree 2; that is, as the ... [...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 for x, \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, ... [...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 for all a, b, c in Q . :A1: (Q, +) is an abelian group. :A2: (a \cdot b) \cdot c = a \cdot (b \cdot c) (The associative law for multiplication). :A3: (a + b) \cdot c = a \cdot c + b \cdot c (The right distributive law). :A4: Q contains a non-zero element 1 such that 1 \cdot a = a \cdot 1 = a (Multiplicative identity). :A5: For every non-zero element d in Q there exists an element d^ such that d \cdot d^ = 1 = d^ \cdot d (Multiplicative inverse). Notes on the definition # The above is, strictly speaking, a definition of a ''right'' near-field. By rep ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semifield
In mathematics, a semifield is an algebraic structure with two binary operations, addition and multiplication, which is similar to a field, but with some axioms relaxed. Overview The term semifield has two conflicting meanings, both of which include fields as a special case. * In projective geometry and finite geometry ( MSC 51A, 51E, 12K10), a semifield is a nonassociative division ring with multiplicative identity element. More precisely, it is a nonassociative ring whose nonzero elements form a loop under multiplication. In other words, a semifield is a set ''S'' with two operations + (addition) and · (multiplication), such that ** (''S'',+) is an abelian group, ** multiplication is distributive on both the left and right, ** there exists a multiplicative identity element, and ** division is always possible: for every ''a'' and every nonzero ''b'' in ''S'', there exist unique ''x'' and ''y'' in ''S'' for which ''b''·''x'' = ''a'' and ''y''·''b'' = ''a''. : Note in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alternative Division Ring
In abstract algebra, an alternative algebra is an algebra in which multiplication need not be associative, only alternative. That is, one must have *x(xy) = (xx)y *(yx)x = y(xx) for all ''x'' and ''y'' in the algebra. Every associative algebra is obviously alternative, but so too are some strictly non-associative algebras such as the octonions. The associator Alternative algebras are so named because they are the algebras for which the associator is alternating. The associator is a trilinear map given by : ,y,z= (xy)z - x(yz). By definition, a multilinear map is alternating if it vanishes whenever two of its arguments are equal. The left and right alternative identities for an algebra are equivalent to : ,x,y= 0 : ,x,x= 0 Both of these identities together imply that: : ,y,x ,x,x ,y,x :- ,x+y,x+y= := ,x+y,-y= := ,x,-y- ,y,y= 0 for all x and y. This is equivalent to the '' flexible identity'' :(xy)x = x(yx). The associator of an alternative algebra is therefore alternating. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Skew Field
In algebra, a division ring, also called a skew field (or, occasionally, a sfield), is a nontrivial ring in which division by nonzero elements is defined. Specifically, it is a nontrivial ring in which every nonzero element has a multiplicative inverse, that is, an element usually denoted , such that . So, (right) ''division'' may be defined as , but this notation is avoided, as one may have . A commutative division ring is a field. Wedderburn's little theorem asserts that all finite division rings are commutative and therefore finite fields. Historically, division rings were sometimes referred to as fields, while fields were called "commutative fields". In some languages, such as French, the word equivalent to "field" ("corps") is used for both commutative and noncommutative cases, and the distinction between the two cases is made by adding qualificatives such as "corps commutatif" (commutative field) or "corps gauche" (skew field). All division rings are simple. That is, t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set (mathematics), set on which addition, subtraction, multiplication, and division (mathematics), division are defined and behave as the corresponding operations on rational number, rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as field of rational functions, fields of rational functions, algebraic function fields, algebraic number fields, and p-adic number, ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many element (set), elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straighte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Planar Ternary Ring
In mathematics, an algebraic structure (R,T) consisting of a non-empty set R and a ternary mapping T \colon R^3 \to R \, may be called a ternary system. A planar ternary ring (PTR) or ternary field is special type of ternary system used by Marshall Hall (mathematician), Marshall Hall to construct projective planes by means of coordinates. A planar ternary ring is not a Ring (mathematics), ring in the traditional sense, but any Field (mathematics), field gives a planar ternary ring where the operation T is defined by T(a,b,c) = ab + c. Thus, we can think of a planar ternary ring as a generalization of a field where the ternary operation takes the place of both addition and multiplication. There is wide variation in the terminology. Planar ternary rings or ternary fields as defined here have been called by other names in the literature, and the term "planar ternary ring" can mean a variant of the system defined here. The term "ternary ring" often means a planar ternary ring, but i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Collineation Group
In projective geometry, a collineation is a one-to-one and onto map (a bijection) from one projective space to another, or from a projective space to itself, such that the images of collinear points are themselves collinear. A collineation is thus an ''isomorphism'' between projective spaces, or an automorphism from a projective space to itself. Some authors restrict the definition of collineation to the case where it is an automorphism. The set of all collineations of a space to itself form a group, called the collineation group. Definition Simply, a collineation is a one-to-one map from one projective space to another, or from a projective space to itself, such that the images of collinear points are themselves collinear. One may formalize this using various ways of presenting a projective space. Also, the case of the projective line is special, and hence generally treated differently. Linear algebra For a projective space defined in terms of linear algebra (as the projectiviz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
