# Category:Integer Multiplication

This category contains results about **Integer Multiplication**.

The multiplication operation in the domain of integers $\Z$ is written $\times$.

Let us define $\eqclass {\tuple {a, b} } \boxtimes$ as in the formal definition of integers.

That is, $\eqclass {\tuple {a, b} } \boxtimes$ is an equivalence class of ordered pairs of natural numbers under the congruence relation $\boxtimes$.

$\boxtimes$ is the congruence relation defined on $\N \times \N$ by $\tuple {x_1, y_1} \boxtimes \tuple {x_2, y_2} \iff x_1 + y_2 = x_2 + y_1$.

In order to streamline the notation, we will use $\eqclass {a, b} {}$ to mean $\eqclass {\tuple {a, b} } \boxtimes$, as suggested.

As the set of integers is the Inverse Completion of Natural Numbers, it follows that elements of $\Z$ are the isomorphic images of the elements of equivalence classes of $\N \times \N$ where two tuples are equivalent if the difference between the two elements of each tuple is the same.

Thus multiplication can be formally defined on $\Z$ as the operation induced on those equivalence classes as specified in the definition of integers.

That is, the integers being defined as all the difference congruence classes, integer multiplication can be defined directly as the operation induced by natural number multiplication on these congruence classes.

It follows that:

- $\forall a, b, c, d \in \N: \eqclass {a, b} {} \times \eqclass {c, d} {} = \eqclass {a \times c + b \times d, a \times d + b \times c} {}$ or, more compactly, as $\eqclass {a c + b d, a d + b c} {}$.

This can also be defined as:

- $n \times m = +^n m = \underbrace {m + m + \cdots + m}_{\text{$n$ copies of $m$} }$

and the validity of this is proved in Index Laws for Monoids.

## Subcategories

This category has only the following subcategory.

## Pages in category "Integer Multiplication"

The following 27 pages are in this category, out of 27 total.

### I

- Idempotent Elements for Integer Multiplication
- Integer Multiples Closed under Multiplication
- Integer Multiples Greater than Positive Integer Closed under Multiplication
- Integer Multiplication Distributes over Addition
- Integer Multiplication Distributes over Addition/Corollary
- Integer Multiplication Distributes over Subtraction
- Integer Multiplication has Zero
- Integer Multiplication Identity is One
- Integer Multiplication is Associative
- Integer Multiplication is Closed
- Integer Multiplication is Commutative
- Integer Multiplication is Well-Defined
- Integers under Multiplication do not form Group
- Integers under Multiplication form Countably Infinite Commutative Monoid
- Integers under Multiplication form Countably Infinite Semigroup
- Integers under Multiplication form Monoid
- Integers under Multiplication form Semigroup
- Invertible Integers under Multiplication
- Invertible Integers under Multiplication/Corollary 1