|
ε-quadratic Form
In mathematics, specifically the theory of quadratic forms, an ''ε''-quadratic form is a generalization of quadratic forms to skew-symmetric settings and to *-rings; , accordingly for symmetric or skew-symmetric. They are also called (-)^n-quadratic forms, particularly in the context of surgery theory. There is the related notion of ''ε''-symmetric forms, which generalizes symmetric forms, skew-symmetric forms (= symplectic forms), Hermitian forms, and skew-Hermitian forms. More briefly, one may refer to quadratic, skew-quadratic, symmetric, and skew-symmetric forms, where "skew" means (−) and the * (involution) is implied. The theory is 2-local: away from 2, ''ε''-quadratic forms are equivalent to ''ε''-symmetric forms: half the symmetrization map (below) gives an explicit isomorphism. Definition ''ε''-symmetric forms and ''ε''-quadratic forms are defined as follows. Given a module ''M'' over a *-ring ''R'', let ''B''(''M'') be the space of bilinear forms o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Action (mathematics)
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doubly Even
In mathematics an even integer, that is, a number that is divisible by 2, is called evenly even or doubly even if it is a multiple of 4, and oddly even or singly even if it is not. The former names are traditional ones, derived from ancient Greek mathematics; the latter have become common in recent decades. These names reflect a basic concept in number theory, the 2-order of an integer: how many times the integer can be divided by 2. This is equivalent to the multiplicity of 2 in the prime factorization. *A singly even number can be divided by 2 only once; it is even but its quotient by 2 is odd. *A doubly even number is an integer that is divisible more than once by 2; it is even and its quotient by 2 is also even. The separate consideration of oddly and evenly even numbers is useful in many parts of mathematics, especially in number theory, combinatorics, coding theory (see even codes), among others. Definitions The ancient Greek terms "even-times-even" ( grc, ἀρτιάκ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Singly Even
In mathematics an even integer, that is, a number that is divisible by 2, is called evenly even or doubly even if it is a multiple of 4, and oddly even or singly even if it is not. The former names are traditional ones, derived from ancient Greek mathematics; the latter have become common in recent decades. These names reflect a basic concept in number theory, the 2-order of an integer: how many times the integer can be divided by 2. This is equivalent to the multiplicity of 2 in the prime factorization. *A singly even number can be divided by 2 only once; it is even but its quotient by 2 is odd. *A doubly even number is an integer that is divisible more than once by 2; it is even and its quotient by 2 is also even. The separate consideration of oddly and evenly even numbers is useful in many parts of mathematics, especially in number theory, combinatorics, coding theory (see even codes), among others. Definitions The ancient Greek terms "even-times-even" ( grc, ἀρτιάκ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection Product
In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theorem on curves and elimination theory. On the other hand, the topological theory more quickly reached a definitive form. There is yet an ongoing development of intersection theory. Currently the main focus is on: virtual fundamental cycles, quantum intersection rings, Gromov-Witten theory and the extension of intersection theory from schemes to stacks. Topological intersection form For a connected oriented manifold of dimension the intersection form is defined on the -th cohomology group (what is usually called the 'middle dimension') by the evaluation of the cup product on the fundamental class in . Stated precisely, there is a bilinear form :\lambda_M \colon H^n(M,\partial M) \times H^n(M,\partial M)\to \mathbf given by :\lambda ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Duality
In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if ''M'' is an ''n''-dimensional oriented closed manifold (compact and without boundary), then the ''k''th cohomology group of ''M'' is isomorphic to the (n-k)th homology group of ''M'', for all integers ''k'' :H^k(M) \cong H_(M). Poincaré duality holds for any coefficient ring, so long as one has taken an orientation with respect to that coefficient ring; in particular, since every manifold has a unique orientation mod 2, Poincaré duality holds mod 2 without any assumption of orientation. History A form of Poincaré duality was first stated, without proof, by Henri Poincaré in 1893. It was stated in terms of Betti numbers: The ''k''th and (n-k)th Betti numbers of a closed (i.e., compact and without boundary) orientable ''n''-manifold are equal. The ''cohomology'' concept was at that time about 40 y ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homology Group
In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, with other mathematical objects such as topological spaces. Homology groups were originally defined in algebraic topology. Similar constructions are available in a wide variety of other contexts, such as abstract algebra, groups, Lie algebras, Galois theory, and algebraic geometry. The original motivation for defining homology groups was the observation that two shapes can be distinguished by examining their holes. For instance, a circle is not a disk because the circle has a hole through it while the disk is solid, and the ordinary sphere is not a circle because the sphere encloses a two-dimensional hole while the circle encloses a one-dimensional hole. However, because a hole is "not there", it is not immediately obvious how to define a hole or how to distinguish different kinds of holes. Homology was originally a rigorous mathematical method for defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discriminant
In mathematics, the discriminant of a polynomial is a quantity that depends on the coefficients and allows deducing some properties of the roots without computing them. More precisely, it is a polynomial function of the coefficients of the original polynomial. The discriminant is widely used in polynomial factoring, number theory, and algebraic geometry. The discriminant of the quadratic polynomial ax^2+bx+c is :b^2-4ac, the quantity which appears under the square root in the quadratic formula. If a\ne 0, this discriminant is zero if and only if the polynomial has a double root. In the case of real coefficients, it is positive if the polynomial has two distinct real roots, and negative if it has two distinct complex conjugate roots. Similarly, the discriminant of a cubic polynomial is zero if and only if the polynomial has a multiple root. In the case of a cubic with real coefficients, the discriminant is positive if the polynomial has three distinct real roots, and negative i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nonsingular
In linear algebra, an -by- square matrix is called invertible (also nonsingular or nondegenerate), if there exists an -by- square matrix such that :\mathbf = \mathbf = \mathbf_n \ where denotes the -by- identity matrix and the multiplication used is ordinary matrix multiplication. If this is the case, then the matrix is uniquely determined by , and is called the (multiplicative) ''inverse'' of , denoted by . Matrix inversion is the process of finding the matrix that satisfies the prior equation for a given invertible matrix . A square matrix that is ''not'' invertible is called singular or degenerate. A square matrix is singular if and only if its determinant is zero. Singular matrices are rare in the sense that if a square matrix's entries are randomly selected from any finite region on the number line or complex plane, the probability that the matrix is singular is 0, that is, it will "almost never" be singular. Non-square matrices (-by- matrices for which ) do not hav ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arf Invariant
In mathematics, the Arf invariant of a nonsingular quadratic form over a field of characteristic 2 was defined by Turkish mathematician when he started the systematic study of quadratic forms over arbitrary fields of characteristic 2. The Arf invariant is the substitute, in characteristic 2, for the discriminant for quadratic forms in characteristic not 2. Arf used his invariant, among others, in his endeavor to classify quadratic forms in characteristic 2. In the special case of the 2-element field F2 the Arf invariant can be described as the element of F2 that occurs most often among the values of the form. Two nonsingular quadratic forms over F2 are isomorphic if and only if they have the same dimension and the same Arf invariant. This fact was essentially known to , even for any finite field of characteristic 2, and Arf proved it for an arbitrary perfect field. The Arf invariant is particularly applied in geometric topology, where it is primarily used to define an invari ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
L-theory
In mathematics, algebraic ''L''-theory is the ''K''-theory of quadratic forms; the term was coined by C. T. C. Wall, with ''L'' being used as the letter after ''K''. Algebraic ''L''-theory, also known as "Hermitian ''K''-theory", is important in surgery theory. Definition One can define ''L''-groups for any ring with involution ''R'': the quadratic ''L''-groups L_*(R) (Wall) and the symmetric ''L''-groups L^*(R) (Mishchenko, Ranicki). Even dimension The even-dimensional ''L''-groups L_(R) are defined as the Witt groups of ε-quadratic forms over the ring ''R'' with \epsilon = (-1)^k. More precisely, ::L_(R) is the abelian group of equivalence classes psi/math> of non-degenerate ε-quadratic forms \psi \in Q_\epsilon(F) over R, where the underlying R-modules F are finitely generated free. The equivalence relation is given by stabilization with respect to hyperbolic ε-quadratic forms: : psi= psi'\Longleftrightarrow n, n' \in _0: \psi \oplus H_(R)^n \cong \psi' \oplus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Algebra
In mathematics, the tensor algebra of a vector space ''V'', denoted ''T''(''V'') or ''T''(''V''), is the algebra of tensors on ''V'' (of any rank) with multiplication being the tensor product. It is the free algebra on ''V'', in the sense of being left adjoint to the forgetful functor from algebras to vector spaces: it is the "most general" algebra containing ''V'', in the sense of the corresponding universal property (see below). The tensor algebra is important because many other algebras arise as quotient algebras of ''T''(''V''). These include the exterior algebra, the symmetric algebra, Clifford algebras, the Weyl algebra and universal enveloping algebras. The tensor algebra also has two coalgebra structures; one simple one, which does not make it a bialgebra, but does lead to the concept of a cofree coalgebra, and a more complicated one, which yields a bialgebra, and can be extended by giving an antipode to create a Hopf algebra structure. ''Note'': In this article, all a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
