IBN環(invariant basis number ring)亦稱不變基數環.交換環的一種推廣.它在同調代數與代數K理論中有重要作用。 設R為環，若R"'-R",m,n為自然數時，必有m=n，即每一個有限生成自由R模的任兩組基的元素個數必相同，則稱R為IBN環.只有在IBN環上，自由模之秩才有意義.
