Covers integers, rings, subrings, invertibility, divisors of zero, and equivalence relations in formal fractions.
Covers addition properties and operations in the set of integers Z.
Covers basic properties of natural numbers, including order relations and inverses.
Covers the properties of division in integers and the relationship between divisibility and unique quotients.
Covers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.
Covers operations and equivalence relations in number theory, including addition, subtraction, multiplication, division, and properties of neutral and inverse elements.
Covers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
Covers the basics of group theory, including definitions, examples, and isometries.
