Separable Field Extension
In field theory, a branch of algebra, an algebraic field extension E/F is called a separable extension if for every \alpha\in E, the minimal polynomial of \alpha over is a separable polynomial (i.e., its formal derivative is not the zero polynomial, or equivalently it has no repeated roots in any extension field).Isaacs, p. 281 There is also a more general definition that applies when is not necessarily algebraic over . An extension that is not separable is said to be ''inseparable''. Every algebraic extension of a field of characteristic zero is separable, and every algebraic extension of a finite field is separable.Isaacs, Theorem 18.11, p. 281 It follows that most extensions that are considered in mathematics are separable. Nevertheless, the concept of separability is important, as the existence of inseparable extensions is the main obstacle for extending many theorems proved in characteristic zero to non-zero characteristic. For example, the fundamental theorem of Galois t ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Field Theory (mathematics)
Field theory may refer to: Science * Field (mathematics), the theory of the algebraic concept of field * Field theory (physics), a physical theory which employs fields in the physical sense, consisting of three types: ** Classical field theory, the theory and dynamics of classical fields ** Quantum field theory, the theory of quantum mechanical fields ** Statistical field theory, the theory of critical phase transitions **Grand unified theory Social science * Field theory (psychology), a psychological theory which examines patterns of interaction between the individual and his or her environment * Field theory (sociology) In sociology, field theory examines how individuals construct social fields, and how they are affected by such fields. Social fields are environments in which competition between individuals and between groups takes place, such as markets, academi ...

Square-free Polynomial
In mathematics, a square-free polynomial is a polynomial defined over a field (or more generally, an integral domain) that does not have as a divisor any square of a non-constant polynomial. A univariate polynomial is square free if and only if it has no multiple root in an algebraically closed field containing its coefficients. This motivates that, in applications in physics and engineering, a square-free polynomial is commonly called a polynomial with no repeated roots. In the case of univariate polynomials, the product rule implies that, if divides , then divides the formal derivative of . The converse is also true and hence, f is square-free if and only if 1 is a greatest common divisor of the polynomial and its derivative. A square-free decomposition or square-free factorization of a polynomial is a factorization into powers of square-free polynomials : f = a_1 a_2^2 a_3^3 \cdots a_n^n =\prod_^n a_k^k\, where those of the that are non-constant are pairwise coprime ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Perfect Field
In algebra, a field ''k'' is perfect if any one of the following equivalent conditions holds: * Every irreducible polynomial over ''k'' has distinct roots. * Every irreducible polynomial over ''k'' is separable. * Every finite extension of ''k'' is separable. * Every algebraic extension of ''k'' is separable. * Either ''k'' has characteristic 0, or, when ''k'' has characteristic , every element of ''k'' is a ''p''th power. * Either ''k'' has characteristic 0, or, when ''k'' has characteristic , the Frobenius endomorphism is an automorphism of ''k''. * The separable closure of ''k'' is algebraically closed. * Every reduced commutative ''k''-algebra ''A'' is a separable algebra; i.e., A \otimes_k F is reduced for every field extension ''F''/''k''. (see below) Otherwise, ''k'' is called imperfect. In particular, all fields of characteristic zero and all finite fields are perfect. Perfect fields are significant because Galois theory over these fields becomes simpler, s ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Imperfect Field
In algebra, a field ''k'' is perfect if any one of the following equivalent conditions holds: * Every irreducible polynomial over ''k'' has distinct roots. * Every irreducible polynomial over ''k'' is separable. * Every finite extension of ''k'' is separable. * Every algebraic extension of ''k'' is separable. * Either ''k'' has characteristic 0, or, when ''k'' has characteristic , every element of ''k'' is a ''p''th power. * Either ''k'' has characteristic 0, or, when ''k'' has characteristic , the Frobenius endomorphism is an automorphism of ''k''. * The separable closure of ''k'' is algebraically closed. * Every reduced commutative ''k''-algebra ''A'' is a separable algebra; i.e., A \otimes_k F is reduced for every field extension ''F''/''k''. (see below) Otherwise, ''k'' is called imperfect. In particular, all fields of characteristic zero and all finite fields are perfect. Perfect fields are significant because Galois theory over these fields becomes simpler, since the ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Field Of Rational Functions
In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded. The construction of the field of fractions is modeled on the relationship between the integral domain of integers and the field of rational numbers. Intuitively, it consists of ratios between integral domain elements. The field of fractions of R is sometimes denoted by \operatorname(R) or \operatorname(R), and the construction is sometimes also called the fraction field, field of quotients, or quotient field of R. All four are in common usage, but are not to be confused with the quotient of a ring by an ideal, which is a quite different concept. For a commutative ring which is not an integral domain, the analogous construction is called the localization or ring of quotients. Definition Given an integral domain and letting R^* = R \setminus \, we define an equivalence relation on R \times R^* by letting (n,d) \sim (m,b) whenever nb = md. We denote the equival ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Indeterminate (variable)
In mathematics, particularly in formal algebra, an indeterminate is a symbol that is treated as a variable, but does not stand for anything else except itself. It may be used as a placeholder in objects such as polynomials and formal power series. In particular: * It does not designate a constant or a parameter of the problem. * It is not an unknown that could be solved for. * It is not a variable designating a function argument, or a variable being summed or integrated over. * It is not any type of bound variable. * It is just a symbol used in an entirely formal way. When used as placeholders, a common operation is to substitute mathematical expressions (of an appropriate type) for the indeterminates. By a common abuse of language, mathematical texts may not clearly distinguish indeterminates from ordinary variables. Polynomials A polynomial in an indeterminate X is an expression of the form a_0 + a_1X + a_2X^2 + \ldots + a_nX^n, where the ''a_i'' are called the co ...