Mathlib
Library

Area II

AAlgebra

Groups, polynomials, linear maps, rings, and the homology that measures exactness.

0/15 rooms

Pathway VII

⋆Algebraic structures and transformations

Magmas, groups, homomorphisms — a set with an operation, and the maps that preserve it.

0/3 rooms

Pathway IX

k[x]Polynomials and power series

Finite combinations of powers, then the infinite ones that still multiply.

0/3 rooms

Pathway VIII

VLinear algebra

Arrows, machines that move the plane, and the area they span.

0/3 rooms

Pathway X

SpecRing theory and algebraic geometry

Rings, ideals, quotients — then Spec, and a cubic that is a group.

0/3 rooms

Pathway XI

HomRepresentations and homology

Groups acting linearly. Exact sequences that measure kernels and images.

0/3 rooms