Untill 1964, Bourbaki just gave the definition of coherent rings.

• 从而引进了一种新的凝聚环，同时我们还引进了新的模类。