\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needs:
Rational Products
Rational Sums
Integer Arithmetic
Needed by:
Integer Rational Homomorphism
Real Products
Links:
Sheet PDF
Graph PDF

Rational Arithmetic

Why

What are addition and multiplication for rationals? What are the identity elements?

Definition

We call the operation of forming rationals sums rational addition. We call the operation of forming rational products rational multiplication.

Results

It is easy to see the following.1

The additive identity for $\Q $ is $\eqc{(0_{\Z }, 1_{\Z })}$.
The multiplicative identity for $\Z $ is $\eqc{(1_{\Z }, 1_{\Z })}$.

Notation

We denote the additive identity of $\Q $ by $0_{\Q }$ and the multiplicative identity by $1_{\Q }$. We denote the set $\Set{q \in \Q }{q \geq 0_{Q}}$ by $\Q _{+}$.

Distributive

For rationals $x, y, z \in \Z $, $x \cdot (y + z) = x\cdot y + x\cdot z$.2

  1. Nonetheless, the full accounts will appear in future editions. ↩︎
  2. An account will appear in future editions. ↩︎
Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view