[MathForLife]

Không! Tất nhiên là định nghĩa thì chỉ có 1 và cụ thể thì đó là ở wiki đã ghi. Ở cuốn AM chỉ nói về 1 $\underleftarrow{lim} M_{i}=C/D$ của họ A-module $M_{i}$ và họ các đồng cấu ${\mu_{ij}}$. Thực chất với 1 họ bất kì như trên thì $\underleftarrow{lim} M_{i}$ có rất nhiều. Phải hiểu $\underleftarrow{lim} M_{i}$ trong cuốn AM không phải là duy nhất, nó chỉ là chứng minh sự tồn tại $\underleftarrow{lim} M_{i}$ của hệ thuận bất kì mà thôi.

Còn việc chứng minh không cần dùng n bạn cứ thử ngồi giải lại xem sao. Chỉ cần chú ý một điều rằng: Phân tích của một phần tử x trong tổng trực tiếp là duy nhất.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]