# Difference between revisions of "Normal (mathematics)"

(→In differential geometry) |
|||

Line 22: | Line 22: | ||

Term variations: [[Topospaces:Category:Variations of normality|Variations of normality]] offers a list. | Term variations: [[Topospaces:Category:Variations of normality|Variations of normality]] offers a list. | ||

+ | ===In linear algebra=== | ||

+ | |||

+ | [[Find link::Normal form]], also called canonical form, is a standard form in which to put a matrix (typically, upto conjugation). Two normal forms commonly used are the Jordan normal form and the rational normal form. | ||

+ | |||

+ | [[Find link::Normal matrix]]: A matrix over the complex numbers, with the property that it commutes with its conjugate-transpose. | ||

===In Galois theory=== | ===In Galois theory=== | ||

− | Normal field extension: A field extension is termed normal if the fixed field under the automorphism group of the extension, is precisely the base field. | + | [[Find link::Normal field extension]]: A field extension is termed normal if the fixed field under the automorphism group of the extension, is precisely the base field. |

===In commutative algebra=== | ===In commutative algebra=== |

## Revision as of 01:20, 13 May 2008

The term *normal* in mathematics is used in the following broad senses:

- To denote something upright or perpendicular
- To denote something that is as it
*should be*. In this sense, normal means*good*or*desirable*rather than*typical*

## Contents

### In group theory

Normal subgroup: A subgroup of a group that occurs as the kernel of a homomorphism, or equivalently, such that every left coset and right coset are equal.

Related terms: Normality (the property of a subgroup being normal), normal core (the largest normal subgroup contained in a given subgroup), normal closure (the smallest normal subgroup containing a given subgroup), normalizer (the largest subgroup containing a given subgroup, in which it is normal).

Term variations: subnormal subgroup, abnormal subgroup, quasinormal subgroup, and others. See Groupprops:Category:Variations of normality, Groupprops:Category:Opposites of normality, and Groupprops:Category:Analogues of normality.

### In topology

Normal space: A topological space is termed normal if all points are closed sets (the assumption), and any two disjoint closed subsets can be separated by disjoint open subsets.

In some definitions, the assumption is skipped.

Related terms: normality (the property of a topological space being normal)

Term variations: Variations of normality offers a list.

### In linear algebra

Normal form, also called canonical form, is a standard form in which to put a matrix (typically, upto conjugation). Two normal forms commonly used are the Jordan normal form and the rational normal form.

Normal matrix: A matrix over the complex numbers, with the property that it commutes with its conjugate-transpose.

### In Galois theory

Normal field extension: A field extension is termed normal if the fixed field under the automorphism group of the extension, is precisely the base field.

### In commutative algebra

Normal domain: An integral domain is termed normal if it is integrally closed in its field of fractions.

Normal ring: A commutative unital ring is termed normal if it is integrally closed in its total quotient ring

### In differential geometry

Normal bundle to a submanifold, or immersed manifold: The quotient of the tangent bundle to the whole manifold (restricted to the submanifold), by the tangent bundle to the submanifold, or immersed manifold. When the manifolds are Riemannian, the normal bundle can be viewed as the orthogonal complement to the tangent bundle of the submanifold, in the tangent bundle to the whole manifold.

Normal coordinate system refers to a particular kind of local coordinate system for a Riemannian manifold.

Vectors in the normal bundle are termed normal vectors.

### In normed vector spaces

In general normed vector spaces, as well as in tangent spaces to Riemannian manifolds, *normalize* means to scale by a factor to make the norm equal to 1.

### In probability/statistics

Normal distribution: A particular kind of distribution parametrized by mean and variance, also called the Gaussian distribution.

Normal random variable: A random variable whose distribution is a normal distribution.