Lectures related to Natural Numbers

Covers the basics of group theory, including definitions, examples, and isometries.

Covers the construction of integers through equivalence relations and their properties in mathematics.

Explores Lie Algebra's connection to Group Theory through associative operations and Jacobi identities.

Introduces linear combinations in vector spaces, operations, and polynomials of degree 2.

Showcases the use of assertions in Stainless to prove properties of fractions.

Covers the properties of rational numbers and introduces the concept of an ordered field in Q.

Introduces Cartesian product and induction for proofs using integers and sets.

Covers the goals and motivations of representation theory, focusing on associative algebras and homomorphisms.

Explores the arithmetic of direct sum of abelian groups and the process of turning a monoid into a commutative group.