Commutative algebra over definition

Commutative algebra over explicitly given fields