HomeTroughMathlib1000+ theoremsAlgebraContentsStatementsMapContentsLoading the map…Reading Algebra 12 Field theory and polynomials 13 Commutative algebra 14 Algebraic geometry 15 Linear and multilinear algebra; matrix theory 16 Associative rings and algebras 17 Nonassociative rings and algebras 18 Category theory; homological algebra 20 Group theory and generalizations Loading dependency explorer… The dependency explorer needs JavaScript and its graph data. Download the complete graph data.