Couvre les relations, les séquences et les posets, en mettant l'accent sur des propriétés telles que l'antisymétrie et la transitivité, et introduit des progressions arithmétiques et géométriques.

Actions de groupe sur les réseaux

Explore les actions de groupe sur les réseaux, en mettant l'accent sur la compatibilité GL2(Q) et GL2(Ag) et les formulations alternatives.

Ordre partiel: Relations, Séquences, Somme

Introduit des commandes partielles, des treillis et des commandes lexicographiques sur les produits cartésiens.

Embeddings des champs de nombre

Explore les incorporations de champs de nombres, de types, de signatures, de réseaux et de déterminants.

Lattices, le théorème de Minkowski

Explore les réseaux, le théorème de Minkowski et les propriétés des ensembles convexes symétriques.

Champs de nombres: incorporations et classes idéales

Couvre les incorporations des champs de nombres et des classes idéales avec des preuves et des exemples.