数学、具体的には環論において、環が invariant basis number (IBN) property を持つとは、R 上のすべての有限生成自由左加群が well-defined な階数（ランク）を持つことをいう。体の場合には、IBN property は有限次元ベクトル空間は一意的な次元を持つという主張になる。
定義

環 R が invariant basis number (IBN) を持つとは、どんな正の整数 m と n に対しても、Rm が Rn に（左 R-加群として）同型ならば m = n であることをいう。

同じことだが、これは相異なる正整数 m, n であって Rm が Rn に同型となるようなものが存在しないということである。

行列の言葉で invariant basis number の定義を言い換えると、A が R 上の m × n 行列で B が R 上の n × m 行列で、AB = I および BA = I であれば、必ず m = n となるということである。この形にすれば定義が左右対称なことがわかり、IBN を左加群で定義しても右加群で定義しても同じになる。

定義の同型は環としての同型ではなく加群としての同型であることに注意する。
議論

invariant basis number の条件の主たる目的は、IBN 環上の自由加群はベクトル空間に対する次元定理（英語版）の類似を満たすことである。すなわち、IBN 環上の自由加群の 2 つの基底は同じ濃度を持つ。（選択公理よりも真に弱い）ultrafilter lemma（英語版） を仮定すると、この結果は実は上で与えた定義と同値であり、これを別の定義とすることができる。

IBN 環 R 上の自由加群 Rn の階数 (rank) は Rn に同型な勝手な（したがってすべての）R-加群 Rm の指数 m の濃度と定義される。したがって IBN property は自由 R-加群のすべての同型類は一意的な階数を持つことを主張する。階数は IBN を満たさない環に対しては定義されない。ベクトル空間に対しては、階数は次元とも呼ばれる。したがってこれまでの結果をまとめると： 階数がすべての自由 R-加群に対して一意的に定義されることと、それがすべての有限生成自由 R-加群に対して一意的に定義されることは同値である。
例

任意の可換環（1 = 0 の自明環は除く）は IBN を満たし、任意の左ネーター環や任意の半局所環も（したがって可除環や半単純環なども）IBN を満たす。特に任意の（可換）体は IBN を満たし、これは有限次元ベクトル空間が well-defined な次元を持つという事実である。証明

A を可換環とし、A-加群同型 f : A n → A p {\displaystyle f\colon A^{n}\to A^{p}} が存在するとする。 ⟨ e 1 , … , e n ⟩ {\displaystyle \langle e_{1},\dots ,e_{n}\rangle } を An の標準基底とする、つまり e i ∈ A n {\displaystyle e_{i}\in A^{n}} は i 番目の成分を除いてすべて 0 である。クルルの定理により I を A の極大イデアルとし、 ( i 1 , … , i n ) ∈ I n ( ⊂ A n ) {\displaystyle (i_{1},\dots ,i_{n})\in I^{n}(\subset A^{n})} とする。A-加群準同型は f ( i 1 , … , i n ) = ∑ k = 1 n i k f ( e k ) {\displaystyle f(i_{1},\dots ,i_{n})=\sum _{k=1}^{n}i_{k}f(e_{k})}

を意味し、I はイデアルであるからこれは I p の元である。よって f は A/I-加群の準同型 f ′ : ( A / I ) n → ( A / I ) p {\displaystyle f'\colon \left(A/I\right)^{n}\to \left(A/I\right)^{p}} を引き起こし、これが同型写像であることは容易に示すことができる。A/I は体であるから、f ' は有限次元ベクトル空間の間の同型であり、したがって n = p である。

IBN を満たさない環の例は、列有限行列全体のなす環 C F M N ( R ) {\displaystyle \mathbb {CFM} _{\mathbb {N} }(R)} である。この行列は環 R に係数を持ち、 N × N {\displaystyle \mathbb {N} \times \mathbb {N} } で添え字付けられた成分を持ち、各列は有限個しか非零成分を持たないようなものである。この最後の条件によって無限行列の積 MN を定義することができ、環の構造が入る。左加群同型 C F M N ( R ) ≅ C F M N ( R ) 2 {\displaystyle \mathbb {CFM} _{\mathbb {N} }(R)\cong \mathbb {CFM} _{\mathbb {N} }(R)^{2}} が次のように与えられる： ψ : C F M N ( R ) → C F M N ( R ) 2 M ↦ ( odd columns of  M ,  even columns of  M ) {\displaystyle {\begin{array}{rcl}\psi \colon \mathbb {CFM} _{\mathbb {N} }(R)&\to &\mathbb {CFM} _{\mathbb {N} }(R)^{2}\\M&\mapsto &({\text{odd columns of }}M,{\text{ even columns of }}M)\end{array}}}

この無限行列環は R 上の可算ランクの右自由加群の自己準同型環に同型であることがわかる。(Hungerford) の190ページ参照。

この同型から、（ C F M N ( R ) = S {\displaystyle \mathbb {CFM} _{\mathbb {N} }(R)=S} と略記すると、）任意の正の整数 n に対して S ≅ S n {\displaystyle S\cong S^{n}} であること、したがって任意の 2 つの正の整数 m, n に対して S n ≅ S m {\displaystyle S^{n}\cong S^{m}} であることを示すことができる。