Algebraic Structures
Binary operations defined on sets
Binary operations defined on sets
Definitions of semigroups, monoids, and groups
The Grothendieck group and the definition of integers
Definition and properties of group homomorphisms, kernels and images
Normal subgroups and quotient groups
Isomorphism theorems
Direct product of groups
Restricted sums of groups
Free product and universal property
Free abelian group, tensor product
Group action
The definition of a ring and its basic properties
Quotient ring and ring isomorphism theorems
Definition of the product, coproduct, and tensor product of rings
Localization, ring of fractions, prime ideal
Definition and basic properties of a graded ring indexed by a monoid
Definition of modules
Product, coproduct, and tensor product in the module category
Restriction and extension of scalars via a ring homomorphism
The definition of graded modules over a graded ring