HOME

TheInfoList



OR:

In
abstract algebra In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures, which are set (mathematics), sets with specific operation (mathematics), operations acting on their elements. Algebraic structur ...
, a rupture field of a
polynomial In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...
P(X) over a given
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
K is a
field extension In mathematics, particularly in algebra, a field extension is a pair of fields K \subseteq L, such that the operations of ''K'' are those of ''L'' restricted to ''K''. In this case, ''L'' is an extension field of ''K'' and ''K'' is a subfield of ...
of K generated by a
root In vascular plants, the roots are the plant organ, organs of a plant that are modified to provide anchorage for the plant and take in water and nutrients into the plant body, which allows plants to grow taller and faster. They are most often bel ...
a of P(X). For instance, if K=\mathbb Q and P(X)=X^3-2 then \mathbb Q sqrt[3">.html" ;"title="sqrt[3">sqrt[3/math> is a rupture field for P(X). The notion is interesting mainly if P(X) is irreducible polynomial">irreducible over K. In that case, all rupture fields of P(X) over K are isomorphic, non-canonically, to K_P=K[X]/(P(X)): if L=K[a] where a is a root of P(X), then the ring homomorphism f defined by f(k)=k for all k\in K and f(X\mod P)=a is an
isomorphism In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between the ...
. Also, in this case the degree of the extension equals the degree of P. A rupture field of a polynomial does not necessarily contain all the roots of that polynomial: in the above example the field \mathbb Q sqrt[3">.html" ;"title="sqrt[3">sqrt[3/math> does not contain the other two (complex number">complex Complex commonly refers to: * Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe ** Complex system, a system composed of many components which may interact with each ...
) roots of P(X) (namely \omega\sqrt[3]2 and \omega^2\sqrt[3]2 where \omega is a primitive root of unity, primitive cube root of unity). For a field containing all the roots of a
polynomial In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...
, see
Splitting field In abstract algebra, a splitting field of a polynomial with coefficients in a field is the smallest field extension of that field over which the polynomial ''splits'', i.e., decomposes into linear factors. Definition A splitting field of a polyn ...
.


Examples

A rupture field of X^2+1 over \mathbb R is \mathbb C. It is also a
splitting field In abstract algebra, a splitting field of a polynomial with coefficients in a field is the smallest field extension of that field over which the polynomial ''splits'', i.e., decomposes into linear factors. Definition A splitting field of a polyn ...
. The rupture field of X^2+1 over \mathbb F_3 is \mathbb F_9 since there is no element of \mathbb F_3 which
squares In geometry, a square is a regular polygon, regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal si ...
to -1 (and all
quadratic extension In mathematics, the term quadratic describes something that pertains to squares, to the operation of squaring, to terms of the second degree, or equations or formulas that involve such terms. ''Quadratus'' is Latin for ''square''. Mathematics ...
s of \mathbb F_3 are isomorphic to \mathbb F_9).


References

{{DEFAULTSORT:Rupture Field Field (mathematics)