Tessarines
In abstract algebra, a bicomplex number is a pair of complex numbers constructed by the Cayley–Dickson process that defines the bicomplex conjugate (w,z)^* = (w, -z), and the product of two bicomplex numbers as :(u,v)(w,z) = (u w - v z, u z + v w). Then the bicomplex norm is given by :(w,z)^* (w,z) = (w, -z)(w,z) = (w^2 + z^2, 0), a quadratic form in the first component. The bicomplex numbers form a commutative algebra over C of dimension two, which is isomorphic to the direct sum of algebras . The product of two bicomplex numbers yields a quadratic form value that is the product of the individual quadratic forms of the numbers: a verification of this property of the quadratic form of a product refers to the Brahmagupta–Fibonacci identity. This property of the quadratic form of a bicomplex number indicates that these numbers form a composition algebra. In fact, bicomplex numbers arise at the binarion level of the Cayley–Dickson construction based on \mathbb with ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Split-complex Number
In algebra, a split complex number (or hyperbolic number, also perplex number, double number) has two real number components and , and is written z=x+yj, where j^2=1. The ''conjugate'' of is z^*=x-yj. Since j^2=1, the product of a number with its conjugate is N(z) := zz^* = x^2 - y^2, an isotropic quadratic form. The collection of all split complex numbers z=x+yj for forms an algebra over the field of real numbers. Two split-complex numbers and have a product that satisfies N(wz)=N(w)N(z). This composition of over the algebra product makes a composition algebra. A similar algebra based on and component-wise operations of addition and multiplication, where is the quadratic form on also forms a quadratic space. The ring isomorphism \begin D &\to \mathbb^2 \\ x + yj &\mapsto (x - y, x + y) \end relates proportional quadratic forms, but the mapping is an isometry since the multiplicative identity of is at a distance from 0, which is normalized in . S ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Corrado Segre
Corrado Segre (20 August 1863 – 18 May 1924) was an Italian mathematician who is remembered today as a major contributor to the early development of algebraic geometry. Early life Corrado's parents were Abramo Segre and Estella De Benedetti. Career Segre developed his entire career at the University of Turin, first as a student of Enrico D'Ovidio. In 1883 he published a dissertation on quadrics in projective space and was named as assistant to professors in algebra and analytic geometry. In 1885 he also assisted in descriptive geometry. He began to instruct in projective geometry, as stand-in for Giuseppe Bruno, from 1885 to 1888. Then for 36 years he had the chair in higher geometry following D'Ovidio. Segre and Giuseppe Peano made Turin known in geometry, and their complementary instruction has been noted as follows: The Erlangen program of Felix Klein appealed early on to Segre, and he became a promulgator. First, in 1885 he published an article on conics in th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish this area of study from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning. Algebraic structures, with their associated homomorphisms, form mathematical categories. Category theory is a formalism that allows a unified way for expressing properties and constructions that are similar for various structures. Universal algebra is a related subject that studies types of algebraic structures as single objects. For example, the structure of groups is a single object in universal algebra, which is called the ''variety of groups''. History Before the nineteenth century, algebra meant ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
London And Edinburgh Philosophical Magazine
The ''Philosophical Magazine'' is one of the oldest scientific journals published in English. It was established by Alexander Tilloch in 1798;John Burnett"Tilloch, Alexander (1759–1825)" Oxford Dictionary of National Biography, Oxford University Press, Sept 2004; online edn, May 2006, accessed 17 Feb 2010 in 1822 Richard Taylor became joint editor and it has been published continuously by Taylor & Francis ever since. Early history The name of the journal dates from a period when "natural philosophy" embraced all aspects of science. The very first paper published in the journal carried the title "Account of Mr Cartwright's Patent Steam Engine". Other articles in the first volume include "Methods of discovering whether Wine has been adulterated with any Metals prejudicial to Health" and "Description of the Apparatus used by Lavoisier to produce Water from its component Parts, Oxygen and Hydrogen". 19th century Early in the nineteenth century, classic papers by Humphry Davy, M ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Root Of A Function
In mathematics, a zero (also sometimes called a root) of a real-, complex-, or generally vector-valued function f, is a member x of the domain of f such that f(x) ''vanishes'' at x; that is, the function f attains the value of 0 at x, or equivalently, x is the solution to the equation f(x) = 0. A "zero" of a function is thus an input value that produces an output of 0. A root of a polynomial is a zero of the corresponding polynomial function. The fundamental theorem of algebra shows that any non-zero polynomial has a number of roots at most equal to its degree, and that the number of roots and the degree are equal when one considers the complex roots (or more generally, the roots in an algebraically closed extension) counted with their multiplicities. For example, the polynomial f of degree two, defined by f(x)=x^2-5x+6 has the two roots (or zeros) that are 2 and 3. f(2)=2^2-5\times 2+6= 0\textf(3)=3^2-5\times 3+6=0. If the function maps real numbers to real numbers, then it ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ring Of Polynomials
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables) with coefficients in another ring, often a field. Often, the term "polynomial ring" refers implicitly to the special case of a polynomial ring in one indeterminate over a field. The importance of such polynomial rings relies on the high number of properties that they have in common with the ring of the integers. Polynomial rings occur and are often fundamental in many parts of mathematics such as number theory, commutative algebra, and algebraic geometry. In ring theory, many classes of rings, such as unique factorization domains, regular rings, group rings, rings of formal power series, Ore polynomials, graded rings, have been introduced for generalizing some properties of polynomial rings. A closely related notion is that of the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ring Isomorphism
In ring theory, a branch of abstract algebra, a ring homomorphism is a structure-preserving function between two rings. More explicitly, if ''R'' and ''S'' are rings, then a ring homomorphism is a function such that ''f'' is: :addition preserving: ::f(a+b)=f(a)+f(b) for all ''a'' and ''b'' in ''R'', :multiplication preserving: ::f(ab)=f(a)f(b) for all ''a'' and ''b'' in ''R'', :and unit (multiplicative identity) preserving: ::f(1_R)=1_S. Additive inverses and the additive identity are part of the structure too, but it is not necessary to require explicitly that they too are respected, because these conditions are consequences of the three conditions above. If in addition ''f'' is a bijection, then its inverse ''f''−1 is also a ring homomorphism. In this case, ''f'' is called a ring isomorphism, and the rings ''R'' and ''S'' are called ''isomorphic''. From the standpoint of ring theory, isomorphic rings cannot be distinguished. If ''R'' and ''S'' are rngs, then the corr ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Idempotent
Idempotence (, ) is the property of certain operation (mathematics), operations in mathematics and computer science whereby they can be applied multiple times without changing the result beyond the initial application. The concept of idempotence arises in a number of places in abstract algebra (in particular, in the theory of projector (linear algebra), projectors and closure operators) and functional programming (in which it is connected to the property of referential transparency). The term was introduced by American mathematician Benjamin Peirce in 1870 in the context of elements of algebras that remain invariant when raised to a positive integer power, and literally means "(the quality of having) the same power", from + ''wikt:potence, potence'' (same + power). Definition An element x of a set S equipped with a binary operator \cdot is said to be ''idempotent'' under \cdot if : . The ''binary operation'' \cdot is said to be ''idempotent'' if : . Examples * In the monoid ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Associativity
In mathematics, the associative property is a property of some binary operations, which means that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a valid rule of replacement for expressions in logical proofs. Within an expression containing two or more occurrences in a row of the same associative operator, the order in which the operations are performed does not matter as long as the sequence of the operands is not changed. That is (after rewriting the expression with parentheses and in infix notation if necessary), rearranging the parentheses in such an expression will not change its value. Consider the following equations: \begin (2 + 3) + 4 &= 2 + (3 + 4) = 9 \,\\ 2 \times (3 \times 4) &= (2 \times 3) \times 4 = 24 . \end Even though the parentheses were rearranged on each line, the values of the expressions were not altered. Since this holds true when performing addition and multiplication on any real ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematische Annalen
''Mathematische Annalen'' (abbreviated as ''Math. Ann.'' or, formerly, ''Math. Annal.'') is a German mathematical research journal founded in 1868 by Alfred Clebsch and Carl Neumann. Subsequent managing editors were Felix Klein, David Hilbert, Otto Blumenthal, Erich Hecke, Heinrich Behnke, Hans Grauert, Heinz Bauer, Herbert Amann, Jean-Pierre Bourguignon, Wolfgang Lück, and Nigel Hitchin. Currently, the managing editor of Mathematische Annalen is Thomas Schick. Volumes 1–80 (1869–1919) were published by Teubner. Since 1920 (vol. 81), the journal has been published by Springer. In the late 1920s, under the editorship of Hilbert, the journal became embroiled in controversy over the participation of L. E. J. Brouwer on its editorial board, a spillover from the foundational Brouwer–Hilbert controversy. Between 1945 and 1947 the journal briefly ceased publication. References External links''Mathematische Annalen''homepage at Springer''Mathematische Annalen''archive (1869†... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Unit Hyperbola
In geometry, the unit hyperbola is the set of points (''x'',''y'') in the Cartesian plane that satisfy the implicit equation x^2 - y^2 = 1 . In the study of indefinite orthogonal groups, the unit hyperbola forms the basis for an ''alternative radial length'' : r = \sqrt . Whereas the unit circle surrounds its center, the unit hyperbola requires the ''conjugate hyperbola'' y^2 - x^2 = 1 to complement it in the plane. This pair of hyperbolas share the asymptotes ''y'' = ''x'' and ''y'' = −''x''. When the conjugate of the unit hyperbola is in use, the alternative radial length is r = \sqrt . The unit hyperbola is a special case of the rectangular hyperbola, with a particular orientation, location, and scale. As such, its eccentricity equals \sqrt. The unit hyperbola finds applications where the circle must be replaced with the hyperbola for purposes of analytic geometry. A prominent instance is the depiction of spacetime as a pseudo-Euclidean space. There the asymptotes of th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Zero Divisor
In abstract algebra, an element of a ring is called a left zero divisor if there exists a nonzero in such that , or equivalently if the map from to that sends to is not injective. Similarly, an element of a ring is called a right zero divisor if there exists a nonzero in such that . This is a partial case of divisibility in rings. An element that is a left or a right zero divisor is simply called a zero divisor. An element that is both a left and a right zero divisor is called a two-sided zero divisor (the nonzero such that may be different from the nonzero such that ). If the ring is commutative, then the left and right zero divisors are the same. An element of a ring that is not a left zero divisor is called left regular or left cancellable. Similarly, an element of a ring that is not a right zero divisor is called right regular or right cancellable. An element of a ring that is left and right cancellable, and is hence not a zero divisor, is called regu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |