|
Reduced Ramification Index Of An Extension Of Valuations
In algebra (in particular in algebraic geometry or algebraic number field, algebraic number theory), a valuation is a Function (mathematics), function on a Field (mathematics), field that provides a measure of the size or multiplicity of elements of the field. It generalizes to commutative algebra the notion of size inherent in consideration of the degree of a pole (complex analysis), pole or Multiplicity (mathematics), multiplicity of a zero (complex analysis), zero in complex analysis, the degree of divisibility of a number by a prime number in number theory, and the geometrical concept of contact (geometry), contact between two algebraic variety, algebraic or analytic variety, analytic varieties in algebraic geometry. A field with a valuation on it is called a valued field. Definition One starts with the following objects: *a field (mathematics), field and its multiplicative group ''K''×, *an abelian group, abelian totally ordered group . The ordering and group law on are ex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebra
Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic operations other than the standard arithmetic operations, such as addition and multiplication. Elementary algebra is the main form of algebra taught in schools. It examines mathematical statements using variables for unspecified values and seeks to determine for which values the statements are true. To do so, it uses different methods of transforming equations to isolate variables. Linear algebra is a closely related field that investigates linear equations and combinations of them called '' systems of linear equations''. It provides methods to find the values that solve all equations in the system at the same time, and to study the set of these solutions. Abstract algebra studies algebraic structures, which consist of a set of mathemati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Totally Ordered Group
In mathematics, specifically abstract algebra, a linearly ordered or totally ordered group is a group ''G'' equipped with a total order "≤" that is ''translation-invariant''. This may have different meanings. We say that (''G'', ≤) is a: * left-ordered group if ≤ is left-invariant, that is ''a'' ≤ ''b'' implies ''ca'' ≤ ''cb'' for all ''a'', ''b'', ''c'' in ''G'', * right-ordered group if ≤ is right-invariant, that is ''a'' ≤ ''b'' implies ''ac'' ≤ ''bc'' for all ''a'', ''b'', ''c'' in ''G'', * bi-ordered group if ≤ is bi-invariant, that is it is both left- and right-invariant. A group ''G'' is said to be left-orderable (or right-orderable, or bi-orderable) if there exists a left- (or right-, or bi-) invariant order on ''G''. A simple necessary condition for a group to be left-orderable is to have no elements of finite order; however this is not a sufficient condition. It is equivalent for a group to be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Extended Real Numbers
In mathematics, the extended real number system is obtained from the real number system \R by adding two elements denoted +\infty and -\infty that are respectively greater and lower than every real number. This allows for treating the potential infinities of infinitely increasing sequences and infinitely decreasing series as actual infinities. For example, the infinite sequence (1,2,\ldots) of the natural numbers increases ''infinitively'' and has no upper bound in the real number system (a potential infinity); in the extended real number line, the sequence has +\infty as its least upper bound and as its limit (an actual infinity). In calculus and mathematical analysis, the use of +\infty and -\infty as actual limits extends significantly the possible computations. It is the Dedekind–MacNeille completion of the real numbers. The extended real number system is denoted \overline, \infty,+\infty/math>, or \R\cup\left\. When the meaning is clear from context, the symbol +\inf ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-Archimedean Ordered Field
In mathematics, a non-Archimedean ordered field is an ordered field that does not satisfy the Archimedean property. Such fields will contain infinitesimal and infinitely large elements, suitably defined. Definition Suppose is an ordered field. We say that satisfies the Archimedean property if, for every two positive elements and of , there exists a natural number such that . Here, denotes the field element resulting from forming the sum of copies of the field element , so that is the sum of copies of . An ordered field that does not satisfy the Archimedean property is a non-Archimedean ordered field. Examples The fields of rational numbers and real numbers, with their usual orderings, satisfy the Archimedean property. Examples of non-Archimedean ordered fields are the Levi-Civita field, the hyperreal numbers, the surreal numbers, the Dehn planes, Dehn field, and the field of rational functions with real coefficients (where we define to mean that for large enough ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Archimedean Group
In abstract algebra, a branch of mathematics, an Archimedean group is a linearly ordered group for which the Archimedean property holds: every two positive group elements are bounded by integer multiples of each other. The set R of real numbers together with the operation of addition and the usual ordering relation between pairs of numbers is an Archimedean group. By a result of Otto Hölder, every Archimedean group is isomorphic to a subgroup of this group. The name "Archimedean" comes from Otto Stolz, who named the Archimedean property after its appearance in the works of Archimedes. Definition An additive group consists of a set of elements, an associative addition operation that combines pairs of elements and returns a single element, an identity element (or zero element) whose sum with any other element is the other element, and an additive inverse operation such that the sum of any element and its inverse is zero. A group is a linearly ordered group when, in addition, its ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Number
In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every real number can be almost uniquely represented by an infinite decimal expansion. The real numbers are fundamental in calculus (and in many other branches of mathematics), in particular by their role in the classical definitions of limits, continuity and derivatives. The set of real numbers, sometimes called "the reals", is traditionally denoted by a bold , often using blackboard bold, . The adjective ''real'', used in the 17th century by René Descartes, distinguishes real numbers from imaginary numbers such as the square roots of . The real numbers include the rational numbers, such as the integer and the fraction . The rest of the real numbers are called irrational numbers. Some irrational numbers (as well as all the rationals) a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leading-order Term
The leading-order terms (or leading-order corrections) within a mathematical equation, expression or model are the terms with the largest order of magnitude.J.K.Hunter, ''Asymptotic Analysis and Singular Perturbation Theory'', 2004. http://www.math.ucdavis.edu/~hunter/notes/asy.pdf The sizes of the different terms in the equation(s) will change as the variables change, and hence, which terms are leading-order may also change. A common and powerful way of simplifying and understanding a wide variety of complicated mathematical models is to investigate which terms are the largest (and therefore most important), for particular sizes of the variables and parameters, and analyse the behaviour produced by just these terms (regarding the other smaller terms as negligible). This gives the main behaviour – the true behaviour is only small deviations away from this. The main behaviour may be captured sufficiently well by just the strictly leading-order terms, or it may be decided that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Germ (mathematics)
In mathematics, the notion of a germ of an object in/on a topological space is an equivalence class of that object and others of the same kind that captures their shared local properties. In particular, the objects in question are mostly functions (or maps) and subsets. In specific implementations of this idea, the functions or subsets in question will have some property, such as being analytic or smooth, but in general this is not needed (the functions in question need not even be continuous); it is however necessary that the space on/in which the object is defined is a topological space, in order that the word ''local'' has some meaning. Name The name is derived from ''cereal germ'' in a continuation of the sheaf metaphor, as a germ is (locally) the "heart" of a function, as it is for a grain. Formal definition Basic definition Given a point ''x'' of a topological space ''X'', and two maps f, g: X \to Y (where ''Y'' is any set), then f and g define the same germ at ''x'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Geometry
In mathematics, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of geometry using a coordinate system. This contrasts with synthetic geometry. Analytic geometry is used in physics and engineering, and also in aviation, Aerospace engineering, rocketry, space science, and spaceflight. It is the foundation of most modern fields of geometry, including Algebraic geometry, algebraic, Differential geometry, differential, Discrete geometry, discrete and computational geometry. Usually the Cartesian coordinate system is applied to manipulate equations for planes, straight lines, and circles, often in two and sometimes three dimensions. Geometrically, one studies the Euclidean plane (two dimensions) and Euclidean space. As taught in school books, analytic geometry can be explained more simply: it is concerned with defining and representing geometric shapes in a numerical way and extracting numerical information from shapes' numerical definitions and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Spaces
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are a general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane. A metric may correspond to a metaphorical, rather than physical, notion of distance: for example, the set of 100-character Unicode strings can be equipped with the Hamming distance, which measures the number of characters that need to be changed to get from one string to another. Since they are very general, metric spaces are a tool used in many different branches of mathematics. Many types of mathematical objects have a natural notion of distance and theref ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Triangle Inequality
In mathematics, the triangle inequality states that for any triangle, the sum of the lengths of any two sides must be greater than or equal to the length of the remaining side. This statement permits the inclusion of Degeneracy (mathematics)#Triangle, degenerate triangles, but some authors, especially those writing about elementary geometry, will exclude this possibility, thus leaving out the possibility of equality. If , , and are the lengths of the sides of a triangle then the triangle inequality states that :c \leq a + b , with equality only in the degenerate case of a triangle with zero area. In Euclidean geometry and some other geometries, the triangle inequality is a theorem about vectors and vector lengths (Norm (mathematics), norms): :\, \mathbf u + \mathbf v\, \leq \, \mathbf u\, + \, \mathbf v\, , where the length of the third side has been replaced by the length of the vector sum . When and are real numbers, they can be viewed as vectors in \R^1, and the triang ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Homomorphism
In mathematics, given two groups, (''G'',∗) and (''H'', ·), a group homomorphism from (''G'',∗) to (''H'', ·) is a function ''h'' : ''G'' → ''H'' such that for all ''u'' and ''v'' in ''G'' it holds that : h(u*v) = h(u) \cdot h(v) where the group operation on the left side of the equation is that of ''G'' and on the right side that of ''H''. From this property, one can deduce that ''h'' maps the identity element ''eG'' of ''G'' to the identity element ''eH'' of ''H'', : h(e_G) = e_H and it also maps inverses to inverses in the sense that : h\left(u^\right) = h(u)^. \, Hence one can say that ''h'' "is compatible with the group structure". In areas of mathematics where one considers groups endowed with additional structure, a ''homomorphism'' sometimes means a map which respects not only the group structure (as above) but also the extra structure. For example, a homomorphism of topological groups is often required to be continuous. Properties Let e_ be the ident ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
