<?xml version="1.0" encoding="UTF-8"?>

<record version="3" id="10212">
 <title>primality</title>
 <name>Primality</name>
 <created>2008-01-25 17:39:57</created>
 <modified>2008-01-29 18:15:52</modified>
 <type>Definition</type>
<parent id="438">prime</parent>
 <creator id="13766" name="PrimeFan"/>
 <author id="13766" name="PrimeFan"/>
 <classification>
	<category scheme="msc" code="11A41"/>
 </classification>
 <preamble>% this is the default PlanetMath preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here
</preamble>
 <content>A general dictionary would define {\em primality} as ``the quality or condition of being a prime number.'' In mathematics, it might be more useful to define primality as a Boolean-valued function that returns True if the input number is prime and False otherwise. Two examples: the primality of 47 is True; the primality of 42 is False.

It is not necessary to perform integer factorization to know the primality of a given integer, as there are various congruences and other relations which prime numbers satisfy but non-primes don't; these can serve as primality tests. The primality of certain large numbers, such as the thirtieth Fermat number, has been determined even though all we know of its least prime factor is that it is less than the square root of the composite Fermat number. Before the primality of a large number is ascertained, it might be considered a probable prime. 1 is the only integer to be declared non-prime without a previously unknown factor being discovered.</content>
</record>
