Characteristic $p$ methods; tight closure General commutative algebra mathematics