|
Essential Dimension
In mathematics, essential dimension is an invariant (mathematics), invariant defined for certain algebraic structures such as algebraic groups and quadratic forms. It was introduced by Joe P. Buhler, J. Buhler and Zinovy Reichstein, Z. Reichstein and in its most generality defined by Alexander Merkurjev, A. Merkurjev. Basically, essential dimension measures the complexity of algebraic structures via their field (mathematics), fields of definition. For example, a quadratic form ''q'' : ''V'' → ''K'' over a field ''K'', where ''V'' is a ''K''-vector space, is said to be defined over a field extension, subfield ''L'' of ''K'' if there exists a ''K''-basis (linear algebra), basis ''e''1,...,''e''''n'' of ''V'' such that ''q'' can be expressed in the form q(\sum x_i e_i) = \sum a_ x_ix_j with all coefficients ''a''''ij'' belonging to ''L''. If ''K'' has characteristic (algebra), characteristic different from 2, every quadratic form is quadratic form#Equivalence of Quadratic Forms, diago ... [...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] |
Category Of Sets
In the mathematical field of category theory, the category of sets, denoted as Set, is the category whose objects are sets. The arrows or morphisms between sets ''A'' and ''B'' are the total functions from ''A'' to ''B'', and the composition of morphisms is the composition of functions. Many other categories (such as the category of groups, with group homomorphisms as arrows) add structure to the objects of the category of sets and/or restrict the arrows to functions of a particular kind. Properties of the category of sets The axioms of a category are satisfied by Set because composition of functions is associative, and because every set ''X'' has an identity function id''X'' : ''X'' → ''X'' which serves as identity element for function composition. The epimorphisms in Set are the surjective maps, the monomorphisms are the injective maps, and the isomorphisms are the bijective maps. The empty set serves as the initial object in Set with empty functions as morphisms. Every s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
P-group
In mathematics, specifically group theory, given a prime number ''p'', a ''p''-group is a group in which the order of every element is a power of ''p''. That is, for each element ''g'' of a ''p''-group ''G'', there exists a nonnegative integer ''n'' such that the product of ''pn'' copies of ''g'', and not fewer, is equal to the identity element. The orders of different elements may be different powers of ''p''. Abelian ''p''-groups are also called ''p''-primary or simply primary. A finite group is a ''p''-group if and only if its order (the number of its elements) is a power of ''p''. Given a finite group ''G'', the Sylow theorems guarantee the existence of a subgroup of ''G'' of order ''pn'' for every prime power ''pn'' that divides the order of ''G''. Every finite ''p''-group is nilpotent. The remainder of this article deals with finite ''p''-groups. For an example of an infinite abelian ''p''-group, see Prüfer group, and for an example of an infinite simple ''p''-grou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraically Closed Field
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in . Examples As an example, the field of real numbers is not algebraically closed, because the polynomial equation ''x''2 + 1 = 0 has no solution in real numbers, even though all its coefficients (1 and 0) are real. The same argument proves that no subfield of the real field is algebraically closed; in particular, the field of rational numbers is not algebraically closed. Also, no finite field ''F'' is algebraically closed, because if ''a''1, ''a''2, ..., ''an'' are the elements of ''F'', then the polynomial (''x'' − ''a''1)(''x'' − ''a''2) ⋯ (''x'' − ''a''''n'') + 1 has no zero in ''F''. By contrast, the fundamental theorem of algebra states that the field of complex numbers is algebraically closed. Another example of an algebraicall ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spin Group
In mathematics the spin group Spin(''n'') page 15 is the double cover of the special orthogonal group , such that there exists a short exact sequence of Lie groups (when ) :1 \to \mathrm_2 \to \operatorname(n) \to \operatorname(n) \to 1. As a Lie group, Spin(''n'') therefore shares its dimension, , and its Lie algebra with the special orthogonal group. For , Spin(''n'') is simply connected and so coincides with the universal cover of SO(''n''). The non-trivial element of the kernel is denoted −1, which should not be confused with the orthogonal transform of reflection through the origin, generally denoted −. Spin(''n'') can be constructed as a subgroup of the invertible elements in the Clifford algebra Cl(''n''). A distinct article discusses the spin representations. Motivation and physical interpretation The spin group is used in physics to describe the symmetries of (electrically neutral, uncharged) fermions. Its complexification, Spinc, is used to describe electrical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Representation (mathematics)
In mathematics, a representation is a very general relationship that expresses similarities (or equivalences) between mathematical objects or structures. Roughly speaking, a collection ''Y'' of mathematical objects may be said to ''represent'' another collection ''X'' of objects, provided that the properties and relationships existing among the representing objects ''yi'' conform, in some consistent way, to those existing among the corresponding represented objects ''xi''. More specifically, given a set ''Π'' of properties and relations, a ''Π''-representation of some structure ''X'' is a structure ''Y'' that is the image of ''X'' under a homomorphism that preserves ''Π''. The label ''representation'' is sometimes also applied to the homomorphism itself (such as group homomorphism in group theory). Representation theory Perhaps the most well-developed example of this general notion is the subfield of abstract algebra called representation theory, which studies the representing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Algebraic Group
In mathematics, a linear algebraic group is a subgroup of the group of invertible n\times n matrices (under matrix multiplication) that is defined by polynomial equations. An example is the orthogonal group, defined by the relation M^TM = I_n where M^T is the transpose of M. Many Lie groups can be viewed as linear algebraic groups over the field of real or complex numbers. (For example, every compact Lie group can be regarded as a linear algebraic group over R (necessarily R-anisotropic and reductive), as can many noncompact groups such as the simple Lie group SL(''n'',R).) The simple Lie groups were classified by Wilhelm Killing and Élie Cartan in the 1880s and 1890s. At that time, no special use was made of the fact that the group structure can be defined by polynomials, that is, that these are algebraic groups. The founders of the theory of algebraic groups include Maurer, Chevalley, and . In the 1950s, Armand Borel constructed much of the theory of algebraic groups as it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moduli Of Algebraic Curves
In algebraic geometry, a moduli space of (algebraic) curves is a geometric space (typically a scheme or an algebraic stack) whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on the restrictions applied to the classes of algebraic curves considered, the corresponding moduli problem and the moduli space is different. One also distinguishes between fine and coarse moduli spaces for the same moduli problem. The most basic problem is that of moduli of smooth complete curves of a fixed genus. Over the field of complex numbers these correspond precisely to compact Riemann surfaces of the given genus, for which Bernhard Riemann proved the first results about moduli spaces, in particular their dimensions ("number of parameters on which the complex structure depends"). Moduli stacks of stable curves The moduli stack \mathcal_ classifies families of smooth projective curves, together with their isomorphisms. When g > 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fibered Category
Fibred categories (or fibered categories) are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which ''inverse images'' (or ''pull-backs'') of objects such as vector bundles can be defined. As an example, for each topological space there is the category of vector bundles on the space, and for every continuous map from a topological space ''X'' to another topological space ''Y'' is associated the pullback functor taking bundles on ''Y'' to bundles on ''X''. Fibred categories formalise the system consisting of these categories and inverse image functors. Similar setups appear in various guises in mathematics, in particular in algebraic geometry, which is the context in which fibred categories originally appeared. Fibered categories are used to define stacks, which are fibered categories (over a site) with "descent". Fibrations also play an important role in categorical semantics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flat Topology
In mathematics, the flat topology is a Grothendieck topology used in algebraic geometry. It is used to define the theory of flat cohomology; it also plays a fundamental role in the theory of descent (faithfully flat descent). The term ''flat'' here comes from flat modules. There are several slightly different flat topologies, the most common of which are the fppf topology and the fpqc topology. ''fppf'' stands for ', and in this topology, a morphism of affine schemes is a covering morphism if it is faithfully flat and of finite presentation. ''fpqc'' stands for ', and in this topology, a morphism of affine schemes is a covering morphism if it is faithfully flat. In both categories, a covering family is defined be a family which is a cover on Zariski open subsets. In the fpqc topology, any faithfully flat and quasi-compact morphism is a cover. These topologies are closely related to descent. The "pure" faithfully flat topology without any further finiteness conditions such as qua ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torsor
In mathematics, a principal homogeneous space, or torsor, for a group ''G'' is a homogeneous space ''X'' for ''G'' in which the stabilizer subgroup of every point is trivial. Equivalently, a principal homogeneous space for a group ''G'' is a non-empty set ''X'' on which ''G'' acts freely and transitively (meaning that, for any ''x'', ''y'' in ''X'', there exists a unique ''g'' in ''G'' such that , where · denotes the (right) action of ''G'' on ''X''). An analogous definition holds in other categories, where, for example, *''G'' is a topological group, ''X'' is a topological space and the action is continuous, *''G'' is a Lie group, ''X'' is a smooth manifold and the action is smooth, *''G'' is an algebraic group, ''X'' is an algebraic variety and the action is regular. Definition If ''G'' is nonabelian then one must distinguish between left and right torsors according to whether the action is on the left or right. In this article, we will use right actions. To state the defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isomorphism Class
In mathematics, an isomorphism class is a collection of mathematical objects isomorphic to each other. Isomorphism classes are often defined as the exact identity of the elements of the set is considered irrelevant, and the properties of the structure of the mathematical object are studied. Examples of this are ordinals and graphs. However, there are circumstances in which the isomorphism class of an object conceals vital internal information about it; consider these examples: * The associative algebras consisting of coquaternions and 2 × 2 real matrices are isomorphic as rings. Yet they appear in different contexts for application (plane mapping and kinematics) so the isomorphism is insufficient to merge the concepts. *In homotopy theory, the fundamental group of a space X at a point p, though technically denoted \pi_1(X,p) to emphasize the dependence on the base point, is often written lazily as simply \pi_1(X) if X is path connected. The reason for this is th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
