|
Arboreal Galois Representation
In arithmetic dynamics, an arboreal Galois representation is a continuous group homomorphism between the absolute Galois group of a field and the automorphism group of an infinite, regular, rooted tree. The study of arboreal Galois representations of goes back to the works of Odoni in 1980s. Definition Let K be a field and K^ be its separable closure. The Galois group G_K of the extension K^/K is called the absolute Galois group of K. This is a profinite group and it is therefore endowed with its natural Krull topology. For a positive integer d, let T^d be the infinite regular rooted tree of degree d. This is an infinite tree where one node is labeled as the root of the tree and every node has exactly d descendants. An automorphism of T^d is a bijection of the set of nodes that preserves vertex-edge connectivity. The group Aut(T^d) of all automorphisms of T^d is a profinite group as well, as it can be seen as the inverse limit of the automorphism groups of the finite sub-tre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arithmetic Dynamics
Arithmetic dynamics is a field that amalgamates two areas of mathematics, dynamical systems and number theory. Part of the inspiration comes from complex dynamics, the study of the Iterated function, iteration of self-maps of the complex plane or other complex algebraic varieties. Arithmetic dynamics is the study of the number-theoretic properties of integer point, integer, rational point, rational, p-adic number, -adic, or algebraic points under repeated application of a polynomial or rational function. A fundamental goal is to describe arithmetic properties in terms of underlying geometric structures. ''Global arithmetic dynamics'' is the study of analogues of classical diophantine geometry in the setting of discrete dynamical systems, while ''local arithmetic dynamics'', also called p-adic dynamics, p-adic or nonarchimedean dynamics, is an analogue of complex dynamics in which one replaces the complex numbers by a -adic field such as or and studies chaotic behavior and the Fa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Periodic Point
In mathematics, in the study of iterated functions and dynamical systems, a periodic point of a function (mathematics), function is a point which the system returns to after a certain number of function iterations or a certain amount of time. Iterated functions Given a mapping (mathematics), mapping from a set (mathematics), set into itself, :f: X \to X, a point in is called periodic point if there exists an >0 so that :\ f_n(x) = x where is the th iterated function, iterate of . The smallest positive integer satisfying the above is called the ''prime period'' or ''least period'' of the point . If every point in is a periodic point with the same period , then is called ''periodic'' with period (this is not to be confused with the notion of a periodic function). If there exist distinct and such that :f_n(x) = f_m(x) then is called a preperiodic point. All periodic points are preperiodic. If is a diffeomorphism of a differentiable manifold, so that the derivative f_n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Critical Point (mathematics)
In mathematics, a critical point is the argument of a function where the function derivative is zero (or undefined, as specified below). The value of the function at a critical point is a . More specifically, when dealing with functions of a real variable, a critical point is a point in the domain of the function where the function derivative is equal to zero (also known as a ''stationary point'') or where the function is not differentiable. Similarly, when dealing with complex variables, a critical point is a point in the function's domain where its derivative is equal to zero (or the function is not ''holomorphic''). Likewise, for a function of several real variables, a critical point is a value in its domain where the gradient norm is equal to zero (or undefined). This sort of definition extends to differentiable maps between and a critical point being, in this case, a point where the rank of the Jacobian matrix is not maximal. It extends further to differentiable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Global Field
In mathematics, a global field is one of two types of fields (the other one is local fields) that are characterized using valuations. There are two kinds of global fields: *Algebraic number field: A finite extension of \mathbb *Global function field: The function field of an irreducible algebraic curve over a finite field, equivalently, a finite extension of \mathbb_q(T), the field of rational functions in one variable over the finite field with q=p^n elements. An axiomatic characterization of these fields via valuation theory was given by Emil Artin and George Whaples in the 1940s. Formal definitions A ''global field'' is one of the following: ;An algebraic number field An algebraic number field ''F'' is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus ''F'' is a field that contains Q and has finite dimension when considered as a vector space over Q. ;The function field of an irreducible algebraic curve over a finite field A fun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension). Thus K is a field that contains \mathbb and has finite dimension when considered as a vector space over The study of algebraic number fields, that is, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory. This study reveals hidden structures behind the rational numbers, by using algebraic methods. Definition Prerequisites The notion of algebraic number field relies on the concept of a field. A field consists of a set of elements together with two operations, namely addition, and multiplication, and some distributivity assumptions. These operations make the field into an abelian group under addition, and they make the nonzero elements of the field into another abelian group under multiplication ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbertian Field
In mathematics, a thin set in the sense of Serre, named after Jean-Pierre Serre, is a certain kind of subset constructed in algebraic geometry over a given field ''K'', by allowed operations that are in a definite sense 'unlikely'. The two fundamental ones are: solving a polynomial equation that may or may not be the case; solving within ''K'' a polynomial that does not always factorise. One is also allowed to take finite unions. Formulation More precisely, let ''V'' be an algebraic variety over ''K'' (assumptions here are: ''V'' is an irreducible set, a quasi-projective variety, and ''K'' has characteristic zero). A type I thin set is a subset of ''V''(''K'') that is not Zariski-dense. That means it lies in an algebraic set that is a finite union of algebraic varieties of dimension lower than ''d'', the dimension of ''V''. A type II thin set is an image of an algebraic morphism (essentially a polynomial mapping) φ, applied to the ''K''-points of some other ''d''-dimensional a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Space
In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called scalar (mathematics), ''scalars''. The operations of vector addition and scalar multiplication must satisfy certain requirements, called ''vector axioms''. Real vector spaces and complex vector spaces are kinds of vector spaces based on different kinds of scalars: real numbers and complex numbers. Scalars can also be, more generally, elements of any field (mathematics), field. Vector spaces generalize Euclidean vectors, which allow modeling of Physical quantity, physical quantities (such as forces and velocity) that have not only a Magnitude (mathematics), magnitude, but also a Orientation (geometry), direction. The concept of vector spaces is fundamental for linear algebra, together with the concept of matrix (mathematics), matrices, which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Span
In mathematics, the linear span (also called the linear hull or just span) of a set S of elements of a vector space V is the smallest linear subspace of V that contains S. It is the set of all finite linear combinations of the elements of , and the intersection of all linear subspaces that contain S. It is often denoted pp. 29-30, §§ 2.5, 2.8 or \langle S \rangle. For example, in geometry, two linearly independent vectors span a plane. To express that a vector space is a linear span of a subset , one commonly uses one of the following phrases: spans ; is a spanning set of ; is spanned or generated by ; is a generator set or a generating set of . Spans can be generalized to many mathematical structures, in which case, the smallest substructure containing S is generally called the substructure ''generated'' by S. Definition Given a vector space over a field , the span of a set of vectors (not necessarily finite) is defined to be the intersection of all subsp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Characteristic (algebra)
In mathematics, the characteristic of a ring , often denoted , is defined to be the smallest positive number of copies of the ring's multiplicative identity () that will sum to the additive identity (). If no such number exists, the ring is said to have characteristic zero. That is, is the smallest positive number such that: : \underbrace_ = 0 if such a number exists, and otherwise. Motivation The special definition of the characteristic zero is motivated by the equivalent definitions characterized in the next section, where the characteristic zero is not required to be considered separately. The characteristic may also be taken to be the exponent of the ring's additive group, that is, the smallest positive integer such that: : \underbrace_ = 0 for every element of the ring (again, if exists; otherwise zero). This definition applies in the more general class of rngs (see '); for (unital) rings the two definitions are equivalent due to their distributive law. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Variety
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a smooth Algebraic variety#Projective variety, projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for research on other topics in algebraic geometry and number theory. An abelian variety can be defined by equations having coefficients in any Field (mathematics), field; the variety is then said to be defined ''over'' that field. Historically the first abelian varieties to be studied were those defined over the field of complex numbers. Such abelian varieties turn out to be exactly those Complex torus, complex tori that can be holomorphic, holomorphically embedded into a complex projective space. Abelian varieties defined over algebraic number fields are a special case, which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
