# prime

An integer $p\in \mathbb{Z}$ is prime if it has exactly two positive divisors^{}. The first few positive prime numbers^{} are $2,3,5,7,11,\mathrm{\dots}$.

A prime number is often (but not always) required to be positive.

Prime numbers are very important objects in many fields of mathematics. The notion of prime number has been generalized in a number of ways.

In class field theory, one defines a prime to be a family of equivalent valuations; using this definition, the primes of the rational numbers are given by the positive prime numbers (for a prime $p$, the corresponding valuation^{} is the $p$-adic absolute value^{}) and one extra prime usually denoted $\mathrm{\infty}$ (corresponding to the usual absolute value on $\mathbb{Q}$).

In ring theory, one defines the notion of a prime ideal^{}, and also a notion of prime element^{} (http://planetmath.org/PrimeElement). However, the notion of prime ideal is more natural in this context than the notion of prime element. For number fields^{}, for example, one has unique factorization^{} of ideals into prime ideals but one does not always have unique factorization of elements into prime elements. The prime ideals of $\mathbb{Z}$ are the ideals generated by the prime numbers, as well as the zero ideal^{}. Note that the ideal generated by $p$ is the same as the ideal generated by $-p$, so we can consider negative primes equivalent^{} to positive primes from this viewpoint as well.

Title | prime |

Canonical name | Prime |

Date of creation | 2013-03-22 11:51:52 |

Last modified on | 2013-03-22 11:51:52 |

Owner | djao (24) |

Last modified by | djao (24) |

Numerical id | 11 |

Author | djao (24) |

Entry type | Definition |

Classification | msc 11A41 |

Classification | msc 82-00 |

Classification | msc 83-00 |

Classification | msc 81-00 |

Classification | msc 46L05 |

Synonym | prime integer |

Synonym | prime number |

Synonym | rational prime |

Related topic | PrimeNumberTheorem |