|
Quaternionic Structure
In mathematics, a quaternionic structure or -structure is an axiomatic system that abstracts the concept of a quaternion algebra over a field. A ''quaternionic structure'' is a triple where is an elementary abelian group of exponent with a distinguished element , is a pointed set with distinguished element , and is a symmetric surjection satisfying axioms :\begin\text \quad &q(a,(-1)a) = 1,\\ \text \quad &q(a,b) = q(a,c) \Leftrightarrow q(a,bc) = 1,\\ \text \quad &q(a,b) = q(c,d) \Rightarrow \exists x\mid q(a,b) = q(a,x), q(c,d) = q(c,x)\end. Every field gives rise to a -structure by taking to be , the set of Brauer classes of quaternion algebras in the Brauer group of with the split quaternion algebra as distinguished element and the quaternion algebra . References * {{cite book , title=Introduction to Quadratic Forms over Fields , volume=67 , series=Graduate Studies in Mathematics , first=Tsit-Yuen , last=Lam , author-link=T. Y. Lam , publisher=American Math ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quaternion Algebra
In mathematics, a quaternion algebra over a field ''F'' is a central simple algebra ''A'' over ''F''See Milies & Sehgal, An introduction to group rings, exercise 17, chapter 2. that has dimension 4 over ''F''. Every quaternion algebra becomes a matrix algebra by '' extending scalars'' (equivalently, tensoring with a field extension), i.e. for a suitable field extension ''K'' of ''F'', A \otimes_F K is isomorphic to the 2 × 2 matrix algebra over ''K''. The notion of a quaternion algebra can be seen as a generalization of Hamilton's quaternions to an arbitrary base field. The Hamilton quaternions are a quaternion algebra (in the above sense) over F = \mathbb, and indeed the only one over \mathbb apart from the 2 × 2 real matrix algebra, up to isomorphism. When F = \mathbb, then the biquaternions form the quaternion algebra over ''F''. Structure ''Quaternion algebra'' here means something more general than the algebra of Hamilton's quaternions. When th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (algebra)
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. 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 fields of rational functions, algebraic function fields, algebraic number fields, and ''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 elements. The relation of two fields is expressed by the notion of a field extension. Galois theory, initiated by Évariste Galois in the 1830s, is devoted to understanding the symmetries of field extensions. Among other results, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elementary Abelian Group
In mathematics, specifically in group theory, an elementary abelian group (or elementary abelian ''p''-group) is an abelian group in which every nontrivial element has order ''p''. The number ''p'' must be prime, and the elementary abelian groups are a particular kind of ''p''-group. The case where ''p'' = 2, i.e., an elementary abelian 2-group, is sometimes called a Boolean group. Every elementary abelian ''p''-group is a vector space over the prime field with ''p'' elements, and conversely every such vector space is an elementary abelian group. By the classification of finitely generated abelian groups, or by the fact that every vector space has a basis, every finite elementary abelian group must be of the form (Z/''p''Z)''n'' for ''n'' a non-negative integer (sometimes called the group's ''rank''). Here, Z/''p''Z denotes the cyclic group of order ''p'' (or equivalently the integers mod ''p''), and the superscript notation means the ''n''-fold direct product of groups. In ge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exponent (group Theory)
In group theory, a branch of mathematics, a torsion group or a periodic group is a group in which every element has finite order. The exponent of such a group, if it exists, is the least common multiple of the orders of the elements. For example, it follows from Lagrange's theorem that every finite group is periodic and it has an exponent dividing its order. Infinite examples Examples of infinite periodic groups include the additive group of the ring of polynomials over a finite field, and the quotient group of the rationals by the integers, as well as their direct summands, the Prüfer groups. Another example is the direct sum of all dihedral groups. None of these examples has a finite generating set. Explicit examples of finitely generated infinite periodic groups were constructed by Golod, based on joint work with Shafarevich, see Golod–Shafarevich theorem, and by Aleshin and Grigorchuk using automata. These groups have infinite exponent; examples with finite exponen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pointed Set
In mathematics, a pointed set (also based set or rooted set) is an ordered pair (X, x_0) where X is a set and x_0 is an element of X called the base point, also spelled basepoint. Maps between pointed sets (X, x_0) and (Y, y_0) – called based maps, pointed maps, or point-preserving maps – are functions from X to Y that map one basepoint to another, i.e. a map f \colon X \to Y such that f(x_0) = y_0. This is usually denoted : f \colon (X, x_0) \to (Y, y_0). Pointed sets are very simple algebraic structures. In the sense of universal algebra, a pointed set is a set X together with a single nullary operation *: X^0 \to X, which picks out the basepoint. Pointed maps are the homomorphisms of these algebraic structures. The class of all pointed sets together with the class of all based maps form a category. In this category the pointed singleton sets (\, a) are initial objects and terminal objects,Mac Lane (1998) p.26 i.e. they are zero objects. There is a faithful functor from p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surjection
In mathematics, a surjective function (also known as surjection, or onto function) is a function that every element can be mapped from element so that . In other words, every element of the function's codomain is the image of one element of its domain. It is not required that be unique; the function may map one or more elements of to the same element of . The term ''surjective'' and the related terms ''injective'' and ''bijective'' were introduced by Nicolas Bourbaki, a group of mainly French 20th-century mathematicians who, under this pseudonym, wrote a series of books presenting an exposition of modern advanced mathematics, beginning in 1935. The French word '' sur'' means ''over'' or ''above'', and relates to the fact that the image of the domain of a surjective function completely covers the function's codomain. Any function induces a surjection by restricting its codomain to the image of its domain. Every surjective function has a right inverse assuming the axiom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brauer Class
Brauer or Bräuer is a surname of German origin, meaning "brewer". Notable people with the name include:- * Alfred Brauer (1894–1985), German-American mathematician, brother of Richard * Andreas Brauer (born 1973), German film producer * Arik Brauer (1929–2021), Austrian painter, poet, and actor, father of Timna Brauer * August Brauer (1863-1917), German zoologist * Friedrich Moritz Brauer (1832–1904), Austrian entomologist and museum director * Georg Brauer (1908–2001), German chemist * Ingrid Arndt-Brauer (born 1961), German politician; member of the Bundestag * Jono Brauer (born 1981), Australian Olympic skier * Max Brauer (1887–1973), German politician; First Mayor of Hamburg * Michael Brauer (contemporary), American audio engineer * Rich Brauer (born 1954), American politician from Illinois; state legislator since 2003 * Richard Brauer (1901–1977), German-American mathematician * Richard H. W. Brauer (contemporary), American art museum director; eponym of the Braue ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brauer Group
Brauer or Bräuer is a surname of German origin, meaning "brewer". Notable people with the name include:- * Alfred Brauer (1894–1985), German-American mathematician, brother of Richard * Andreas Brauer (born 1973), German film producer * Arik Brauer (1929–2021), Austrian painter, poet, and actor, father of Timna Brauer * August Brauer (1863-1917), German zoologist * Friedrich Moritz Brauer (1832–1904), Austrian entomologist and museum director * Georg Brauer (1908–2001), German chemist * Ingrid Arndt-Brauer (born 1961), German politician; member of the Bundestag * Jono Brauer (born 1981), Australian Olympic skier * Max Brauer (1887–1973), German politician; First Mayor of Hamburg * Michael Brauer (contemporary), American audio engineer * Rich Brauer (born 1954), American politician from Illinois; state legislator since 2003 * Richard Brauer (1901–1977), German-American mathematician * Richard H. W. Brauer (contemporary), American art museum director; eponym of the Bra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Split Quaternion Algebra
In mathematics, a quaternion algebra over a field ''F'' is a central simple algebra ''A'' over ''F''See Milies & Sehgal, An introduction to group rings, exercise 17, chapter 2. that has dimension 4 over ''F''. Every quaternion algebra becomes a matrix algebra by '' extending scalars'' (equivalently, tensoring with a field extension), i.e. for a suitable field extension ''K'' of ''F'', A \otimes_F K is isomorphic to the 2 × 2 matrix algebra over ''K''. The notion of a quaternion algebra can be seen as a generalization of Hamilton's quaternions to an arbitrary base field. The Hamilton quaternions are a quaternion algebra (in the above sense) over F = \mathbb, and indeed the only one over \mathbb apart from the 2 × 2 real matrix algebra, up to isomorphism. When F = \mathbb, then the biquaternions form the quaternion algebra over ''F''. Structure ''Quaternion algebra'' here means something more general than the algebra of Hamilton's quaternions. When th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graduate Studies In Mathematics
Graduate Studies in Mathematics (GSM) is a series of graduate-level textbooks in mathematics published by the American Mathematical Society (AMS). The books in this series are published ihardcoverane-bookformats. List of books *1 ''The General Topology of Dynamical Systems'', Ethan Akin (1993, ) *2 ''Combinatorial Rigidity'', Jack Graver, Brigitte Servatius, Herman Servatius (1993, ) *3 ''An Introduction to Gröbner Bases'', William W. Adams, Philippe Loustaunau (1994, ) *4 ''The Integrals of Lebesgue, Denjoy, Perron, and Henstock'', Russell A. Gordon (1994, ) *5 ''Algebraic Curves and Riemann Surfaces'', Rick Miranda (1995, ) *6 ''Lectures on Quantum Groups'', Jens Carsten Jantzen (1996, ) *7 ''Algebraic Number Fields'', Gerald J. Janusz (1996, 2nd ed., ) *8 ''Discovering Modern Set Theory. I: The Basics'', Winfried Just, Martin Weese (1996, ) *9 ''An Invitation to Arithmetic Geometry'', Dino Lorenzini (1996, ) *10 ''Representations of Finite and Compact Groups'', Barry Simon (199 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. 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 fields of rational functions, algebraic function fields, algebraic number fields, and ''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 elements. The relation of two fields is expressed by the notion of a field extension. Galois theory, initiated by Évariste Galois in the 1830s, is devoted to understanding the symmetries of field extensions. Among other results, thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
