Fractions
Summary: Numbers of the form (numerator over denominator) that arise when a dividend is not exactly divisible by a divisor; the principal extension of the integers within Part I of the algebra.
Sources: chapter-1.1.7, chapter-1.1.8, chapter-1.1.9, chapter-1.1.10
Last updated: 2026-04-24
Motivation
Division of integers is not always exact: has no integer answer, but the operation still makes geometric sense (divide a 7-foot line into 3 equal parts). The result is expressed as (source: chapter-1.1.7).
Notation
The denominator names the equal parts into which unity is divided; the numerator counts how many are taken.
Types
| Type | Condition | Value | Example |
|---|---|---|---|
| Proper | |||
| Improper | |||
| Mixed number | integer proper fraction | — |
Special: for all .
Key Properties
Equivalence (Ch. VIII): for any . Multiply or divide both terms by the same number without changing value.
Lowest terms (Ch. VIII): divide numerator and denominator by their greatest common divisor until only 1 remains. Example: .
Arithmetic Summary
| Operation | Rule |
|---|---|
| Same-denom. addition | |
| General addition | |
| General subtraction | |
| Multiplication | |
| Division |
Sign rules are identical to those for integers (source: chapter-1.1.10).
Limiting Behaviour
Unit fractions decrease as grows but never reach 0. Only an infinite denominator yields zero: . See infinity (source: chapter-1.1.7).
Fractions as Generators of Infinite Series
When a fraction cannot be reduced or divided exactly, its numerator can still be divided by its denominator term by term, producing an infinite power series whose value equals the fraction. For example (source: chapter-1.2.5). See infinite-series and ch1.2.5-infinite-series.