「環と加群」にはたしか帰納極限は載ってない。