User:Ascii/ProofWiki Sampling Notes for Theorems/Number Theory


 * 1) Set of Integers Bounded Below by Integer has Smallest Element
 * Let $\Z$ be the set of integers.
 * Let $\le$ be the ordering on the integers.
 * Let $\O \subset S \subseteq \Z$ such that $S$ is bounded below in $\struct {\Z, \le}$.
 * Then $S$ has a smallest element.
 * 1) Set of Integers Bounded Above by Integer has Greatest Element
 * Let $\Z$ be the set of integers.
 * Let $\le$ be the ordering on the integers.
 * Let $\O \subset S \subseteq \Z$ such that $S$ is bounded above in $\struct {\Z, \le}$.
 * Then $S$ has a greatest element.
 * 1) Division Theorem
 * $\forall a, b \in \Z, b \ne 0: \exists! q, r \in \Z: a = q b + r, 0 \le r < \left\lvert{b}\right\rvert$
 * 1) Integer Divisor Results/One Divides all Integers
 * $\forall n \in \Z: 1 \divides n \land -1 \divides n$
 * 1) Integer Divisor Results/Integer Divides Itself
 * $\forall n \in \Z: n \divides n$
 * 1) Integer Divisor Results/Integer Divides its Negative
 * $\forall n \in \Z: n \divides (-n)$
 * 1) Integer Divisor Results/Integer Divides its Absolute Value
 * $\forall n \in \Z: n \divides \left \lvert {n}\right \rvert$
 * $\forall n \in \Z: \left \lvert {n}\right \rvert \divides n$
 * 1) Integer Divisor Results/Integer Divides Zero
 * $\forall n \in \Z: n \divides 0$
 * 1) Zero Divides Zero
 * $\forall n \in \Z: 0 \divides n \implies n = 0$
 * 1) Divisor Relation is Transitive
 * $\forall x, y, z \in \Z: x \divides y \land y \divides z \implies x \divides z$
 * 1) Divisor Relation is Antisymmetric
 * $\forall a, b \in \Z_{>0}: a \divides b \land b \divides a \implies a = b$
 * 1) Divisor Relation on Positive Integers is Partial Ordering
 * The divisor relation is a partial ordering of $\Z_{>0}$.
 * 1) Integer Divisor Results/Divisors of Negative Values
 * $\forall m, n \in \Z: m \mathrel \backslash n \iff -m \mathrel \backslash n \iff m \mathrel \backslash -n \iff -m \mathrel \backslash -n$
 * 1) Existence of Greatest Common Divisor
 * $\forall a, b \in \Z: a \ne 0 \lor b \ne 0$, there exists a largest $d \in \Z_{>0}$ such that $d \mathrel \backslash a$ and $d \mathrel \backslash b$.
 * That is, the greatest common divisor of $a$ and $b$ always exists.
 * 1) Greatest Common Divisor is at least 1
 * The greatest common divisor of $a$ and $b$ is at least $1$: $\forall a, b \in \Z_{\ne 0}: \gcd \set {a, b} \ge 1$
 * 1) GCD of Integer and Divisor
 * $a, b \in \Z_{>0}: a \mathop \backslash b \implies \gcd \left\{{a, b}\right\} = a$
 * 1) GCD for Negative Integers
 * $\gcd \left\{{a, b}\right\} = \gcd \left\{{\left|{a}\right|, b}\right\} = \gcd \left\{{a, \left|{b}\right|}\right\} = \gcd \left\{{\left|{a}\right|, \left|{b}\right|}\right\}$
 * $\gcd \left\{{a, b}\right\} = \gcd \left\{{-a, b}\right\} = \gcd \left\{{a, -b}\right\} = \gcd \left\{{-a, -b}\right\}$
 * 1) GCD with Zero
 * $\forall a \in \Z_{\ne 0}: \gcd \left\{{a, 0}\right\} = \left\lvert{a}\right\rvert$
 * 1) Bézout's Lemma
 * Let $a, b \in \Z$ such that $a$ and $b$ are not both zero.
 * Then $\exists x, y \in \Z: a x + b y = \gcd \left\{{a, b}\right\}$
 * That is, $\gcd \left\{{a, b}\right\}$ is an integer combination (or linear combination) of $a$ and $b$.
 * Furthermore, $\gcd \left\{{a, b}\right\}$ is the smallest positive integer combination of $a$ and $b$.
 * 1) GCD with Remainder
 * Let $a, b \in \Z$ and $q, r \in \Z$ such that $a = q b + r$.
 * Then $\gcd \left\{{a, b}\right\} = \gcd \left\{{b, r}\right\}$.
 * 1) Coprime Relation for Integers is Non-Reflexive
 * 2) Coprime Relation for Integers is Not Reflexive
 * 3) Coprime Relation for Integers is Not Antireflexive
 * 4) Coprime Relation for Integers is Symmetric
 * 5) Coprime Relation for Integers is Not Antisymmetric
 * 6) Coprime Relation for Integers is Non-transitive
 * 7) Coprime Relation for Integers is Not Transitive
 * 8) Coprime Relation for Integers is Not Antitransitive

= Congruence =


 * 1) Congruence Modulo Integer is Equivalence Relation
 * For all $z \in \Z$, congruence modulo $z$ is an equivalence relation.
 * 1) Modulo Addition is Closed/Integers
 * Let $m \in \Z$ be an integer.
 * Then addition modulo $m$ on the set of integers modulo $m$ is closed: $\forall \eqclass x m, \eqclass y m \in \Z_m: \eqclass x m +_m \eqclass y m \in \Z_m$.
 * 1) Modulo Addition is Associative
 * $\forall \eqclass x m, \eqclass y m, \eqclass z m \in \Z_m: \paren {\eqclass x m +_m \eqclass y m} +_m \eqclass z m = \eqclass x m +_m \paren {\eqclass y m +_m \eqclass z m}$
 * 1) Modulo Addition is Commutative
 * Modulo addition is commutative: $\forall x, y, z \in \Z: x + y \pmod m = y + x \pmod m$
 * 1) Modulo Multiplication is Closed
 * Multiplication modulo $m$ is closed on the set of integers modulo $m$: $\forall \eqclass x m, \eqclass y m \in \Z_m: \eqclass x m \times_m \eqclass y m \in \Z_m$.
 * 1) Modulo Multiplication is Associative
 * Multiplication modulo $m$ is associative: $\forall \left[\!\left[{x}\right]\!\right]_m, \left[\!\left[{y}\right]\!\right]_m, \left[\!\left[{z}\right]\!\right]_m \in \Z_m: \left({\left[\!\left[{x}\right]\!\right]_m \times_m \left[\!\left[{y}\right]\!\right]_m}\right) \times_m \left[\!\left[{z}\right]\!\right]_m = \left[\!\left[{x}\right]\!\right]_m \times_m \left({\left[\!\left[{y}\right]\!\right]_m \times_m \left[\!\left[{z}\right]\!\right]_m}\right)$
 * 1) Modulo Multiplication is Commutative
 * Multiplication modulo $m$ is commutative: $\forall \eqclass x m, \eqclass y m \in \Z_m: \eqclass x m \times_m \eqclass y m = \eqclass y m \times_m \eqclass x m$