Ghi chú lịch sử
(Các chương II và III)
(N.B. Các số trong ngoặc vuông quy chiếu đến thư mục ở cuối Ghi chú này.)
Đại số tuyến tính vừa là một trong những ngành toán học cổ xưa nhất vừa là một trong những ngành mới nhất. Mặt khác, ở nguồn gốc của toán học là những bài toán được giải bằng một phép nhân hoặc phép chia duy nhất, tức là bằng cách tính một giá trị của một hàm , hoặc bằng cách giải một phương trình : đây là những bài toán điển hình của đại số tuyến tính và không thể xử lý chúng, thậm chí không thể đặt chúng một cách đúng đắn, nếu không "tư duy tuyến tính".
Mặt khác, không chỉ những câu hỏi này mà hầu như mọi thứ liên quan đến các phương trình bậc nhất từ lâu đã bị xếp vào việc giảng dạy sơ cấp, khi sự phát triển hiện đại của các khái niệm về trường, vành, không gian vectơ tôpô, v.v. đã cô lập và nhấn mạnh các khái niệm cốt yếu của đại số tuyến tính (chẳng hạn đối ngẫu); khi đó đặc trưng tuyến tính cốt yếu của gần như toàn bộ toán học hiện đại được nhận thức, mà "tuyến tính hóa" chính là một trong những nét phân biệt của nó, và đại số tuyến tính được dành cho vị trí mà nó xứng đáng có. Vì vậy, để trình bày lịch sử của nó, từ quan điểm hiện tại của chúng ta, sẽ là một nhiệm vụ vừa khó khăn vừa quan trọng; do đó chúng ta phải bằng lòng với việc đưa ra một bản tóm tắt ngắn gọn.
Từ những điều trên có thể thấy rằng đại số tuyến tính chắc chắn đã ra đời để đáp ứng những nhu cầu của các nhà tính toán thực hành; vì vậy ta thấy quy tắc tam suất† và quy tắc vị trí sai, được phát biểu ít nhiều rõ ràng, đóng một vai trò quan trọng trong tất cả các sách hướng dẫn về số học thực hành, từ giấy cói Rhind của người Ai Cập đến những sách được dùng trong các trường tiểu học của chúng ta, qua Āryabhaṭa, người Ả Rập, Leonard of
† Cf. J. Tropfke, Geschichte der Elementar-Mathematik, 1. Band, 2te Ausgabe, Berlin-Leipzig (W. de Gruyter), 1921, pp. 150–155.
Pisa và vô số "sách tính toán" của thời Trung cổ và thời Phục hưng; nhưng chúng chưa bao giờ tạo thành hơn một phần nhỏ, dành cho việc sử dụng của những người thực hành, trong các lý thuyết khoa học tiên tiến nhất.
Đối với các nhà toán học đúng nghĩa, bản chất của nghiên cứu của họ về đại số tuyến tính phụ thuộc vào cấu trúc tổng quát của khoa học của họ. Toán học Hy Lạp cổ đại, như được trình bày trong Elements của Euclid, đã phát triển hai lý thuyết trừu tượng có đặc trưng tuyến tính, một mặt là lý thuyết về các đại lượng ([2], Quyển V; cf. Ghi chú lịch sử về Tôpô đại cương, IV) và mặt khác là lý thuyết về các số nguyên ([2], Quyển VII). Với người Babylon, ta tìm thấy những phương pháp gần với đại số sơ cấp của chúng ta hơn nhiều; họ biết cách giải, và một cách rất tao nhã ([1], pp. 181–183), các hệ phương trình bậc nhất. Tuy vậy, trong một thời gian rất dài, sự tiến bộ của đại số tuyến tính chủ yếu chỉ giới hạn trong sự tiến bộ của các phép tính đại số và chúng cần được xem xét từ quan điểm này, vốn xa lạ với Ghi chú này; để rút gọn một hệ tuyến tính thành một phương trình kiểu , chỉ cần, trong trường hợp một ẩn, biết các quy tắc (về bản chất đã được Diophantus nêu ra) để chuyển các số hạng từ vế này sang vế kia và kết hợp các số hạng đồng dạng; và, trong trường hợp nhiều ẩn, cũng chỉ cần biết cách khử chúng lần lượt cho đến khi chỉ còn lại một ẩn. Vì vậy các Luận về đại số, cho đến thế kỷ XVIII, cho rằng mọi thứ đã hoàn tất đối với bậc nhất, khi chúng đã trình bày các quy tắc này; còn đối với một hệ có nhiều phương trình bằng số ẩn (họ không xét các hệ khác) mà các vế trái không phải là các dạng độc lập tuyến tính, họ chỉ chuyển qua nhận xét rằng điều này chỉ ra một bài toán đặt không đúng. Trong các luận về đại số của thế kỷ XIX và thậm chí trong một số công trình gần đây hơn, quan điểm này chỉ được thay đổi bởi sự tiến bộ của ký hiệu, cho phép viết các hệ phương trình với ẩn, và bởi việc đưa vào các định thức cho phép đưa ra các công thức của một nghiệm tường minh trong "trường hợp tổng quát"; sự tiến bộ này, mà công lao đáng lẽ thuộc về Leibniz ([7], p. 239) nếu ông đã phát triển và công bố các ý tưởng của mình về chủ đề này, chủ yếu là do các nhà toán học của thế kỷ XVIII và đầu thế kỷ XIX.
Nhưng trước hết chúng ta phải nghiên cứu các dòng tư tưởng khác nhau mà, nhiều hơn hẳn việc nghiên cứu các phương trình tuyến tính, đã góp phần vào sự phát triển của đại số tuyến tính theo nghĩa mà chúng ta hiểu. Lấy cảm hứng từ việc nghiên cứu Appollonius, Fermat [4(a)], sau khi đã hình thành, thậm chí trước Descartes [5], nguyên lý của hình học giải tích, có ý tưởng phân loại các đường cong phẳng theo bậc của chúng (điều mà, sau khi dần dần trở nên quen thuộc với mọi nhà toán học, có thể được xem là đã được nắm bắt hoàn toàn vào cuối thế kỷ XVII) và phát biểu nguyên lý cơ bản rằng một phương trình bậc nhất, trong mặt phẳng, biểu diễn một đường thẳng và một phương trình bậc hai một đường conic: một nguyên lý mà từ đó ông suy ra ngay lập tức một số hệ quả "rất đẹp" liên quan đến các quỹ tích hình học. Đồng thời, ông phát biểu [4(b)] sự phân loại các bài toán thành các bài toán có một nghiệm duy nhất, các bài toán rút gọn về một phương trình với hai ẩn, một phương trình với ba ẩn, v.v.; và ông thêm rằng: loại thứ nhất gồm việc xác định một điểm, loại thứ hai một đường hoặc quỹ tích phẳng, các loại khác một mặt, v.v. ("... một bài toán như vậy không chỉ tìm một điểm hay một đường, mà là toàn bộ một mặt thích hợp với câu hỏi; ở đây các mặt như các quỹ tích có nguồn gốc của chúng và tương tự đối với phần còn lại", loc. cit., p. 186; ở đây đã có mầm mống của hình học n-chiều). Bài viết này, khi phát biểu nguyên lý về chiều trong đại số và hình học đại số, chỉ ra sự hợp nhất của đại số và hình học hoàn toàn phù hợp với các ý tưởng hiện đại, nhưng như đã thấy, đã mất hơn hai thế kỷ để thâm nhập vào tư tưởng của con người.
Ít nhất các ý tưởng này chẳng bao lâu sau dẫn đến sự khai triển của hình học giải tích, đạt đến sự hoàn chỉnh của nó vào thế kỷ XVIII với Clairaut, Euler, Cramer, Lagrange và nhiều người khác. Tính chất tuyến tính của các công thức chuyển đổi tọa độ trong mặt phẳng và trong không gian, điều mà Fermat hẳn đã không thể không nhận thấy từ trước, được làm nổi bật chẳng hạn bởi Euler ([8(a)], các Chương II–III và Phụ lục của Chương IV), người ở đây đặt nền móng cho việc phân loại các đường cong phẳng và các mặt theo bậc của chúng (bất biến chính xác vì tính tuyến tính của các công thức này); chính ông cũng (loc. cit., Chương XVIII) là người đưa vào từ "affinity" để mô tả quan hệ giữa các đường cong có thể dẫn xuất từ nhau bởi một phép biến đổi (nhưng không nhận thấy bất kỳ điều gì bất biến về mặt hình học trong định nghĩa này, vốn vẫn gắn với một lựa chọn cụ thể của các trục). Ít lâu sau đó ta thấy Lagrange [9(a)] dành trọn một hồi ký, vốn từ lâu đã giữ được danh tiếng chính đáng, cho các bài toán điển hình tuyến tính và đa tuyến tính của hình học giải tích trong ba chiều. Vào khoảng thời gian này, liên quan đến bài toán tuyến tính được tạo thành bởi việc tìm một đường cong phẳng đi qua các điểm cho trước, khái niệm định thức hình thành, trước hết theo một cách phần nào thực nghiệm, với Cramer [10] và Bezout [11]; khái niệm này sau đó được phát triển bởi nhiều tác giả và các tính chất cốt yếu của nó được Cauchy [13] và Jacobi [16(a)] thiết lập một cách dứt khoát.
Mặt khác, trong khi các nhà toán học có khuynh hướng phần nào coi thường các phương trình bậc nhất, nghiệm của các phương trình vi phân lại được xem là một bài toán quan trọng; thật tự nhiên rằng, trong số các phương trình này, các phương trình tuyến tính, với các hệ số hằng hoặc không, đã sớm được phân biệt và việc nghiên cứu chúng góp phần nhấn mạnh tính tuyến tính và các tính chất liên quan. Điều này chắc chắn được thấy trong công trình của Lagrange [9(b)] và Euler [8(b)], ít nhất đối với các phương trình thuần nhất; vì các tác giả này không thấy có ý nghĩa gì trong việc nói rằng nghiệm tổng quát của phương trình không thuần nhất là tổng của một nghiệm riêng và nghiệm tổng quát của phương trình thuần nhất tương ứng, và họ không sử dụng nguyên lý này (tuy nhiên đã được d'Alembert biết đến); ở đây ta cũng chú ý rằng, khi họ phát biểu rằng nghiệm tổng quát của phương trình tuyến tính thuần nhất cấp là một tổ hợp tuyến tính của nghiệm riêng, họ không thêm rằng các nghiệm này phải độc lập tuyến tính và không cố gắng làm rõ tường minh khái niệm sau; dường như chỉ có việc giảng dạy của Cauchy tại École Polytechnique mới soi sáng phần nào ([14], tr. 573–574) cho các điểm này cũng như nhiều điểm khác. Nhưng ngay từ trước đó Lagrange (loc. cit.) cũng đưa vào (đúng là chỉ bằng tính toán thuần túy và không đặt tên cho nó) phương trình phụ hợp của một phương trình vi phân tuyến tính , một ví dụ điển hình của tính đối ngẫu nhờ vào quan hệ
đúng đối với và bằng không tại các đầu mút của khoảng lấy tích phân; chính xác hơn, và 30 năm trước khi Gauss định nghĩa tường minh phép chuyển vị của một phép thế tuyến tính trong 3 biến, ta thấy ở đây ví dụ đầu tiên không còn nghi ngờ gì của một "phiếm hàm toán tử" là phép chuyển vị hay "phụ hợp" của một toán tử được cho bằng một hàm song tuyến tính (ở đây là tích phân ).
Cùng thời gian đó và cũng một lần nữa với Lagrange [9(c)], các phép thế tuyến tính, lúc đầu trong 2 và 3 biến, đang trong quá trình chinh phục số học. Rõ ràng tập hợp các giá trị của một hàm , khi và nhận mọi giá trị nguyên, không thay đổi khi thực hiện trên và một phép thế tuyến tính với các hệ số nguyên, có định thức 1; dựa trên nhận xét cơ bản này Lagrange xây dựng lý thuyết biểu diễn số bằng các dạng và lý thuyết rút gọn các dạng; và Gauss, bằng một bước mà sự táo bạo của nó ngày nay đã trở nên khó được chúng ta đánh giá đúng mức, tách riêng khái niệm tương đương và khái niệm lớp của các dạng (cf. ghi chú lịch sử to I); về chủ đề này, ông nhận thấy sự cần thiết của một số nguyên lý sơ cấp liên quan đến các phép thế tuyến tính và đặc biệt đưa vào khái niệm chuyển vị hay phụ hợp ([12(a)], p. 304). Kể từ thời điểm này trở đi, việc nghiên cứu số học và việc nghiên cứu đại số của các dạng toàn phương, trong 2, 3 và sau đó biến, việc nghiên cứu các dạng song tuyến tính có liên quan chặt chẽ với chúng và gần đây hơn là phép tổng quát hóa các khái niệm này đến vô hạn biến, cho đến tận hiện nay, đã tạo thành một trong những nguồn tiến bộ phong phú nhất của đại số tuyến tính (cf. ghi chú lịch sử to IX).
Nhưng một tiến bộ có lẽ còn quyết định hơn là việc Gauss tạo ra, trong cùng tác phẩm Disquisitiones (cf. ghi chú lịch sử to I), lý thuyết về các nhóm giao hoán hữu hạn, xuất hiện ở đó theo bốn cách khác nhau, trong nhóm cộng của các số nguyên modulo (với là một số nguyên), trong nhóm nhân của các số nguyên nguyên tố cùng nhau với modulo , trong nhóm các lớp của các dạng toàn phương nhị phân và cuối cùng trong nhóm nhân của các căn bậc của đơn vị; và, như ta đã nhận xét, rõ ràng là với tư cách các nhóm giao hoán, hay đúng hơn là các môđun trên , mà Gauss xử lý tất cả các nhóm này và nghiên cứu cấu trúc, các quan hệ đẳng cấu của chúng, v.v. Trong môđun của các "số nguyên phức" , về sau ta thấy ông nghiên cứu một môđun vô hạn trên , mà chắc chắn ông đã nhận thấy sự đẳng cấu của nó với môđun các chu kỳ (do ông phát hiện trong miền phức) của các hàm elliptic; trong mọi trường hợp ý tưởng này đã xuất hiện rõ ràng trong công trình của Jacobi, chẳng hạn trong chứng minh nổi tiếng của ông về tính không thể tồn tại của một hàm có 3 chu kỳ và các quan điểm của ông về bài toán đảo của các tích phân Abel [16(b)], để chẳng bao lâu sau dẫn đến các định lý của Kronecker (cf. ghi chú lịch sử to Tôpô tổng quát, VII).
Ở đây, một dòng chảy khác nhập vào những dòng chảy mà chúng ta đã tìm cách lần theo quỹ đạo và những khúc quanh đôi khi của chúng, vốn từ lâu vẫn nằm dưới mặt đất. Như sẽ được trình bày chi tiết hơn về sau (Ghi chú lịch sử cho IX), hình học "thuần túy" theo nghĩa được hiểu vào thế kỷ trước, tức về bản chất là hình học xạ ảnh của mặt phẳng và không gian không sử dụng tọa độ, đã được Desargues tạo ra vào thế kỷ XVII [6], các ý tưởng của ông, được một Fermat đánh giá đúng giá trị và được một Pascal đưa vào thực hành, sau đó đã bị chôn vùi trong sự lãng quên, bị che khuất bởi sự tiến triển rực rỡ của hình học giải tích; nó được hồi sinh vào cuối thế kỷ XVIII, với Monge, rồi Poncelet và các đối thủ của ông là Brianchon và Chasles, đôi khi hoàn toàn và có chủ ý tách rời khỏi các phương pháp giải tích, đôi khi (đặc biệt ở Đức) hòa trộn chặt chẽ với chúng. Giờ đây các biến đổi xạ ảnh, dù được xét từ bất kỳ quan điểm nào (tổng hợp hay giải tích), dĩ nhiên chỉ là các phép thế tuyến tính trên các tọa độ xạ ảnh hay "trọng tâm"; lý thuyết các đường conic (trong thế kỷ XVII) và sau đó là lý thuyết các mặt bậc hai, mà với các tính chất xạ ảnh của chúng trường phái này trong một thời gian dài chủ yếu quan tâm đến, chỉ chính là lý thuyết các dạng bậc hai, mà mối liên hệ chặt chẽ của chúng với đại số tuyến tính chúng ta đã chỉ ra trước đây. Thêm vào các khái niệm này là khái niệm đối cực: cũng do Desargues tạo ra, lý thuyết các cực và các đường cực trở thành, trong tay Monge và những người kế tục ông và chẳng bao lâu dưới tên gọi nguyên lý đối ngẫu, một công cụ mạnh mẽ để biến đổi các định lý hình học; nếu không thể khẳng định rằng mối quan hệ của nó với các phương trình vi phân liên hợp đã được nhận thấy trong thời kỳ đó (chúng được Pincherle chỉ ra vào cuối thế kỷ), thì ít nhất Chasles cũng không quên [17] nhận thấy mối quan hệ của nó với khái niệm các tam giác cầu đối ứng, được Viète ([3], p. 428) và Snellius đưa vào lượng giác cầu ngay từ thế kỷ XVI. Nhưng đối ngẫu trong hình học xạ ảnh chỉ là một khía cạnh của đối ngẫu của các không gian vectơ, có tính đến những biến đổi bắt buộc khi chuyển từ không gian affine sang không gian xạ ảnh (là một không gian thương của nó, theo quan hệ "phép nhân vô hướng").
Thế kỷ XIX, hơn bất kỳ thời kỳ nào khác trong lịch sử của chúng ta, giàu các nhà toán học cấp một; và thật khó trong vài trang, ngay cả khi chỉ giới hạn vào những nét nổi bật nhất, mô tả tất cả những gì được tạo ra dưới bàn tay họ bởi sự gặp gỡ của các dòng tư tưởng này. Giữa một bên là các phương pháp tổng hợp thuần túy, một loài giường Procrustes nơi những người chủ trương chính thống của chúng tự hành hạ mình, và các phương pháp giải tích liên quan đến một hệ tọa độ tùy ý áp đặt lên không gian, nhu cầu về một phép tính hình học chẳng bao lâu được cảm nhận, từng được Leibniz mơ tưởng nhưng không tạo ra và được Carnot phác thảo một cách không hoàn hảo: trước hết xuất hiện phép cộng các vectơ, ẩn trong công trình của Gauss về biểu diễn hình học các số phức và những ứng dụng mà ông thực hiện của nó vào hình học sơ cấp (xem Ghi chú lịch sử về Tôpô đại cương, VIII), được Bellavitis phát triển dưới tên gọi "phương pháp các đại lượng đồng lực" và đạt dạng hoàn chỉnh với Grassmann, Möbius và Hamilton; đồng thời, dưới tên gọi "phép tính trọng tâm", Möbius đưa ra một phiên bản của nó thích hợp với các nhu cầu của hình học xạ ảnh [18].
Cũng trong cùng thời kỳ, và bởi chính những con người ấy, bước chuyển, tự nhiên đến thế (một khi đã đi theo con đường này), vốn đã được Fermat báo trước, được thực hiện từ mặt phẳng và không gian "thông thường" sang không gian -chiều; quả thật là một bước tất yếu, vì các hiện tượng đại số mà trong hai hoặc ba biến có thể được diễn giải bằng hình học vẫn còn đúng với một số tùy ý các biến; do đó, việc áp đặt, khi sử dụng ngôn ngữ hình học, sự hạn chế vào 2 hoặc 3 chiều, đối với nhà toán học hiện đại cũng sẽ là một cái ách gây mệt mỏi như cái ách luôn ngăn cản người Hy Lạp mở rộng khái niệm số đến các tỉ số của các đại lượng không thông ước. Vì vậy ngôn ngữ và các ý tưởng liên quan đến không gian -chiều xuất hiện gần như đồng thời ở khắp nơi, một cách mơ hồ trong công trình của Gauss, rõ ràng trong công trình của các nhà toán học thuộc thế hệ sau; và sự tự tin nhiều hay ít của họ khi sử dụng chúng có lẽ ít do khuynh hướng toán học của họ hơn là do quan điểm triết học hoặc thậm chí hoàn toàn thực tiễn của họ. Dù sao đi nữa, Cayley và Grassmann, vào khoảng năm 1846, xử lý các khái niệm này một cách hết sức dễ dàng (và điều này, Cayley nói hoàn toàn trái với Grassmann ([22(a)], p. 321), "không cần viện đến bất kỳ khái niệm siêu hình nào"); Cayley không bao giờ xa cách cách diễn giải giải tích và các tọa độ, trong khi trong công trình của Grassmann ngay từ đầu, phép cộng các vectơ trong không gian -chiều và khía cạnh hình học chiếm ưu thế, để dẫn đến những phát triển mà chúng ta sẽ nói đến ngay sau đây.
Trong khi đó, động lực do Gauss tạo ra đã thúc đẩy các nhà toán học, theo hai hướng khác nhau, tiến tới việc nghiên cứu các đại số hay “hệ siêu phức”. Một mặt, việc cố gắng mở rộng miền các số thực theo cách khác với việc đưa vào “đơn vị ảo” và do đó có lẽ mở ra những miền rộng lớn hơn, cũng phong phú như miền các số phức, là điều tất yếu. Bản thân Gauss tin chắc ([12(b)], p. 178) rằng không thể có một mở rộng như vậy, chừng nào người ta còn muốn bảo toàn các tính chất chính của các số phức, tức là, theo ngôn ngữ hiện đại, những tính chất làm cho nó trở thành một trường giao hoán; và, hoặc dưới ảnh hưởng của ông hoặc một cách độc lập, những người cùng thời với ông dường như đã chia sẻ niềm tin này, điều chỉ được Weierstrass [23] chứng minh rất lâu sau đó bằng một định lý chính xác. Nhưng, một khi phép nhân các số phức được diễn giải bằng các phép quay trong mặt phẳng, thì nếu đề xuất mở rộng ý tưởng này sang không gian ba chiều, (vì các phép quay trong không gian tạo thành một nhóm không Abel) phải xét đến các phép nhân không giao hoán; đây là một trong những ý tưởng dẫn đường của Hamilton† trong phát hiện về các quaternion [20], ví dụ đầu tiên về một trường không giao hoán. Tính chất đặc biệt của ví dụ này (ví dụ duy nhất, như Frobenius sau này đã chỉ ra, có thể xây dựng trên
† Xem lời tựa thú vị trong Lectures on quaternions [20], nơi ông kể lại toàn bộ lịch sử phát hiện của mình.
trường các số thực) phần nào hạn chế tầm quan trọng của nó, bất chấp hoặc có lẽ chính vì sự hình thành một trường phái những “nhà quaternion” cuồng tín: một hiện tượng kỳ lạ, sau này lại được tái diễn xung quanh công trình của Grassmann, rồi bởi những nhà phổ biến hóa đã rút ra từ Hamilton và Grassmann cái gọi là “phép tính vectơ”. Việc Graves và Cayley từ bỏ tính kết hợp ít lâu sau đó, khi xây dựng các “số Cayley”, không mở ra con đường nào thật thú vị. Nhưng sau khi Sylvester đưa vào các ma trận và (không đặt tên cho nó) xác định rõ ràng hạng của chúng [21], chính Cayley [22(b)] một lần nữa đã sáng tạo ra phép tính ma trận, không phải không nhận thấy (một sự kiện cốt yếu thường bị bỏ qua về sau) rằng một ma trận chỉ là một ký hiệu rút gọn cho một phép thế tuyến tính, cũng như Gauss ký hiệu dạng bằng . Dĩ nhiên, đây chỉ là một khía cạnh, và là khía cạnh thú vị nhất đối với chúng ta, của sản phẩm dồi dào của Sylvester và Cayley về các định thức và mọi thứ liên quan đến chúng, một sản phẩm đầy những đồng nhất thức tài tình và những phép tính ấn tượng.
Ngoài ra (trong số những công trình khác), Grassmann phát hiện một đại số trên các số thực, đại số ngoài vẫn mang tên ông. Công trình của ông, thậm chí còn sớm hơn công trình của Hamilton [19(a)], được tạo ra trong một sự cô độc tinh thần gần như hoàn toàn, đã ít được biết đến trong một thời gian dài, không nghi ngờ gì vì tính độc đáo của nó, và cũng vì những màn sương triết học mà ban đầu ông bao phủ nó và chẳng hạn đã khiến Möbius lúc đầu e ngại. Được thúc đẩy bởi những mối quan tâm tương tự như của Hamilton nhưng có tầm quan trọng lớn hơn (và như ông nhanh chóng nhận thấy, cũng chính là những mối quan tâm của Leibniz), Grassmann xây dựng một công trình đại số-hình học rộng lớn, dựa trên một quan niệm hình học hay “nội tại” (đã ít nhiều được tiên đề hóa) về không gian vectơ -chiều; trong số những kết quả sơ cấp hơn mà ông đạt được, chẳng hạn chúng ta nêu định nghĩa về tính độc lập tuyến tính của các vectơ, định nghĩa về chiều và quan hệ cơ bản
(loc. cit., p. 209; cf. [19(b)], p. 21). Nhưng đặc biệt là phép nhân ngoài, rồi phép nhân nội, của các đa vectơ đã cung cấp cho ông những công cụ nhờ đó ông dễ dàng xử lý trước hết các bài toán của đại số tuyến tính theo nghĩa thực sự và sau đó là những bài toán liên quan đến cấu trúc Euclid, tức là tính trực giao của các vectơ (nơi ông tìm thấy cái tương đương với tính đối ngẫu, điều mà ông không có).
Con đường khác được Gauss mở ra trong việc nghiên cứu các hệ siêu phức là con đường bắt đầu từ các số nguyên phức ; từ đó một cách hoàn toàn tự nhiên dẫn đến các đại số hoặc các hệ siêu phức tổng quát hơn, trên vành các số nguyên và trên trường các số hữu tỉ, trước hết là những hệ đã được Gauss hình dung, được sinh bởi các căn của đơn vị, rồi đến các trường số đại số và các môđun của các số nguyên đại số: những trường đầu tiên là chủ đề chính trong công trình của Kummer, còn việc nghiên cứu những môđun sau được Dirichlet, Hermite, Kronecker và Dedekind tiến hành. Ở đây, trái với điều xảy ra với các đại số trên trường thực, không cần phải từ bỏ bất kỳ tính chất đặc trưng nào của các trường giao hoán và trong suốt thế kỷ XIX, sự chú ý chỉ tập trung vào những trường sau. Nhưng các tính chất tuyến tính và chẳng hạn việc tìm cơ sở của các số nguyên của trường (không thể thiếu đối với một định nghĩa tổng quát của biệt thức) đóng vai trò cốt yếu tại nhiều điểm; và ít nhất với Dedekind, các phương pháp đã trở nên có tính chất điển hình của "siêu phức"; hơn nữa, bản thân Dedekind, không tự đặt cho mình bài toán về các đại số nói chung, ý thức được đặc trưng này trong các công trình của mình và về điều liên hệ chúng, chẳng hạn, với các kết quả của Weierstrass về các hệ siêu phức trên trường thực ([24], đặc biệt tập 2, p. 1). Đồng thời, việc xác định cấu trúc của nhóm nhân các phần tử khả nghịch trong một trường số đại số, do Dirichlet thực hiện trong một số bản ghi nổi tiếng [15] và gần như đồng thời bởi Hermite, có tầm quan trọng thiết yếu trong việc làm sáng tỏ các ý tưởng về các môđun trên , các hệ sinh của chúng và các cơ sở của chúng (khi những cơ sở như vậy tồn tại). Sau đó, khái niệm iđêan, được Dedekind định nghĩa trong các trường số đại số (như một môđun trên vành các số nguyên của trường), trong khi Kronecker đưa vào các vành đa thức (dưới tên gọi "các hệ môđun") một khái niệm tương đương, cho những ví dụ đầu tiên về các môđun trên những vành tổng quát hơn ; và trong công trình của chính các tác giả ấy, rồi của Hilbert, trong những trường hợp đặc biệt, khái niệm nhóm với toán tử dần dần được tách ra, cùng với khả năng luôn luôn xây dựng từ một nhóm như vậy một môđun trên một vành được định nghĩa thích hợp.
Đồng thời, việc nghiên cứu số học-đại số các dạng song tuyến tính bậc hai và "phép rút gọn" của chúng (hay, điều tương đương, của các ma trận và các "bất biến" của chúng) dẫn đến việc phát hiện ra các nguyên lý tổng quát về nghiệm của các hệ phương trình tuyến tính, những nguyên lý mà do thiếu khái niệm hạng, đã thoát khỏi Jacobi.\footnote{Về việc phân loại các hệ gồm phương trình với ẩn khi định thức bằng không, ông nói ([16(a)], p. 370): "paullo prolixum videtur negotium" (không thể làm sáng tỏ một cách ngắn gọn).} Bài toán tìm nghiệm nguyên của các hệ phương trình tuyến tính với các hệ số nguyên được đặt ra và giải quyết, trước hết trong một trường hợp đặc biệt bởi Hermite, rồi trong toàn bộ tính tổng quát bởi H. J. Smith [25]; các kết quả của người sau chỉ được Frobenius tìm lại vào năm 1878, trong khuôn khổ một chương trình nghiên cứu rộng lớn do Kronecker khởi xướng và trong đó Weierstrass cũng tham gia; nhân tiện, trong quá trình thực hiện những công trình này, Kronecker đã đưa ra dạng cuối cùng cho các định lý về các hệ tuyến tính với các hệ số thực (hoặc phức), những định lý này cũng được giải thích, trong một cuốn sách giáo khoa khó hiểu, với sự cẩn trọng tỉ mỉ đặc trưng cho ông, bởi tác giả nổi tiếng của Alice in Wonderland; còn Kronecker thì khinh thường việc công bố các kết quả này và để chúng lại cho các đồng nghiệp và môn đệ của mình; chính từ "hạng" cũng chỉ được Frobenius đưa vào. Cũng trong quá trình giảng dạy tại Đại học Berlin, Kronecker [26] và Weierstrass đưa vào định nghĩa "tiên đề" của định thức (như một hàm đa tuyến tính phản xứng của vectơ trong không gian chiều, được chuẩn hóa sao cho nó nhận giá trị 1 tại ma trận đơn vị), một định nghĩa tương đương với định nghĩa dẫn xuất từ phép tính của Grassmann và với định nghĩa được chấp nhận trong Chuyên luận này; một lần nữa, trong các khóa giảng của mình, Kronecker, không cảm thấy cần phải đặt tên cho nó và vẫn ở một dạng chưa nội tại, đưa vào tích tenxơ của các không gian và tích "Kronecker" của các ma trận (phép thế tuyến tính cảm sinh trên một tích tenxơ bởi các phép thế tuyến tính đã cho áp dụng vào các thừa số).
Nghiên cứu này không thể tách rời khỏi lý thuyết về các bất biến do Cayley, Hermite và Sylvester sáng tạo (bộ ba “bất biến” mà về sau Hermite nói đến trong các bức thư của mình), và từ quan điểm hiện đại, trên hết là một lý thuyết về các biểu diễn của nhóm tuyến tính. Ở đây, với tư cách tương đương đại số của tính đối ngẫu trong hình học xạ ảnh, xuất hiện sự phân biệt giữa các chuỗi biến cogredient và contragredient, tức là các vectơ trong một không gian và các vectơ trong không gian đối ngẫu; và, sau khi trước hết xét đến các dạng bậc thấp rồi đến bậc tùy ý, trong 2 và 3 biến, hầu như ngay lập tức các dạng song tuyến tính, rồi các dạng đa tuyến tính, được khảo sát trong một số chuỗi biến “cogredient” hoặc “contragredient”, điều này tương đương với việc đưa vào các tenxơ; khái niệm sau trở nên tường minh và được phổ biến khi, dưới sự gợi ý của lý thuyết về các bất biến, Ricci và Levi-Civitá, vào năm 1900, đưa “phép tính tenxơ” vào hình học vi phân [28], mà về sau trở nên rất thịnh hành nhờ được các nhà vật lý “tương đối luận” sử dụng. Một lần nữa, sự đan xen ngày càng tăng của lý thuyết về các bất biến, hình học vi phân và lý thuyết các phương trình đạo hàm riêng (đặc biệt là bài toán gọi là bài toán Pfaff và các tổng quát hóa của nó) dần dần dẫn các nhà hình học đến việc xét các dạng song tuyến tính phản xứng của các vi phân, đặc biệt là “đối bất biến song tuyến tính” của một dạng bậc 1 (được Lipschitz đưa vào năm 1870 và sau đó được Frobenius nghiên cứu), để dẫn đến việc E. Cartan [29] và Poincaré [30] sáng tạo ra phép tính các dạng vi phân ngoài. Poincaré đưa các dạng này vào, nhằm tạo nên các bất biến nguyên của mình, dưới dạng những biểu thức xuất hiện trong các tích phân bội, trong khi Cartan, không nghi ngờ gì, được định hướng bởi các nghiên cứu của ông về các đại số, đưa chúng vào theo một cách hình thức hơn, nhưng không quên nhận thấy rằng phần đại số của phép tính của chúng đồng nhất với phép nhân ngoài của Grassmann (do đó có tên gọi mà ông chọn), qua đó dứt khoát trả lại cho công trình của người này vị trí thích đáng của nó. Việc chuyển các dạng vi phân ngoài sang ký hiệu của phép tính tenxơ, hơn nữa, cho thấy ngay lập tức mối liên hệ của chúng với các tenxơ phản đối xứng, điều này, một khi chấp nhận quan điểm thuần túy đại số, cho thấy rằng chúng đối với các dạng đa tuyến tính phản xứng cũng như các tenxơ hiệp biến đối với các dạng đa tuyến tính tùy ý; khía cạnh này được làm sáng tỏ thêm với lý thuyết hiện đại về các biểu diễn của nhóm tuyến tính; và do đó, chẳng hạn, tính đồng nhất cơ bản giữa định nghĩa các định thức do Weierstrass và Kronecker đưa ra với định nghĩa thu được từ phép tính của Grassmann được nhận ra.
Do đó, chúng ta đi đến thời kỳ hiện đại, trong đó phương pháp tiên đề và khái niệm cấu trúc (ban đầu được nhận thức một cách mơ hồ, và chỉ mới đây được định nghĩa) cho phép chúng ta tách những khái niệm vốn cho đến lúc đó đã bị trộn lẫn không thể gỡ ra, phát biểu những gì còn mơ hồ hoặc được để cho trực giác, và chứng minh với tính tổng quát thực sự các định lý vốn chỉ được biết trong những trường hợp đặc biệt. Peano, một trong những người sáng tạo ra phương pháp tiên đề và cũng là một trong những nhà toán học đầu tiên đánh giá đầy đủ công trình của Grassmann, đã đưa ra ngay từ năm 1888 ([27], Chương IX) định nghĩa tiên đề của các không gian vectơ (hữu hạn chiều hoặc không) trên trường các số thực và, với một ký hiệu hoàn toàn hiện đại, của các ánh xạ tuyến tính từ một không gian như vậy vào một không gian khác; một thời gian sau, Pincherle tìm cách phát triển các áp dụng của đại số tuyến tính, được quan niệm như vậy, vào lý thuyết hàm, theo một hướng, quả thực, không mấy hiệu quả; ít nhất quan điểm của ông cho phép ông nhận ra “liên hợp Lagrange” như một trường hợp đặc biệt của phép chuyển vị các ánh xạ tuyến tính: điều này sớm xuất hiện, còn rõ ràng hơn nữa, và đối với các phương trình đạo hàm riêng cũng như các phương trình vi phân, trong quá trình các công trình đáng ghi nhớ của Hilbert và trường phái của ông về không gian Hilbert và các áp dụng của nó vào giải tích. Chính trong dịp đó Toeplitz [31], cũng đưa vào (nhưng bằng các tọa độ) không gian vectơ tổng quát nhất trên các số thực, đã đưa ra nhận xét cơ bản rằng lý thuyết về các định thức không cần thiết để chứng minh các định lý chính của đại số tuyến tính, điều này cho phép mở rộng chúng không khó khăn đến các không gian vô hạn chiều; và ông cũng chỉ ra rằng đại số tuyến tính được hiểu theo cách này dĩ nhiên có thể áp dụng cho một trường cơ sở giao hoán tùy ý.
Mặt khác, với việc Banach đưa vào năm 1922 các không gian mang tên ông, người ta gặp những không gian không đẳng cấu với đối ngẫu của chúng,\footnote{Đó là những không gian vectơ chuẩn đầy đủ trên trường số thực hoặc trường số phức.} mặc dù trong một bài toán vừa mang tính tôpô vừa mang tính đại số. Ngay giữa một không gian vectơ hữu hạn chiều và đối ngẫu của nó cũng không có một đẳng cấu “chính tắc”, tức là được xác định bởi cấu trúc của nó, điều đã từ lâu được phản ánh trong sự phân biệt giữa đồng biến và phản biến. Tuy nhiên, dường như không còn nghi ngờ gì rằng sự phân biệt giữa một không gian và đối ngẫu của nó chỉ được xác lập một cách dứt khoát sau công trình của Banach và trường phái của ông; cũng trong các công trình này, tầm quan trọng của khái niệm đối chiều được làm sáng tỏ. Về phép đối ngẫu hay “trực giao” giữa các không gian con vectơ của một không gian và các không gian con vectơ của đối ngẫu của nó, cách thức nó được phát biểu ngày nay không chỉ có một sự tương tự bề ngoài với cách phát biểu hiện đại của định lý chính của lý thuyết Galois (cf. Algebra, V) và với cái gọi là đối ngẫu Pontrjagin trong các nhóm Abel địa phương compact; cái sau bắt nguồn từ Weber, người, trong quá trình nghiên cứu số học, đã đặt nền móng cho nó vào năm 1886 đối với các nhóm hữu hạn; trong lý thuyết Galois, “đối ngẫu” giữa các nhóm con và các trường con thành hình trong các công trình của Dedekind và Hilbert; còn tính trực giao giữa các không gian con vectơ bắt nguồn một cách hiển nhiên, trước hết từ đối ngẫu giữa các đa tạp tuyến tính trong hình học xạ ảnh và cũng từ khái niệm và các tính chất của các đa tạp hoàn toàn trực giao trong một không gian Euclid hoặc một không gian Hilbert (do đó có tên gọi của nó). Tất cả những mạch này được tập hợp lại trong thời kỳ đương đại, dưới bàn tay của các nhà đại số như
E. Noether, Artin và Hasse và các nhà tôpô học như Pontrjagin và Whitney (không phải là không có ảnh hưởng lẫn nhau) để đi tới, trong mỗi lĩnh vực này, trình độ hiểu biết mà các kết quả được trình bày trong Chuyên khảo này.
Đồng thời, một sự xem xét có tính phê phán được tiến hành, nhằm loại bỏ, trên từng điểm, những giả thiết không hoàn toàn thiết yếu, và đặc biệt là những giả thiết có thể cản trở con đường dẫn tới một số áp dụng. Do đó, người ta nhận thấy khả năng thay thế các trường bằng các vành trong khái niệm không gian vectơ và, bằng cách tạo ra khái niệm tổng quát về môđun, đồng thời xử lý các không gian này, các nhóm Abel, các môđun đặc biệt đã được Kronecker, Weierstrass, Dedekind và Steinitz nghiên cứu trước đó, và thậm chí cả các nhóm có toán tử và chẳng hạn áp dụng định lý Jordan-Hölder cho chúng; đồng thời, với sự phân biệt giữa môđun phải và môđun trái, chúng ta chuyển sang trường hợp không giao hoán, nảy sinh từ sự phát triển hiện đại của lý thuyết các đại số bởi trường phái Mỹ (Wedderburn, Dickson) và đặc biệt là trường phái Đức (E. Noether, E. Artin).
TÀI LIỆU THAM KHẢO
1. O. Neugebauer, Vorlesungen über Geschichte der antiken Mathematik, Vol. I: Vorgriechische Mathematik, Berlin (Springer), 1934. 2. Euclidis Elementa, 5 vols., ed. J. L. Heiberg, Lipsiae (Teubner), 1883–88. 2 bis. T. L. Heath, The thirteen books of Euclid’s Elements ..., 3 vols., Cambridge, 1908. 3. Francisci Vietae, Opera mathematica ..., Lugduni Batavorum (Elzevir), 1646. 4. P. Fermat, Oeuvres, vol. I, Paris (Gauthier-Villars), 1891: (a) Ad locos planos et solidos Isagoge (pp. 91–110; French transl. ibid., vol. III, p. 85); (b) Appendix ad methodum ... (pp. 184–188; French transl., ibid., vol. III, p. 159). 5. R. Descartes, La géométrie, Leyde (Jan Maire), 1637 (=Oeuvres, ed. Ch. Adam and P. Tannery, vol. VI, Paris (L. Cerf), 1902). 6. G. Desargues, Oeuvres ..., vol. I, Paris (Leiber), 1864: Brouillon proiect d’une atteinte aux éuénemens des rencontres d’un cône auec un plan (pp. 103–230). 7. G. W. Leibniz, Mathematische Schriften, ed. C. I. Gerhardt, vol. I, Berlin (Asher), 1849. 8. L. Euler: (a) Introductio in Analysin Infinitorum, vol. 2, Lausannae, 1748 (=Opera Omnia (1), vol. IX, Zürich-Leipzig-Berlin (O. Füssli and B. G. Teubner), 1945); (b) Institutionum Calculi Integralis, vol. 2, Petropoli, 1769 (=Opera Omnia (1), vol. XII, Leipzig-Berlin (B. G. Teubner), 1914). 9. J.-L. Lagrange, Oeuvres, Paris (Gauthier-Villars), 1867–1892: (a) Solutions analytiques de quelques problèmes sur les pyramides triangulaires, vol. III, pp. 661–692; (b) Solution de différents problèmes de calcul intégral, vol. I, p. 471; (c) Recherches d’arithmétique, vol. III, pp. 695–795.
10. G. Cramer, Introduction à l’analyse des lignes courbes, Geneva (Cramer and Philibert), 1750.
11. E. Bezout, Théorie générale des équations algébriques, Paris, 1779.
12. C. F. Gauss, Werke, Göttingen, 1870–1927: (a) Disquisitiones arithmeticae, vol. I; (b) Selbstanzeige zur Theoria residuorum biquadraticorum, Commentatio secunda, vol. II, pp. 169–178.
13. A.-L. Cauchy, Mémoire sur les fonctions qui ne peuvent obtenir que deux valeurs égales et de signes contraires par suite des transpositions opérées entre les variables qu’elles renferment, J. Ec. Polytech., cahier 17 (volume X), 1815, pp. 29–112 (=Oeuvres complètes (2), vol. I, Paris (Gauthier-Villars), 1905, pp. 91–169).
14. A.-L. Cauchy, in Leçons de calcul différentiel et de calcul intégral, rédigées principalement d’après les méthodes de M. A.-L. Cauchy by Abbé Moigno, vol. II, Paris, 1844.
15. P. G. Lejeune-Dirichlet, Werke, vol. I, Berlin (G. Reimer), 1889, pp. 619–644.
16. C. G. J. Jacobi, Gesammelte Werke, Berlin (G. Reimer), 1881–1891: (a) De formatione et proprietatibus determinantium, vol. III, pp. 355–392; (b) De functionibus duarum variabilium . . ., vol. II, pp. 25–50.
17. M. Chasles, Aperçu historique sur l’origine et le développement des méthodes en géométrie . . ., Bruxelles, 1837.
18. A. F. Möbius, Der baryzentrische Calcul . . ., Leipzig, 1827 (=Gesammelte Werke, vol. I, Leipzig (Hirzel), 1885).
19. H. Grassmann: (a) Die lineale Ausdehnungslehre, ein neuer Zweig der Mathematik, dargestellt und durch Anwendungen auf die übrigen Zweige der Mathematik, wie auch auf die Statik, Mechanik, die Lehre vom Magnetismus und die Kristallonomie erläutert, Leipzig (Wigand), 1844 (=Gesammelte Werke, vol. I, 1st Part, Leipzig (Teubner), 1894); (b) Die Ausdehnungslehre, vollständig und in strenger Form bearbeitet, Berlin, 1862 (=Gesammelte Werke, vol. I, 2nd Part, Leipzig (Teubner), 1896).
20. W. R. Hamilton, Lectures on quaternions, Dublin, 1853.
21. J. J. Sylvester, Collected Mathematical Papers, vol. I, Cambridge, 1904: No. 25, Addition to the articles . . ., pp. 145–151 (=Phil. Mag., 1850).
22. A. Cayley, Collected Mathematical Papers, Cambridge, 1889–1898: (a) Sur quelques théorèmes de la géométrie de position, vol. I, pp. 317–328 (=Crelle’s J., vol. XXXI (1846), pp. 213–227); (b) A memoir on the theory of matrices, vol. II, pp. 475–496 (=Phil. Trans., 1858).
23. K. Weierstrass, Mathematische Werke, vol. II, Berlin, (Mayer und Müller),
1895: Zur Theorie des aus Haupteinheiten gebildeten complexen Grössen, tr. 311–332. 24. R. Dedekind, Gesammelte mathematische Werke, 3 tập, Braunschweig (Vieweg), 1930–32. 25. H. J. Smith, Collected Mathematical Papers, tập I, Oxford, 1894: On systems of linear indeterminate equations and congruences, tr. 367 (=Phil. Trans., 1861). 26. L. Kronecker, Vorlesungen über die Theorie der Determinanten . . ., Leipzig (Teubner), 1903. 27. G. Peano, Calcolo geometrico secondo l’Ausdehnungstheorie di Grassmann preceduto dalle operazioni della logica deduttiva, Torino, 1888. 28. G. Ricci and T. Levi-Civita, Méthodes de calcul différentiel absolu et leurs applications, Math. Ann., tập LIV (1901), tr. 125. 29. E. Cartan, Sur certaines expressions différentielles et le problème de Pfaff, Ann. E.N.S. (3), tập XVI (1899), tr. 239–332 (=Oeuvres complètes, tập II_1, Paris (Gauthier-Villars), 1953, tr. 303–396). 30. H. Poincaré, Les méthodes nouvelles de la mécanique céleste, tập III, Paris (Gauthier-Villars), 1899, Chương XXII. 31. O. Toeplitz, Ueber die Auflösung unendlichvieler linearer Gleichungen mit unendlichvielen Unbekannten, Rend. Circ. Mat. Pal., tập XXVIII (1909), tr. 88–96.
: I, § 1, no. 1. (X, Y tập con): I, § 1, no. 1. (X một tập con, a một phần tử): I, § 1, no. 1.
.
.
.
(S một tập con của một monoid giao hoán E): I, § 2, no. 4.
(phép cộng trong ): I, § 2, no. 5.
(quan hệ thứ tự trên ): I, § 2, no. 5.
.
(với ): I, § 2, no. 7.
(): I, § 2, no. 8.
(): I, § 2, no. 8.
( một toán tử): I, § 3, no. 1. ( một toán tử, một tập hợp các toán tử): I, § 3, no. 1. : I, § 4, no. 1. (H một nhóm con của G): I, § 4, no. 4. (mod. H), (H) (H một nhóm con chuẩn tắc): I, § 4, no. 4. Ker , Im ( một đồng cấu nhóm): I, § 4, no. 5.
0, 1 (phần tử của một vành): I, § 8, no. 1. A^0 (A là một vành): I, § 8, no. 3. (a) (a là một phần tử của A): I, § 8, no. 6. (a_\lambda các iđêan): I, § 8, no. 6. , (a) (a là một iđêan): I, § 8, no. 7. A/a (a là một iđêan hai phía): I, § 8, no. 7. ab (a, b là các iđêan hai phía): I, § 8, no. 9. A[S^{-1}] (S là một tập con của một vành A): I, § 8, no. 12. (p là một số nguyên tố): I, § 9, no. 1. : I, § 9, no. 4. : I, § 9, no. 4. |x|, sgn x (x là một số hữu tỉ): I, § 9, no. 4. in(G): I, § 4, Bài tập 13. D_n: I, § 6, Bài tập 4. Q: I, § 6, Bài tập 4. A \approx B: I, § 6, Bài tập 39. e(G): I, § 7, Bài tập 39. d_n(X): I, § 7, Bài tập 39. A_s, A_d (A là một vành): II, § 1, no. 1. là một họ các phần tử của một môđun có giá hữu hạn: II, § 1, no. 1. Hom_A(E, F), Hom(E, F), (E, F là các A-môđun): II, § 1, no. 2. End_A(E), End(E), Aut(E), GL(E) (E là một A-môđun): II, § 1, no. 2. Hom_A(u, v), Hom(u, v) (u, v là các ánh xạ tuyến tính): II, § 1, no. 2. 1_E (E là một môđun): II, § 1, no. 2. 0 (môđun không): II, § 1, no. 3. Ker u, Im u, Coim u, Coker u (u là một ánh xạ tuyến tính): II, § 1, no. 3. (f_i: E_i \to F_i là các ánh xạ tuyến tính): II, § 1, no. 5. là một họ các A-môđun): II, § 1, no. 6. (f_i: E_i \to F_i là các ánh xạ tuyến tính): II, § 1, no. 6. (f_i: E_i \to F_i là các ánh xạ tuyến tính): II, § 1, no. 6. E^{(1)} (E là một môđun): II, § 1, no. 6. ((M_i)_{i \in I} là một họ các môđun con): II, § 1, no 7. long_A(M), long(M) (M là một A-môđun có độ dài hữu hạn): II, § 1, no. 10. (ký hiệu Kronecker): II, § 1, no. 11. (T là một tập hợp, là các phần tử của một vành): II, § 1, no. 11.
Ann(S), Ann(x) (S là một tập con của một môđun, x là một phần tử của một môđun): II, § 1, no. 12. (E là một A-môđun, là một đồng cấu vành): II, § 1, no. 13. ( là một đồng cấu vành, u là một ánh xạ A-tuyến tính): II, § 1, no. 13. E* (E là một môđun): II, § 2, no. 3. (x là một phần tử của môđun trái E, là một phần tử của môđun đối ngẫu E* của nó): II, § 2, no. 3. (x là một phần tử của môđun phải E, là một phần tử của môđun đối ngẫu E* của nó): II, § 2, no. 3. (u là một ánh xạ tuyến tính hoặc nửa tuyến tính): II, § 2, no. 5. (u là một đẳng cấu): II, § 2, no. 5. (E là một A-môđun phải, F là một A-môđun trái): II, § 3, no. 1. (x E (một môđun phải), y F (một môđun trái)): II, § 3, no. 1. (u, v là các ánh xạ tuyến tính): II, § 3, no. 2. (u, v là các ánh xạ nửa tuyến tính): II, § 3, no. 3. (A là một vành): II, § 3, no. 4. (E, F, G là các môđun trên một vành giao hoán): II, § 3, no. 5. (() là một họ các -môđun, với mọi ): II, § 3, no. 9. ( là các ánh xạ -tuyến tính): II, § 3, no. 9. : II, § 3, no. 9. ( là các ánh xạ -tuyến tính): II, § 3, no. 9. : II, § 3, no. 9. : II, § 3, no. 9. ( là các ánh xạ tuyến tính): II, § 3, no. 9. ( là các môđun trên một vành giao hoán): II, § 3, no. 9. Tr(u) (u là một tự đồng cấu của một môđun trên một vành giao hoán): II, § 4, no. 3. (E là một A-môđun, là một đồng cấu vành): II, § 5, no. 1. ( là một đồng cấu vành, u là một đồng cấu môđun A): II, § 5, no. 1. dim_K E, dim E, [E : K] (E là một không gian vectơ K): II, § 7, no. 2. dim_A E, dim E (E là một A-môđun mà mọi hai cơ sở đều có cùng lực lượng): II, § 7, no. 2. codim_E F, codim F (F là một không gian con vectơ của một không gian vectơ E): II, § 7, no. 3. rg(u) (u là một ánh xạ tuyến tính của các không gian vectơ): II, § 7, no. 4. rg(u) (u là một phần tử của một tích tenxơ của các không gian vectơ): II, § 7, no. 8. dim_K E, dim E (E là một không gian afin trên một trường K): II, § 9, no. 1. (a là một điểm, t là một phép tịnh tiến của một không gian afin): II, § 9, no. 1.
( là các điểm của một không gian afin): II, § 9, no. 1.
(() một họ các điểm của một không gian affine, một họ các vô hướng, có giá hữu hạn, sao cho hoặc ): II, § 9, no. 1.
(V một không gian vectơ): II, § 9, no. 5. (K một trường): II, § 9, no. 5. (V một không gian K-vectơ): II, § 9, no. 5. (K một trường): II, § 9, no. 9. (K một trường, V một không gian vectơ): II, § 9, no. 10. ( một ma trận): II, § 10, no. 1. ( các ma trận trên một nhóm giao hoán): II, § 10, no. 2. ( các ma trận): II, § 10, no. 2. (các phần tử khả nghịch ma trận): II, § 10, no. 3. ( một ma trận, một đồng cấu vành): II, § 10, no. 3. (x một phần tử của một môđun tự do sinh hữu hạn): II, § 10, no. 4. (u một đồng cấu của một môđun tự do vào một môđun tự do): II, § 10, no. 4. (các ma trận đối với các phân tích thành tổng trực tiếp): II, § 10, no. 5. (u một ánh xạ nửa tuyến tính): II, § 10, no. 6. (A một vành): II, § 10, no. 7. (A một vành): II, § 10, no. 7. (X một ma trận vuông khả nghịch): II, § 10, no. 7. : II, § 10, no. 7. ( các ma trận trên một vành giao hoán): II, § 10, no. 10. (X một ma trận vuông trên một vành giao hoán): II, § 10, no. 11. (X một ma trận trên một trường): II, § 10, no. 12. (x một phần tử của một nhóm phân bậc): II, § 11, no. 1. (M một môđun phân bậc, một phần tử của môđơn các bậc): II, § 11, no. 2. (M, N các môđun phân bậc trên một vành phân bậc A): II, § 11, no. 6. (M một môđun phân bậc): II, § 11, no. 6. (M, N các môđun): II, § 1, Bài tập 24.
(E một không gian vectơ): II, § 10, Bài tập 12. (E một không gian vectơ): II, § 10, Bài tập 14. (phép nhân trong một đại số): III, § 1, no. 1. (E một đại số): III, § 1, no. 1. (E, F các A-đại số): III, § 1, no. 1. (b một iđêan hai phía của một đại số E): III, § 1, no. 2. (E một đại số): III, § 1, no. 2. (E một đại số, c một phần tử khả nghịch): III, § 1, no. 3.
T(u), N(u): III, § 2, no. 3. : III, § 2, no. 4. : III, § 2, no. 5. Lib_A(I), Libas_A(I), Libasc_A(I): III, § 2, no. 7. : III, § 2, no. 8. : III, § 2, no. 9. : III, § 2, no. 9. : III, § 2, no. 9. : III, § 2, no. 9. X^\nu (\nu \text{ một chỉ số đa}): III, § 2, no. 9.
\sum_s \xi_s e_s, \sum_s \xi_s . s (s \text{ các phần tử của một nửa nhóm}): III, § 2, no. 10. : III, § 2, no. 11. : III, § 2, no. 11. \omega(u), \omega_K(u) (u \text{ một chuỗi lũy thừa hình thức}): III, § 2, no. 11.
\bigotimes_{i \in I} E_i, E_1 \otimes_A E_2 \otimes \cdots \otimes_A E_n, E_1 \otimes E_2 \otimes \cdots \otimes E_n (E_i \text{ các A-đại số}): III, § 4, no. 1. E^{\otimes n} (E \text{ một đại số}): III, § 4, no. 1.
một tập vô hạn, các đại số).
các đồng cấu đại số, các phần tử, I vô hạn).
các đại số phân bậc, các đồng cấu đại số phân bậc, một hệ các nhân tử giao hoán).
g \bigotimes_{i \in I} E_i, E^g \otimes_A F, gG^{\otimes n}, g \bigotimes_{i \in I} f_i, f_1 \otimes f_2, gf^{\otimes n}: III, § 4, no. 7.
\bigotimes^n M, T^n(M), \mathrm{Tens}^n(M), T^n_A(M), T(M), \mathrm{Tens}(M), T_A(M) (M một A-môđun): III, § 5, no. 1. T(u), T^n(u) (u \text{ một ánh xạ tuyến tính}): III, § 5, no. 2. T_J^1(M), T_q^p(M) (M một môđun): III, § 5, no. 6. : III, § 5, no. 6. : III, § 5, no. 6. c_j^i: III, § 5, no. 6 S(M), S_A(M), \mathrm{Sym}(M): III, § 6, no. 1. \mathfrak{g}', \mathfrak{g}'_M, \mathfrak{g}'_n: III, § 6, no. 1. S^n(M), S^n(u), S(u) (M một môđun, u một ánh xạ tuyến tính): III, § 6, nos. 1 và 2. : III, § 6, no. 3. e^\alpha (\alpha \text{ một chỉ số đa}): III, § 6, no. 6. \wedge(M), \wedge_A(M), \mathrm{Alt}(M): III, § 7, no. 1. : III, § 7, no. 1.
: III, § 7, no. 1. : III, § 7, no. 1. ( một ánh xạ tuyến tính): III, § 7, no. 2. (H là một tập con của ): III, § 7, no. 3. : III, § 7, no. 4. : III, § 7, no. 4. : III, § 7, no. 4. : III, § 7, no. 8. : III, § 7, no. 8. ( là một tự đồng cấu): III, § 8, no. 1. ( là các vectơ trong một A-môđun tự do n-chiều): III, § 8, no. 1. ( là một ma trận): III, § 8, no. 3. : III, § 8, no. 3.
( là một ma trận): III, § 8, no. 5 và 6. : III, § 8, no. 9. (, là một phần tử của một A-môđun): III, § 8, no. 10. ( là một A-môđun, là một tự đồng cấu): III, § 8, no. 10. ( là một tự đồng cấu A-môđun): III, § 8, no. 11. ( là một đại số trên K, là một A-môđun, ) : III, § 9, no. 1. ( là một đại số trên K, ) : III, § 9, no. 3. ( là các phần tử của một đại số trên K A): III, § 9, no. 5. ( là các phần tử của một đại số phân bậc): III, § 10, no. 4. ( là một đa thức, là các đạo hàm): III, § 10, no. 4. ( là một phần tử thuần nhất của một đại số phân bậc): III, § 10, no. 6. ( là một đại số trên K, là một song môđun ): III, § 10, no. 7. : III, § 10, no. 7. ( là một tự đồng cấu): III, § 10, no. 9. ( là một phần tử của một đại số trên K A): III, § 10, no. 11. ( là một đa thức): III, § 10, no. 11. ( là một đồng cấu vành): III, § 10, no. 12. ( là một đồng cấu đại số trên K): III, § 10, no. 12. ( là một môđun phân bậc): III, § 11. ( là các ánh xạ đa tuyến tính đối xứng): III, § 11, no. 2. ( là các ánh xạ đa tuyến tính phản xứng): III, § 11, no. 2. : III, § 11, no. 5.
: III, § 11, no. 6. : III, § 11, no. 6. : III, § 11, no. 7. : III, § 11, no. 7. : III, § 11, no. 13. a(x, y, z): III, Phụ lục, no. 1. ME: III, § 2, Bài tập 13. E \* F: III, § 5, Bài tập 6. R[a]: III, § 6, Bài tập 4. K[X; \sigma, d]: III, § 10, Bài tập 3. \tilde{X}: III, § 11, Bài tập 9.
Nhóm Abel: I, § 4, no. 2. Giá trị tuyệt đối của một số hữu tỉ: I, § 9, no. 4. Tác động của một tập hợp lên một tập hợp khác: I, § 3, no. 1. Tác động, chính tắc: I, § 3, no. 1. Tác động, phân phối: I, § 3, no. 4. Tác động, cảm sinh: I, § 3, no. 2. Tác động, thương: I, § 3, no. 3. Tác động, phải, trái, dẫn xuất từ một luật hợp thành: I, § 3, no. 1. Các tác động giao hoán với nhau: I, § 5, no. 4. Phép cộng: I, § 1, no. 1. Phép cộng các số nguyên hữu tỉ: I, § 2, no. 5. Theo phép cộng (luật được viết): I, § 1, no. 1. Phần phụ hợp của một ma trận: III, § 11, Bài tập 9. Phép nối một phần tử đơn vị (đại số dẫn xuất bởi): III, § 1, no. 2. Hàm affine: II, § 9, no. 4. Nhóm affine: II, § 9, no. 4. Đường thẳng, mặt phẳng, siêu phẳng affine: II, § 9, no. 3. Ánh xạ affine: II, § 9, no. 4. Không gian affine: II, § 9, no. 1. Tập con affine, đa tạp tuyến tính: II, § 9, no. 3. Họ tự do affine, họ liên quan affine: II, § 9, no. 3. Các điểm độc lập affine: II, § 9, no. 3. Đại số, A-đại số: III, § 1, no. 1. Đại số thay thế: III, Phụ lục, no. 1. Đại số phân bậc phản xứng: III, § 4, no. 9. Đại số phân bậc phản giao hoán: III, § 4, no. 9. Đại số kết hợp: III, § 1, no. 1. Đại số Cayley: III, § 2, no. 4. Đại số giao hoán: III, § 1, no. 1.
Đại số dẫn xuất từ một đại số bằng phép nối một phần tử đơn vị: III, § 1, no. 2. Đại số ngoài của một môđun: III, § 7, no. 1. Đại số tự do: III, § 2, no. 7. Đại số kết hợp tự do: III, § 2, no. 7. Đại số kết hợp và giao hoán tự do: III, § 2, no. 7. Đại số tự do của một môđun: III, § 2, Bài tập 13. Đại số được sinh bởi các phần tử sinh thỏa mãn các quan hệ: III, § 2, no. 8. Đại số phân bậc trên một vành phân bậc: III, § 3, no. 1. Đại số toàn phần của một monoid: III, § 2, no. 10. Đại số thu được bằng mở rộng vô hướng: III, § 1, no. 5. Đại số thu được bằng hạn chế vô hướng: III, § 1, no. 5. Đại số của một nhóm, của một magma, của một monoid: III, § 2, no. 6. Đại số các số đối ngẫu: III, § 2, no. 3. Đại số chuỗi lũy thừa hình thức: III, § 2, no. 11. Đại số quaternion Hamilton: III, § 2, no. 5. Đại số octonion kiểu : III, Phụ lục, no. 3. Đại số quaternion: III, § 2, no. 5. Đại số quaternion kiểu , kiểu : III, § 2, số 5. Đại số đối: III, § 1, no. 1. Đại số tích: III, § 1, no. 4. Đại số toàn phương: III, § 2, no. 3. Đại số toàn phương kiểu : III, § 2, no. 3. Đại số thương: III, § 1, no. 4. Đại số Rees: III, § 6, Bài tập 4. Đại số hạn chế của một monoid: III, § 2, no. 10. Đại số đối xứng của một môđun: III, § 6, no. 1. Đại số tenxơ của một môđun: III, § 5, no. 1. Đại số có đơn vị: III, § 1, no. 1. Đại số phổ quát được xác định bởi một hệ sinh liên quan bởi một họ các phần tử quan hệ: III, § 2, no. 8. Đại số phổ quát được sinh bởi một tập hợp chịu các đồng nhất thức: III, § 2, no. 8. Đại số kết hợp có đơn vị phổ quát được xác định bởi một hệ sinh liên quan bởi một họ các phần tử quan hệ: III, § 2, no. 8. Các đại số rời nhau tuyến tính: III, § 4, no. 4. Đại số phân bậc phản xứng: III, § 4, no. 9. Nhóm luân phiên: III, § 5, no. 7. Ánh xạ đa tuyến tính phản xứng: III, § 7, no. 4. Đại số thay thế: III, Phụ lục, no. 1. Tổng dính: I, § 7, no. 3. Bị triệt tiêu bởi một vô hướng (phần tử): II, § 1, no. 12. Linh hóa tử, trái, phải: I, § 8, no. 6. Linh hóa tử của một tập con, của một phần tử của một môđun: II, § 1, no. 12.
Tự phản đẳng cấu: III, § 1, no. 1. Đối giao hoán đối đại số phân bậc: III, § 11, no. 3. Đối giao hoán song đại số xiên phân bậc: III, § 11, no. 4. Phân đại số kết hợp giao hoán: III, § 4, no. 9. Phân giao hoán song đại số xiên phân bậc: III, § 11, no. 4. Phản đạo hàm, K-phản đạo hàm: III, § 10, no. 2. Phản đồng cấu của một vành: II, § 10, no. 6. Liên kết (B-môđun) với một A-môđun và một đồng cấu vành B → A: II, § 1, no. 13. Liên kết (môđun trung thành) với một môđun: II, § 1, no. 12. Liên kết (luật tác động) với một tác động: I, § 3, no. 1. Liên kết (ánh xạ tuyến tính) với một ánh xạ tuyến tính affine: II, § 9, no. 4. Liên kết (không gian vectơ) với một môđun trên một miền nguyên: II, § 7, no. 10. Liên kết (không gian con vectơ) với một phần tử thuần nhất của một đại số ngoài: III, § 7, no. 2. Liên kết (không gian con vectơ) với một phần tử thuần nhất của một đại số đối xứng: III, § 6, no. 2. Liên kết (không gian con vectơ) với một phần tử thuần nhất của một đại số tenxơ: III, § 5, no. 2. Đại số kết hợp: III, § 1, no. 1. Đại số kết hợp, tự do: III, § 2, no. 7. Đại số kết hợp và giao hoán, tự do: III, § 2, no. 7. Luật kết hợp: I, § 1, no. 3. Các hệ thức kết hợp trong một bảng phép nhân: III, § 1, no. 7. Định lý kết hợp: I, § 1, no. 3. Phần tử kết hợp: III, Phụ lục, no. 1. Gắn (không gian affine) với một không gian vectơ: II, § 9, no. 3. Phép tăng cường: III, § 10, no. 8. Tự đẳng cấu, nội của một nhóm: I, § 5, no. 3. Tự đẳng cấu, nội, của một vành: I, § 8, no. 4. Tự đẳng cấu không có điểm bất động: I, § 6, Bài tập 23.
Trọng tâm của m điểm, trọng tâm của một họ các điểm có trọng số: II, § 9, no. 2. Tọa độ trọng tâm: II, § 9, no. 3. Các cơ sở đối ngẫu với nhau: II, § 2, no. 7. Họ cơ sở trong một nhóm: I, § 7, no. 6. Cơ sở đối ngẫu của một cơ sở của một môđun: II, § 2, no. 6. Cơ sở, Hamel: II, § 7, no. 1. Cơ sở của một môđun: II, § 1, no. 11. Cơ sở của một đại số: III, § 1, no. 7. Cơ sở của T_I^J(M) liên kết với một cơ sở của M: III, § 5, no. 6.
Cơ sở kiểu của một đại số bậc hai: III, § 2, no. 3. Cơ sở kiểu , kiểu , của một đại số quaternion: III, § 2, no. 5. Cơ sở, xạ ảnh: II, § 9, Bài tập 10. Ánh xạ song cộng, song tuyến tính : II, § 3, no. 1. Đối giao hoán tử: I, § 1, no. 5. Đối giao hoán tử của một đại số con: III, § 1, no. 2. Nhóm hai chu kỳ: I, § 6, Bài tập 26. Đối đối ngẫu của một môđun: II, § 2, no. 7. Song đại số, phân giao hoán, đối giao hoán, phân bậc xiên: III, § 11, no. 4 Song đại số, đối giao hoán, giao hoán, phân bậc: III, § 11, no. 4. Song đại số, song đại số phân bậc, song đại số phân bậc xiên, III, § 11, no. 4. Song đại số của một nửa nhóm: III, § 11, no. 4. Nhóm, vành, môđun phân bậc kép: II, § 11, no. 2. Phân bậc kép: II, § 11, no. 1. Ánh xạ song tuyến tính: II, § 3, no. 5. Song môđun, song môđun (A, B): II, § 1, no. 14. Song môđun trên các đại số: III, § 4, no. 3. Công thức nhị thức: I, § 8, no. 2. Tích khối của các ma trận: II, § 10, no. 5. Vành Boolean: I, § 9, Bài tập 8. Ma trận viền: II, § 10, no. 1. Ngoặc, -ngoặc của hai đạo hàm: III, § 10, no. 4.
Giản ước được, trái, phải, phần tử giản ước được: I, § 2, no 2. Định lý Cartan-Brauer-Hua: I, § 9, Bài tập 18. Đại số Cayley: III, § 2, no. 4. Mở rộng Cayley của một đại số: III, § 2, no. 5. Định lý Cayley-Hamilton: III, § 8, no. 11. Chuẩn Cayley, vết: III, § 2, no. 4. Các octonion Cayley: III, Phụ lục, no. 3. Phần tử trung tâm: I, § 1, no. 5. Mở rộng trung tâm: I, § 6, no. 1. Phép vị tự trung tâm: II, § 1, no. 2. Đồng cấu vành trung tâm: II, § 5, no. 3. Chuỗi trung tâm, dưới: I, § 6, no. 3. Đối giao hoán tử: I, § 5, no. 3. Đối giao hoán tử của một đại số con của một đại số kết hợp: III, § 1, no. 2. Đối giao hoán tử của một tập con: I, § 1, no. 5. Đối giao hoán tử của một tập con của một trường: II, § 7, no. 7. Đại số con đối giao hoán tử: III, § 1, no. 2. Phần tử trung tâm hóa: I, § 5, no. 3. Tập con trung tâm hóa: I, § 5, no. 3. Tâm: I, § 1, no. 5.
Tâm của một đại số: III, § 1, no. 2. Tâm của một ánh xạ tuyến tính xạ ảnh: II, § 9, no. 10. Thay đổi tọa độ, các công thức của: II, § 10, no. 8. Đặc số của một trường: I, § 9, Bài tập 4. Đa thức đặc trưng của một ma trận: III, § 8, no. 11. Nhóm con đặc trưng: I, § 5, no. 3. Lớp, liên hợp: I, § 5, no. 4. Lớp, lũy linh, của một nhóm: I, § 6, no. 3. Lớp, giải được, của một nhóm: I, § 6, no. 4. Đối đại số kết hợp: III, § 11, no. 2. Song đại số đối giao hoán: III, § 11, no. 4. Đối đại số đối giao hoán: III, § 11, no. 2. Ánh xạ đối đường chéo: II, § 1, no. 6. Đối chiều của một đa tạp tuyến tính affine: II, § 9, no. 3. Đối chiều của một không gian con vectơ: II, § 7, no. 3. Các hệ số của một chuỗi lũy thừa hình thức: III, § 2, no. 11. Các hệ số của một tổ hợp tuyến tính: II, § 1, no. 1. Các hệ số của một đa thức: III, § 2, no. 9. Các hệ số của một hệ phương trình tuyến tính: II, § 2, no. 8. Phần bù đại số của một phần tử của một ma trận vuông: III, § 8, no. 6. Đối đại số, A-đối đại số: III, § 11, no. 1. Đối đại số, đối giao hoán phân bậc: III, § 11, no. 3. Đối đại số, đối kết hợp: III, § 11, no. 2. Đối đại số, đối giao hoán: III, § 11, no. 2. Đối đại số, có phần tử đối đơn vị: III, § 11, no. 2. Đối đại số, phân bậc: III, § 11, no. 1. Đối đại số, đối: III, § 11, no. 1. Đối ảnh của một ánh xạ tuyến tính: II, § 1, no. 3. Nhóm trùng hợp: I, § 4, no. 8. Đối hạt nhân của một ánh xạ tuyến tính: II, § 1, no. 3. Cột của một ma trận: II, § 10, no. 1. Tổ hợp, tuyến tính: II, § 2, no. 5. Các tổ hợp tuyến tính hình thức (môđun của): II, § 1, no. 11. Nhân tử giao hoán: III, § 10, no. 1. Đại số giao hoán: III, § 1, no. 1. Trường giao hoán: I, § 9, no. 1. Song đại số giao hoán phân bậc: III, § 11, no. 4. Nhóm giao hoán, tự do, trên X: I, § 7, no. 5. Nhóm giao hoán có toán tử: I, § 4, no. 2. Luật giao hoán: I, § 1, no. 5. Magma giao hoán: I, § 1, no. 5. Nửa nhóm giao hoán, tự do, trên X: I, § 7, no. 7. Vành giao hoán: I, § 8, no. 1.
Các quan hệ giao hoán trong một bảng phép nhân: III, § 1, no. 7. Định lý giao hoán: I, § 1, no. 5. Nhóm giao hoán tử: I, § 6, no. 2. Giao hoán tử của hai phần tử: I, § 6, no. 2. Các tác động giao hoán: I § 5, no. 4. Các phần tử giao hoán: I, § 1, no. 5. Tương thích (quan hệ tương đương) với một luật hợp thành: I, § 1, no. 6. Tương thích (quan hệ tương đương) với một tác động: I, § 3, no. 3. Tương thích (phân bậc) với một đồng tích: III, § 11, no. 1. Tương thích (phân bậc) với một cấu trúc đại số: III, § 3, no. 1. Tương thích (phân bậc) với một cấu trúc vành, môđun: II, § 11, no. 2. Luật hợp thành và quan hệ tương đương tương thích: I, § 1, no. 6. Tương thích, trái, phải (quan hệ tương đương), với một luật hợp thành: I, § 3, no. 3. Tương thích (ánh xạ) với một tác động: I, § 3, no. 1. Tương thích (ánh xạ) với phép toán của một nửa nhóm: I, § 5, no. 1. Cấu trúc môđun hoặc đa nút tương thích: II, § 1, no. 14. Các phần tử con bù: III, § 8, no. 6. Thành phần, thuần nhất, của một phần tử trong một nhóm phân bậc: II, § 11, no. 1. Thành phần của một phần tử trong một tổng trực tiếp: II, § 1, no. 8. Thành phần của một phần tử đối với một cơ sở: II, § 1, no. 11. Thành phần, S-liên thông: I, § 7, Bài tập 18. Môđun con thành phần của một tổng trực tiếp: II, § 1, no. 6. Hợp thành trong M(X): I, § 7, no. 1. Hợp thành, luật của: I, § 1, no. 1. Hợp thành của một họ có giá hữu hạn: I, § 2, no. 1. Hợp thành của một dãy có thứ tự: I, § 1, no. 2. Hợp thành của họ rỗng: I, § 2, no. 1. Hợp thành của các từ: I, § 7, no. 2. Chuỗi hợp thành: I, § 4, no. 7. Điều kiện, cực đại (tương ứng cực tiểu) (tập hợp các nhóm con thỏa mãn điều kiện): I, § 4, Bài tập 15. Đồng dư modulo một số nguyên hữu tỉ: I, § 4, no. 10. Đồng dư (các phần tử) modulo một iđêan: I, § 8, no. 7. Lớp liên hợp trong một nhóm: I, § 5, no. 4. Các phần tử liên hợp trong một nhóm: I, § 5, no. 4. Các phần tử liên hợp dưới phép toán của một nhóm: I, § 5, no. 4. Các tập con liên hợp trong một nhóm: I, § 5, no. 4. Phép liên hợp, liên hợp trong một đại số Cayley: III, § 2, no. 4. Phép liên hợp, liên hợp trong một đại số bậc hai: III, § 2, no. 3. Các hằng số cấu trúc của một đại số đối với một cơ sở: III, § 1, no. 7. Phép co của hai chỉ số trong một tenxơ hỗn hợp: III, § 5, no. 6. Đối ngẫu của một ma trận vuông khả nghịch: II, § 10, no. 7.
Phản biến của một đẳng cấu: II, § 2, no. 5. Tenxơ phản biến: III, § 5, no. 6. Tọa độ, barycentric: II, § 9, no. 3. Dạng tọa độ: II, § 2, no. 6. Tọa độ của một phần tử đối với một cơ sở: II, § 1, no. 11. Các tọa độ, thuần nhất (hệ các tọa độ), của một điểm trong một không gian xạ ảnh: II, § 9, no. 6. Các tọa độ của một tenxơ trên M đối với một cơ sở của M: III, § 5, no. 6. Đồng tích: III, § 11, no. 1. Lớp kề (phải, trái) modulo một nhóm con: I, § 4, no. 4. Đối chuyển vị của một tự đồng cấu: III, § 8, no. 6. Đối đại số có đồng đơn vị: III, § 11, no. 2. Đồng đơn vị: III, § 11, no. 2. Tenxơ hiệp biến: III, § 5, no. 6. Công thức Cramer, hệ: III, § 8, no 7. Tỉ số chéo: II, § 9, Bài tập 11. Đồng cấu chéo: I, § 6, Bài tập 7. Tích chéo: III, § 2, Bài tập 11. Nhóm cyclic: I, § 4, no. 10. Chu trình của một phép hoán vị: I, § 5, no. 7.
Vectơ- phân tích được: III, § 11, no. 13. Phân tích, trực tiếp, của một vành: I, § 8, no. 11. Phân tích, phân tích rút gọn của một phần tử trong một tổng dính của các nửa nhóm: I, § 7, no. 3. Được xác định (nhóm) bởi các phần tử sinh và các quan hệ: I, § 7, no. 6. Được xác định (nửa nhóm) bởi các phần tử sinh và các quan hệ: I, § 7, no. 2. Bậc của một phần tử thuần nhất trong một nhóm phân bậc: II, § 11, no. 1. Bậc của một đa thức đối với các phần tử bất định X_j sao cho : III, § 2, no. 9. Bậc, bậc toàn phần, của một đơn thức: III, § 2, no. 9. Bậc, bậc toàn phần, của một phần tử của một đại số tự do, của một đại số kết hợp tự do: III, § 2, no. 7. Bậc, bậc toàn phần, của một đa thức: III, § 2, no. 9. Mẫu số: I, § 2, no. 4. -đạo hàm, nội: III, § 10, no. 6. Đạo hàm, K-đạo hàm: III, § 10, no. 2. (K, )-đạo hàm bậc , -đạo hàm bậc : III, § 10, no. 2. -đạo hàm của một đại số phân bậc, -đạo hàm của một vành: III, § 10, no. 2. Đạo hàm của một vành A vào một vành B: III, § 10, no. 2. Đạo hàm riêng: III, § 10, no. 11. Dẫn xuất (phần tử) từ một phần tử của đại số tự do bằng cách thay các phần tử vào các phần tử bất định: III, § 2, no. 8.
Dẫn xuất (phần tử) từ một phần tử của đại số kết hợp tự do bằng cách thế các phần tử vào các bất định: III, § 2, no. 8. Nhóm dẫn xuất của một nhóm: I, § 6, no. 2. Dẫn xuất (tác động trái, tác động phải) từ một luật hợp thành: I, § 3, no. 1. Chuỗi dẫn xuất của một nhóm: I, § 6, no. 4. Định thức, Cauchy: III, § 8, Bài tập 5. Định thức của một ma trận: III, § 8, no. 3. Định thức của một tự đồng cấu: III, § 8, no. 1. Định thức của một dãy các vectơ: III, § 8, no. 1. Định thức, Vandermonde: III, § 8, no. 6. Các phần tử đường chéo của một ma trận vuông: II, § 10, no. 7. Ma trận đường chéo của các ma trận: II, § 10, no. 7. Đường chéo của một ma trận vuông, ma trận đường chéo: II, § 10, no. 7. Biểu đồ, khớp: II, § 1, no. 4. Nhóm các hiệu: I, § 2, no. 4. Monoid các hiệu: I, § 2, no. 4. K-vi phân: III, § 10, no. 11. Vi phân của một phần tử: III, § 10, no. 11. Nhóm nhị diện: I, § 6, Bài tập 4. Phép vị tự: II, § 10, Bài tập 11. Chiều của một môđun tự do: II, § 7, no. 2. Chiều của một đa tạp tuyến tính affine: II, § 9, no. 3. Chiều của một không gian affine: II, § 9, no. 1. Chiều của một không gian xạ ảnh: II, § 9, no. 5. Chiều của một không gian vectơ: II, § 7, no. 2. Đẳng hình: II, § 1, no. 13. Phân tích trực tiếp của một vành: I, § 8, no. 11. Nhân tử trực tiếp: I, § 4, no. 9. Giới hạn trực tiếp: xem Giới hạn, trực tiếp. Tích trực tiếp: I, § 4, no. 9. Tích trực tiếp, nội tại: I, § 4, no. 9. Tổng trực tiếp: I, § 4, no. 9. Hệ trực tiếp: xem Hệ, trực tiếp. Phương của một đa tạp tuyến tính affine: II, § 9, no. 3. Các tham số phương của một đường thẳng affine: II, § 9, no. 3. Vectơ phương của một đường thẳng affine: II, § 9, no. 3. Iđêan biệt thức của một đại số: III, § 9, no. 5. Biệt thức của một dãy hữu hạn trong một đại số: III, § 9, no. 5. Tác động phân phối: I, § 3, no. 4. Phân phối, phân phối trái, phân phối phải, luật: I, § 3, no. 4. (Ánh xạ) phân phối đối với một chỉ số: I, § 3, no. 4. Tính phân phối của một luật hợp thành đối với một luật hợp thành khác: I, § 3, no. 5. Ước, trái, phải: I, § 8, no. 1.
Ước của không, trái, phải: I, § 8, no. 1. Miền, nguyên, miền nguyên: I, § 9, no. 2. Lớp ghép kép đối với hai nhóm con: I, § 5, no. 4. Các cơ sở đối ngẫu: II, § 2, nos. 6 and 7. Đối ngẫu, phân bậc, của một môđun phân bậc: II, § 11, no. 6. Đại số các số đối ngẫu: III, § 2, no. 3. Đối ngẫu của một môđun: II, § 2, no. 3.
Phần tử, trung tâm: I, § 1, no. 5. Phần tử giao hoán với một tập con: I, § 5, no. 3. Phần tử dẫn xuất từ một phần tử của đại số tự do bằng cách thế các phần tử vào các bất định: III, § 2, no. 8. Phần tử dẫn xuất từ một phần tử của đại số kết hợp tự do bằng cách thế các phần tử vào các bất định: III, § 2, no. 8. Phần tử, tự do, của một môđun: II, § 1, no. 11. Phần tử, thuần nhất (thuần nhất bậc ), của một nhóm phân bậc: II, § 11, no. 1. Phần tử, đơn vị: I, § 2, no. 1. Phần tử bất biến dưới một toán tử: I, § 3, no. 2. Phần tử, đẳng bậc, của một nhóm phân bậc: II, § 11, no. 1. Phần tử, giản ước được trái, giản ước được phải, giản ước được: I, § 2, no. 2. Phần tử, khả nghịch trái, khả nghịch phải, khả nghịch: I, § 2, no. 3. Phần tử, chính quy trái, chính quy phải, chính quy: I, § 2, no. 2. Phần tử chuẩn hóa một tập con: i, § 5, no. 3. Phần tử, -chính quy: I, § 6, Bài tập 28. Phần tử, -unipotent: I, § 6, Bài tập 28. Phần tử, nguyên thủy, trong một nhóm tự do: I, § 7, Bài tập 26. Phần tử, nguyên thủy, của một đại số kép phân bậc: III, § 11, no. 8. Phần tử thu được từ việc thế các phần tử vào các bất định trong một nhóm tự do: I, § 7, no. 5. Phần tử, kề s: I, § 7, Bài tập 18. Phần tử, xoắn, của một môđun: II, § 7, no. 10. Phần tử, đơn vị: I, § 2, no. 1. Phần tử, đơn vị, của một đại số: III, § 1, no. 1. Phần tử, không: I, § 2, no. 1. Các phần tử đồng dư môđun một iđêan: I, § 8, no. 7. Các phần tử, liên hợp, trong một nhóm: I, § 5, no. 4. Các phần tử, liên hợp, dưới phép toán của một nhóm: I, § 5, no. 4. Các phần tử, đường chéo, của một ma trận vuông: II, § 10, no. 7. Các phần tử, phụ thuộc tuyến tính (độc lập tuyến tính) trong một môđun: II, § 1, no. 11. Các phần tử, trực giao: II, § 2, no. 4. Các phần tử, hoán chuyển được, các phần tử giao hoán với nhau: I, § 1, no. 5.
Ma trận rỗng: II, § 10, no. 1. Tự đồng cấu: I, § 1, no. 1. Tự đồng cấu của một môđun: II, § 1, no. 2. Tự đồng cấu của một vành: I, § 8, no. 4. Tự đồng cấu, đơn môđula: III, § 8, no. 1. Các tự đồng cấu, tương đương, tương tự: III, § 8, Bài tập 26. Các đầu mút, số các đầu mút: I, § 7, Bài tập 37. Bao nội xạ của một môđun: II, § 2, no. 1. Phương trình, tuyến tính, phương trình tuyến tính thuần nhất, phương trình tuyến tính thuần nhất liên kết với một phương trình tuyến tính: II, § 2, no. 8. Phương trình của một siêu phẳng: II, § 7, no. 5. Phương trình, tuyến tính vô hướng: II, § 2, no. 8. Các phương trình, tuyến tính (hệ): II, § 2, no. 8. Các phương trình (hệ) của một không gian con vectơ: II, § 7, no. 5. Các chuỗi hợp thành tương đương: I, § 4, no. 7. Các tự đồng cấu tương đương: III, § 8, Bài tập 26. Các ma trận tương đương: II, § 10, no. 9. Phép hoán vị chẵn: I, § 5, no. 7. Biểu đồ khớp: II, § 1, no. 4. Dãy khớp: II, § 1, no. 4. Khai triển theo một cột: III, § 8, no. 6. Khai triển theo một hàng: III, § 8, no. 6. Khai triển Laplace: III, § 8, no. 6. Mở rộng Cayley của một đại số: III, § 2, no. 5. Mở rộng trung tâm: I, § 6, no. 1. Mở rộng cốt yếu của một môđun: II, § 2, Bài tập 15. Mở rộng các luật phép toán: I, § 5, no. 1. Mở rộng một nhóm bởi một nhóm khác: I, § 6, no. 1. Mở rộng một môđun bởi một môđun khác: II, § 1, no. 4. Mở rộng vô hướng (môđun thu được bởi): II, § 5, no. 1. Mở rộng vô hướng (đại số thu được bởi): III, § 1, no. 5. Mở rộng tầm thường: I, § 6, no. 1. Mở rộng tầm thường của một môđun: II, § 1, no. 9. Đại số ngoài của một môđun: III, § 7, no. 1. Lũy thừa ngoài thứ của một tự đồng cấu: III, § 7, no. 4. Lũy thừa ngoài thứ của một ma trận: III, § 8, no. 5. Lũy thừa ngoài thứ của một môđun: III, § 7, no. 4. Tích ngoài của một -vectơ và một -vectơ: III, § 7, no. 1. Phép toán ngoài hợp thành: I, § 3, no. 1.
Nhân tử trực tiếp của một nhóm: I, § 4, no. 9. Nhân tử trực tiếp của một môđun: II, § 1, no. 9. Nhân tử của một tích: I, § 1, no. 2.
Hệ các nhân tử: III, § 2, Bài tập 11. Trung thành (một nửa nhóm vận hành): I, § 5, no. 1. Môđun trung thành: III, § 1, no. 12. Họ tự do afin, họ liên quan afin, của các điểm trong một không gian afin: II, § 9, no. 3. Họ cơ bản, tự do, sinh, trong một nhóm: I, § 7, no. 6. Họ tự do, liên quan, của các phần tử của một môđun: II, § 1, no. 11. Họ sinh của một đại số: III, § 1, no. 2. Họ trực giao của các phép chiếu: II, § 1, no. 8. Họ tự do xạ ảnh, liên quan xạ ảnh, của các điểm trong một không gian xạ ảnh: II, § 9, no. 7. Tích thớ: I, § 4, no. 8. Trường: I, § 9, no. 1. Trường giao hoán, trường không giao hoán: I, § 9, no. 1. Trường phân thức của một miền nguyên: I, § 9, no. 2. Trường phân thức trái: I, § 9, Bài tập 15. Trường các số hữu tỉ: I, § 9, no. 4. Trường xạ ảnh: II, § 9, no. 9. Chuỗi hợp thành mịn hơn: I, § 4, no. 7. Nhóm hữu hạn: I, § 4, no. 1. Nhóm sinh hữu hạn: I, § 7, Bài tập 16. Môđun hữu hạn sinh: II, § 1, no. 7. Bộ cố định của một tập con của một tập hợp: I, § 5, no. 2. Việc cố định một tập con của một tập hợp (toán tử, tập các toán tử): I, § 5, no. 2. Dạng song tuyến tính chính tắc: II, § 2, no. 3. Dạng tọa độ: II, § 2, no. 6. Dạng tuyến tính: II, § 2, no. 3. Dạng -tuyến tính: II, § 3, no. 9. Dạng : III, § 11, no. 7. Công thức nhị thức: I, § 8, no. 2. Công thức Leibniz: III, § 10, no. 4. Các công thức Cramer: III, § 8, no. 7. Các công thức thay đổi tọa độ: II, § 10, no. 8. Các công thức tính bắc cầu của các chuẩn và vết: III, § 9, no. 4. Các phân thức (trường các phân thức) của một miền nguyên: I, § 9, no. 2. Nhóm các phân thức của một nửa nhóm: I, § 2, no. 4. Nửa nhóm các phân thức với các mẫu trong S: I, § 2, no. 4. Vành các phân thức với các mẫu trong S: I, § 8, no. 12. Vành toàn phân thức: I, § 8, no. 12. Đại số tự do, đại số kết hợp, đại số kết hợp và giao hoán: III, § 2, no. 7. Đại số tự do của một môđun: III, § 2, Bài tập 13. Nhóm giao hoán tự do: I, § 7, no. 5.
Nửa nhóm giao hoán tự do: I, § 7, no. 7. Phần tử, họ, môđun, tập con, hệ tự do: II, § 1, no. 11, và (do lạm dụng ngôn ngữ) II, § 9, no. 7. Họ tự do trong một nhóm: I, § 7, no. 6. Nhóm tự do: I, § 7, no. 5. Magma tự do: I, § 7, no. 1. Nửa nhóm tự do: I, § 7, no. 2. Tích tự do của các đại số: III, § 5, Bài tập 6. Tích tự do của các nhóm: I, § 7, no. 3. Vectơ tự do trong một không gian afin: II, § 9, no. 1. Một nhóm vận hành tự do: I, § 5, no. 4. Hàm tuyến tính afin, hàm afin: II, § 9, no. 4.
Siêu phẳng ở vô hạn: II, § 9, no. 8. Siêu phẳng đi qua 0 trong một không gian vectơ: II, § 7, no. 3. Siêu phẳng, xạ ảnh: II, § 9, no. 7. Siêu phẳng, xạ ảnh, được lấy làm siêu phẳng ở vô hạn: II, § 9, no. 10.
Iđêan, biệt thức: III, § 9, no. 5. Iđêan, phân bậc: II, § 11, no. 3 và III, § 3, no. 2. Iđêan, bất khả quy hai phía: I, § 8, Bài tập 11. Iđêan trái, iđêan phải, iđêan hai phía trong một đại số: III, § 1, no. 2. Iđêan trái, iđêan phải, iđêan hai phía trong một vành: I, § 8, no. 6. Iđêan, cực đại: I, § 8, no. 6. Iđêan, nguyên tố: I, § 9, no. 3. Iđêan, chính: I, § 8, no. 6. Iđêan của các phần tử sinh quan hệ: III, § 2, no. 8. Iđêan, không: I, § 8, no. 6. Lũy đẳng: I, § 1, no. 4. Các đẳng thức Jacobi, giữa các phần phụ của một định thức: III, § 11, Bài tập 9. Các đẳng thức, đa thức: III, § 2, no. 9. Phần tử đơn vị: I, § 2, no. 1. Đẳng thức Jacobi: III, § 10, no. 6. Đẳng thức Redei: III, § 8, Bài tập 25. Ảnh (ảnh ngược) của một đa tạp tuyến tính xạ ảnh qua một ánh xạ xạ ảnh: II, § 9, no. 10. Ảnh của một đồng cấu: II, § 1, no. 3. Bất định, bất định có chỉ số i: I, § 7, no. 5 và III, § 2, no. 7. Chỉ số của một nhóm con: I, § 4, no. 4. Tác động cảm sinh: I, § 3, no. 2. Phân bậc cảm sinh: II, § 11, no. 3. Cấu trúc K'-cảm sinh: II, § 8, no. 1. Luật cảm sinh: I, § 1, no. 4. Vô cực, siêu phẳng tại: II, § 9, no. 8. Vô cực, các điểm tại: II, § 9, no. 8. Tự đẳng cấu trong của một nhóm: I, § 5, no. 3. Tự đẳng cấu trong của một vành: I, § 8, no. 4. Tích vô hướng, trái, phải: III, § 11, nos. 6 and 7. Số nguyên, âm, dương, âm ngặt, dương ngặt: I, § 2, no. 5. Số nguyên, hữu tỉ: I, § 2, no. 5. Các số nguyên, hữu tỉ, modulo một (vành của): I, § 8, no. 11. Các số nguyên, nguyên tố cùng nhau: I, § 8, no. 11. Miền nguyên: I, § 9, no. 2. Tính nguyên, miền của: I, § 9, no. 2. Tích trực tiếp nội, tổng hạn chế: I, § 4, no. 9. Phần tử bất biến: I, § 5, no. 2.
Nhóm con bất biến, nhóm con ổn định: I, § 4, no. 4. Nghịch đảo, nghịch đảo trái, nghịch đảo phải, phần tử: I, § 2, no. 3. Nghịch đảo, trái, nghịch đảo phải, của một ánh xạ tuyến tính: II, § 1, no. 9. Giới hạn ngược: xem Giới hạn, ngược. Hệ ngược: xem Hệ, ngược. Phép nghịch đảo trong một đại số kép: III, § 11, Bài tập 4. Phép nghịch đảo của một phép hoán vị: I, § 5, no. 7. Khả nghịch, khả nghịch trái, khả nghịch phải, phần tử: I, § 2, no. 3. Khả nghịch, khả nghịch trái, khả nghịch phải, ánh xạ tuyến tính: II, § 1, no. 9. Ma trận vuông khả nghịch: II, § 10, no. 7. Iđêan bất khả quy: I, § 8, Bài tập 11. Phần tử đẳng bậc: II, § 11, no. 1. Các magma đẳng cấu: I, § 1, no. 1. Đẳng cấu, magma: I, § 1, no. 1.
Đẳng thức Jacobi: III, § 10, no. 6. Chuỗi Jordan-Hölder: I, § 4, no. 7. Định lý Jordan-Hölder: I, § 4, no. 7. Ghép kề: I, § 7, no. 2.
Hạt nhân của một đồng cấu nhóm: I, § 4, no. 5. Hạt nhân của một ánh xạ tuyến tính: II, § 1, no. 3. Ký hiệu Kronecker: II, § 1, no. 11. Định lý Krull: I, § 8, no. 6.
Khai triển Laplace: III, § 8, no. 6. Luật và quan hệ tương đương, tương thích: I, § 1, no. 6. Luật, kết hợp: I, § 1, no. 3. Luật, giao hoán: I, § 1, no. 5. Luật, nhóm: I, § 4, no. 1. Luật, cảm sinh: I, § 1, no. 4. Luật, phân phối trái, phân phối phải, phân phối đối với một luật khác I, § 3, nos. 4 and 5. Luật không được xác định khắp nơi: I, § 1, no. 1. Luật hợp thành: I, § 1, no. 1. Luật của phép toán trái, phải của một monoid trên một tập hợp: I, § 5, no. 1. Luật của tác động phải, trái liên kết với một tác động: I, § 3, no. 1. Luật, đối: I, § 1, no. 1. Luật, thương: I, § 1, no. 6. Luật viết cộng tính, nhân tính: I, § 1, no. 1. Bội chung nhỏ nhất (b.c.n.n.) của hai số nguyên: I, § 8, no. 11. Công thức Leibniz: III, § 10, no. 4. Bổ đề Zassenhaus: I, § 4, no. 7.
Độ dài của một phân tích trong một tổng dính: I, § 7, no. 3. Độ dài của một nhóm: I, § 4, no. 7. Độ dài của một môđun: II, § 1, no. 10. Độ dài của một phần tử trong một nhóm tự do: I, § 7, Bài tập 19. Độ dài của một phần tử trong một magma tự do: I, § 7, no. 1. Độ dài của một từ: I, § 7, no. 2. Giới hạn trực tiếp của -đại số: III, § 1, no. 6. Giới hạn trực tiếp của -môđun: II, § 6, no. 2. Giới hạn trực tiếp của các tác động: I, § 10, no. 4. Giới hạn trực tiếp của các đại số phân bậc: III, § 3, no. 3. Giới hạn trực tiếp của các nhóm, các nhóm với toán tử, các monoid: I, § 10, no. 3. Giới hạn trực tiếp của các magma: I, § 10, no. 3. Giới hạn trực tiếp của các vành: I, § 10, no. 3. Giới hạn ngược của -đại số: III, § 1, no. 6. Giới hạn ngược của -môđun: II, § 6, no. 1. Giới hạn ngược của các nhóm, các nhóm với toán tử, các monoid: I, § 10, no. 1. Giới hạn ngược của các magma: I, § 10, no. 1. Giới hạn ngược của các vành: I, § 10, no. 1. Đường, afin: II, § 9, nos. 1 and 3. Đường (đi qua 0) trong một không gian vectơ: II, § 7, no. 3. Đường, xạ ảnh: II, § 9, no. 5. Phương trình tuyến tính, hệ: II, § 2, no. 8. Phương trình tuyến tính, hệ, thuần nhất: II, § 2, no. 8. Dạng tuyến tính: II, § 2, no. 3. Nhóm tuyến tính: II, § 2, no. 6. Nhóm tuyến tính đặc biệt: III, § 8, no. 9. Ánh xạ tuyến tính: II, § 1, no. 2. Ánh xạ tuyến tính, hàm, afin: II, § 9, no. 4. Ánh xạ tuyến tính, xạ ảnh: II, § 9, no. 10. Bài toán tuyến tính: II, § 2, no. 8. Đa tạp tuyến tính: II, § 9, nos. 3, 7 and 11. Đa tạp tuyến tính, afin: II, § 9, no. 3. Đa tạp tuyến tính, xạ ảnh: II, § 9, nos. 7 and 11. Các phần tử phụ thuộc tuyến tính, độc lập tuyến tính: II, § 1, no. 11. Các đại số con rời nhau tuyến tính: III, § 4, no. 4. Tính tuyến tính, nguyên lý mở rộng bởi: II, § 1, no. 7.
Magma: I, § 1, no. 1. Magma, kết hợp: I, § 1, no. 3. Magma, giao hoán: I, § 1, no. 5. Magma, được xác định bởi các phần tử sinh và các quan hệ: I, § 7, no. 1. Magma, tự do, trên một tập hợp: I, § 7, no. 1. Magma của các ánh xạ vào một magma: I, § 1, no. 1.
Magma, đối: I, § 1, no. 1. Magma, tích: I, § 1, no. 1. Magma, thương: I, § 1, no. 6. Magma, có đơn vị: I, § 2, no. 1. Magmas, đẳng cấu: I, § 1, no. 1. Ánh xạ, tuyến tính affine, affine: II, § 9, no. 4. Ánh xạ, đa tuyến tính phản xứng: III, § 7, no. 4. Ánh xạ, bi cộng, -song tuyến tính: II, § 3, no. 1. Ánh xạ, C-song tuyến tính: II, § 3, no. 5. Ánh xạ tương thích với một tác động: I, § 3, no. 1. Ánh xạ tương thích với phép toán của một monoid: I, § 5, no. 1. Ánh xạ phân phối đối với một biến: I, § 3, no. 4. Ánh xạ, tuyến tính, A-tuyến tính: II, § 1, no. 2. Ánh xạ, tuyến tính, được xác định bởi một ánh xạ : II, § 1, no. 11. Ánh xạ, tuyến tính, liên kết với một ánh xạ affine: II, § 9, no. 4. Ánh xạ, đa cộng, -đa tuyến tính: II, § 3, no. 9. Ánh xạ, C-đa tuyến tính: II, § 3, no. 9. Ánh xạ, quỹ đạo: I, § 5, no. 4. Ánh xạ, tuyến tính xạ ảnh, xạ ảnh: II, § 9, no. 10. Ánh xạ, tuyến tính khả nghịch phải, tuyến tính khả nghịch trái: II, § 1, no. 9. Ánh xạ, nửa tuyến tính: II, § 1, no. 13. Ánh xạ, đa tuyến tính đối xứng: III, § 6, no. 3. Các ma trận chỉ khác nhau bởi cấp của các cột, hàng: II, § 10, no. 9. Các ma trận, tương đương: II, § 10, no. 9. Các ma trận, bình phương tương tự: II, § 10, no. 9. Ma trận, đối hợp, của một ma trận khả nghịch: II, § 10, no. 7. Ma trận, đường chéo: II, § 10, no. 7. Ma trận, rỗng: II, § 10, no. 1. Ma trận, khả nghịch: II, § 10, no. 7. Ma trận, tam giác dưới, tam giác trên: II, § 10, no. 7. Ma trận, ma trận kiểu : II, § 10, no. 1. Ma trận, đơn thức: II, § 10, no. 7. Ma trận thu được bằng cách viền một ma trận: II, § 10, no. 1. Ma trận thu được bằng cách bỏ các cột, hàng: II, § 10, no. 1. Ma trận của một ánh xạ tuyến tính đối với hai cơ sở: II, § 10, no. 4. Ma trận của một hệ tuyến tính: II, § 10, no. 4. Ma trận của một phần tử đối với một cơ sở: II, § 10, no. 4. Ma trận của một tự đồng cấu đối với một cơ sở: II, § 10, no. 7. Ma trận của một phép hoán vị: II, § 10, no. 7. Ma trận của một ánh xạ nửa tuyến tính đối với hai cơ sở: II, § 10, no. 6. Ma trận chuyển từ một cơ sở này sang một cơ sở khác: II, § 10, no. 8. Ma trận, vô hướng: II, § 10, no. 7.
Ma trận, bình phương, ma trận vuông cấp : II, § 10, no. 7. Ma trận, đơn môđula: III, § 8, no. 4. Các đơn vị ma trận: II, § 10, no. 3. Ma trận chỉ có các số không ở dưới (trên) đường chéo: II, § 10, no. 7. Ma trận, không: II, § 10, no. 2. Iđêan cực đại: I, § 8, no. 6. Trung bình G: I, § 6, Bài tập 8. Các nhóm con chuẩn ổn định cực tiểu: I, § 4, Bài tập 15. Nhóm đơn cực tiểu: I, § 6, Bài tập 27. Minor, minor cấp của một ma trận: III, § 8, no. 5. Các minor, bổ sung: III, § 8, no. 6. Tenxơ hỗn: III, § 5, no. 6. Môđun, phân bậc kép: II, § 11, no. 2. Môđun, chia được: II, § 7, Bài tập 33. Môđun, đối ngẫu: II, § 2, no. 3. Môđun, trung thành: II, § 1, no. 12. Môđun, trung thành, liên kết với một môđun: II, § 1, no. 12. Môđun, tự do: II, § 1, no. 11. Môđun, tự do phân bậc: II, § 11, no. 2. Môđun, phân bậc, môđun phân bậc với các bậc dương: II, § 11, no. 2. Môđun, thương phân bậc: II, § 11, no. 3. Môđun, không phân tích được: II, § 2, Bài tập 21. Môđun, đơn ánh: II, § 2, Bài tập 11. Môđun, trái, môđun phải, A-môđun: II, § 1, no. 1. Môđun, đơn sinh: II, § 1, no. 12. Môđun có độ dài hữu hạn: II, § 1, no. 10. Môđun của các tổ hợp tuyến tính hình thức: II, § 1, no. 11. Môđun của các quan hệ tuyến tính: II, § 1, no. 11. Môđun trên một đại số: III, § 4, no. 3. Môđun, tích: II, § 1, no. 5. Môđun, xạ ảnh: II, § 2, no. 2. Môđun, thương: II, § 1, no. 3. Môđun, phản xạ: II, § 2, no. 7. Môđun, không xoắn, trên một miền nguyên: II, § 7, no. 10. Môđun, xoắn, trên một miền nguyên: II, § 7, no. 10. Nhóm đơn sinh: I, § 4, no. 10. Môđun đơn sinh: II, § 1, no. 2. Monoid: I, § 2, no. 1. Monoid được xác định bởi các phần sinh và các quan hệ: I, § 7, no. 2. Monoid, tự do, trên một tập hợp: I, § 7, no. 2. Monoid các hiệu: I, § 2, no. 4. Monoid các phân thức với các mẫu số trong S: I, § 2, no. 4. Monoid tác động trung thành trên một tập hợp: I, § 5, no. 1.
Tổng monoid: I, § 7, no. 3. Đơn thức: III, § 2, no. 9. Cấu xạ, đại số: III, § 1, no. 1. Cấu xạ, A-môđun: II, § 1, no. 2. Cấu xạ, đối đại số: III, § 11, no. 1. Cấu xạ, đối đại số kép phân bậc, cấu xạ đối đại số kép phân bậc trái: III, § 11, no. 4. Cấu xạ, đối đại số phân bậc: III, § 11, no. 1. Cấu xạ, magma: I, § 1, no. 1. Cấu xạ, monoid: I, § 2, no. 1. Cấu xạ của các mở rộng: I, § 6, no. 1. Cấu xạ, vành: I, § 8, no. 4. Cấu xạ, đại số có đơn vị: III, § 4, no. 5. Cấu xạ, magma có đơn vị: I, § 2, no. 1. Cấu xạ-ϕ (ϕ là một đồng cấu từ một monoid các toán tử vào một monoid các toán tử khác): I, § 5, no. 1. Cấu xạ-ϕ (ϕ là một ánh xạ từ một tập hợp các toán tử vào một tập hợp các toán tử khác): I, § 3, no. 1. Cấu xạ-M (M là một monoid các toán tử): I, § 5, no. 1. Cấu xạ-Ω (Ω là một tập hợp các toán tử): I, § 3, no. 1. Đa cộng, Z-đa tuyến tính, ánh xạ: II, § 3, no. 9. Đa cấp trong đại số tự do của một monoid: III, § 2, Bài tập 13. Đa chỉ số: I, § 7, no. 7. Dạng đa tuyến tính: II, § 3, no. 9. Ánh xạ C-đa tuyến tính: II, § 3, no. 9. Đa môđun: II, § 1, no. 14. Đa môđun, thương: II, § 1, no. 14. Bội, trái, phải: I, § 8, no. 1. Phép nhân: I, § 1, no. 1. Phép nhân trong một đại số. III, § 1, no. 1. Bảng phép nhân: III, § 1, no. 7. Nhóm nhân của một vành: I, § 8, no. 1.
Phần tử đối: I, § 2, no. 3. Số nguyên hữu tỉ âm: I, § 2, no. 5. Số hữu tỉ âm: I, § 9, no. 4. Phần tử lân cận S: I, § 7, Bài tập 18. Định lý Nielson-Schreier: I, § 7, Bài tập 20. Nhóm lũy linh, nhóm lũy linh lớp n: I, § 6, no. 3. Chuẩn, Cayley: III, § 2, no. 4. Chuẩn trong một đại số bậc hai: III, § 2, no. 3. Chuẩn của một phần tử trong một K-đại số đối với K: III, § 9, no. 3. Chuẩn của một vô hướng đối với một môđun: III, § 9, no. 1. Nhóm con chuẩn ổn định: I, § 4, no. 4.
Nhóm con chuẩn: I, § 4, no. 4. Chuẩn hóa tử: I, § 5, no. 3. Chuẩn hóa (phần tử, tập con) một tập con: I, § 5, no. 3. Phần tử không: I, § 2, no. 1. Số, nguyên tố: I, § 4, no. 10. Số, hữu tỉ: I, § 9, no. 4. Số (hữu tỉ), âm, dương, âm ngặt, dương ngặt: I, § 9, no. 4. Tử số: I, § 2, no. 4.
Octonion, Cayley: III, phụ lục, no. 3. Đại số các octonion kiểu (): III, phụ lục, no. 3. Phép hoán vị lẻ: I, § 5, no. 7. Phép toán trái, phải, tịnh tiến: I, § 5, no. 1. Phép toán, trái, phải (các luật): I, § 5, no. 1. Phép toán, trái, phải, của một nửa nhóm: I, § 5, no. 1. Phép toán, bắc cầu đơn giản: I, § 5, no. 6. Phép toán, bắc cầu: I, § 5, no. 5. Phép toán, tầm thường: I, § 5, no. 2. Toán tử: I, § 3, no. 1. Đại số đối: III, § 1, no. 1. Đối đại số: III, § 11, no. 1. Luật đối: I, § 1, no. 1. Magma đối: I, § 1, no. 1. Đối với một M-tập hợp, -tập hợp: I, § 5, no. 1. Vành đối: I, § 8, no. 3. Quỹ đạo: I, § 5, no. 4. Ánh xạ quỹ đạo: I, § 5, no. 4. Cấp, phần tử cấp vô hạn: I, § 4, no. 10. Cấp của một chu trình: I, § 5, no. 7. Cấp của một chuỗi lũy thừa hình thức đối với một số bất định nhất định: III, § 2, no. 11. Cấp của một nhóm: I, § 4, no. 1. Cấp của một phần tử trong một nhóm: I, § 4, no. 10. Cấp của một ma trận vuông: II, § 10, no. 7. Cấp, cấp toàn phần, của một chuỗi lũy thừa hình thức: III, § 2, no. 11. Dãy có thứ tự: I, § 1, no. 2. Các dãy có thứ tự, tương tự: I, § 1, no. 2. Gốc: I, § 2, no. 1. Gốc, lựa chọn trong một không gian affine: II, § 9, no. 1. Các phần tử, tập hợp trực giao: II, § 2, no. 3. Họ các phép chiếu trực giao: II, § 1, no. 8. Môđun con trực giao với một tập con của E (tương ứng ): II, § 2, no. 4.
Các đa tạp tuyến tính song song: II, § 9, no. 3. Hình bình hành: II, § 9, Bài tập 1. Các tham số, hướng, của một đường thẳng affine: II, § 9, no. 3. Đạo hàm riêng: III, § 10, no. 11. Phân bậc từng phần: II, § 11, no. 1. Ma trận chuyển qua: II, § 10, no. 8. Các phần tử giao hoán: I, § 1, no. 5. Phép hoán vị, chẵn, lẻ: I, § 5, no. 7. Mặt phẳng, affine: II, § 9, no. 1 và 3. Mặt phẳng đi qua 0 trong một không gian vectơ: II, § 7, no. 3. Mặt phẳng, xạ ảnh: II, § 9, no. 5. Điểm của một không gian affine: II, § 9, no. 1. Điểm của một không gian xạ ảnh: II, § 9, no. 5. Các điểm, độc lập affine: II, § 9, no. 3. Các điểm ở vô cực: II, § 9, no. 8. Đa thức, đặc trưng, của một phần tử trong một đại số trên K: III, § 9, no. 3. Đa thức, đặc trưng, của một tự đồng cấu: III, § 8, no. 11. Đa thức, đặc trưng, của một vô hướng đối với một môđun: III, § 9, no. 1. Đa thức không chứa số hạng theo X^v: III, § 2, no. 9. Các đồng nhất thức đa thức: III, § 2, no. 9. Đa thức bậc n: III, § 2, no. 9. Các hệ thức đa thức: III, § 2, no. 9. Đa thức không có số hạng hằng: III, § 2, no. 9. Đa thức đối với một họ các bất định, với các hệ số trong một vành: III, § 2, no. 9. Số nguyên hữu tỉ dương: I, § 2, no. 5. Số hữu tỉ dương: I, § 9, no. 4. Lũy thừa ngoài của một ánh xạ tuyến tính: III, § 7, no. 4. Lũy thừa ngoài của một ma trận: III, § 8, no. 5. Lũy thừa ngoài của một môđun: III, § 7, no. 4. Lũy thừa bậc n theo một luật kết hợp: I, § 1, no. 3. Lũy thừa đối xứng của một ánh xạ tuyến tính, của một môđun: III, § 6, no. 3. Lũy thừa tenxơ của một ánh xạ tuyến tính: III, § 5, no. 2. Lũy thừa tenxơ của một môđun: III, § 5, no. 1. Trình bày của một nhóm: I, § 7, no. 6. Trình bày của một đại số: III, § 2, no. 8. Được trình bày hữu hạn (nhóm): I, § 7, Bài tập 16. Bảo toàn khi chuyển qua thương: I, § 1, no. 6. Iđêan nguyên tố: I, § 9, no. 3. Số nguyên tố: I, § 4, no. 10. Nguyên tố cùng nhau (các số nguyên): I, § 8, no. 10. Phần tử nguyên thủy trong một nhóm tự do: I, § 7, Bài tập 26.
Phần tử nguyên thủy trong một magma tự do sinh bởi một phần tử duy nhất: I, § 7, Bài tập 7. Phần tử nguyên thủy của một đối đại số phân bậc: III, § 11, no. 8. G-tập hợp chính, thuần nhất: I, § 5, no. 6. Iđêan chính: I, § 8, no. 6. Chuỗi chính: I, § 4, Bài tập 17. Tập hợp chính dưới G, thuần nhất: I, § 5, no. 6. Nguyên lý mở rộng bằng tính tuyến tính: II, § 1, no. 7. Bài toán tuyến tính: II, § 2, no. 8. Đại số tích: III, § 1, no. 4. Tích khối của các ma trận: II, § 10, no. 5. Tích chéo: III, § 2, Bài tập 11. Tích ngoài của một -vectơ và một -vectơ: III, § 7, no. 1. Tích nửa trực tiếp ngoài của G bởi F đối với : I, § 6, no. 1. Tích thớ của các nhóm có toán tử: I, § 4, no. 8. Tích thớ của các môđun: II, § 1, Bài tập 4. Tích tự do của các đại số: III, § 5, Bài tập 6. Tích tự do của các nhóm: I, § 7, no. 5. Tích tenxơ phân bậc của hai môđun phân bậc: II, § 11, no. 5. Tích tenxơ phân bậc của các đại số phân bậc: III, § 4, no. 7 và 9. Nhóm tích, nhóm tích nội tại, của một họ các nhóm thương: I, § 4, no. 8. Nhóm tích có toán tử: I, § 4, no. 8. Tích trực tiếp nội tại, tích trực tiếp, tích, của các nhóm con: I, § 4, no. 9. Magma tích: I, § 1, no. 1. Tích của các cấu trúc K': II, § 8, no. 3. Tích của các luật hợp thành: I, § 1, no. 1. Tích của các ma trận được tính theo một ánh xạ: II, § 10, no. 2. Tích của các ma trận được tính trong một vành: II, § 10, no. 3. Tích của các môđun: II, § 1, no. 5. Tích của các đa môđun: II, § 1, no. 14. Tích của một toán tử và một phần tử: I, § 3, no. 1. Tích của một dãy có thứ tự: I, § 1, no. 2. Tích của hai phần tử: I, § 1, no. 1. Tích của các iđêan hai phía: I, § 8, no. 9. Tích nội (phải, trái): III, § 11, no. 6 và 7. Vành tích: I, § 8, no. 10. Tích đối xứng của các ánh xạ đa tuyến tính: III, § 11, no. 2. Tích tenxơ của một họ các môđun đối với một bộ ba : II, § 3, no. 9. Tích tenxơ của các đại số: III, § 4, no. 1. Tích tenxơ của một họ vô hạn các đại số: III, § 4, no. 5. Tích tenxơ của các cơ sở của các đại số: III, § 4, no. 5.
Tích, tenxơ, của các đối đại số: III, § 11, no. 1. Tích, tenxơ, của hai cơ sở: II, § 3, no. 7. Tích, tenxơ, của hai phần tử: II, § 3, no. 1. Tích, tenxơ, của hai ánh xạ tuyến tính: II, § 3, no. 2. Tích, tenxơ, của hai ma trận trên một vành giao hoán: II, § 10, no. 10 Tích, tenxơ, của hai môđun: II, § 3, no. 1. Tích, tenxơ, của hai môđun đa: II, § 3, no. 4. Tích, tenxơ, của hai ánh xạ nửa tuyến tính: II, § 3, no. 3. Đồng cấu phép chiếu: I, § 4, no. 8. Trường xạ ảnh: II, § 9, no. 9. Nhóm xạ ảnh: II, § 9, no. 10. Siêu phẳng, mặt phẳng xạ ảnh: II, § 9, no. 7. Đường thẳng xạ ảnh: II, § 9, no. 5. Ánh xạ xạ ảnh: II, § 9, no. 10. Môđun xạ ảnh: II, § 2, no. 2. Không gian xạ ảnh: II, § 9, nos. 5 và 11. Tự do xạ ảnh, liên quan xạ ảnh, họ: II, § 9, no. 7. Phép chiếu: II, § 1, no. 8. Giả môđun trái, phải: II, Phụ lục, no. 2. Giả-vành: I, § 8, no. 1. Giả-vành với bình phương không: I, § 8, no. 3. Vectơ -thuần: III, § 11, no. 13. Quaternion thuần: III, § 2, Bài tập 3.
Đại số bậc hai: III, § 2, no. 3. Nhóm giả: I, § 3, Bài tập 6. Quaternion, thuần: III, § 2, Bài tập 3. Đại số quaternion: III, § 2, no. 5. Nhóm quaternion: I, § 6, Bài tập 4. Đại số thương: III, § 1, no. 2. Phân bậc thương: II, § 11, no. 3. Nhóm thương với các toán tử: I, § 4, no. 4. Luật thương: I, § 1, no. 6. Magma thương: I, § 1, no. 11. Môđun thương, không gian vectơ: II, § 1, no. 3. Đa nút thương: II, § 1, no. 14. Thương của một tác động: I, § 3, no. 3. Vành thương: I, § 8, no. 7. Các thương của một chuỗi hợp thành của một nhóm với các toán tử: I, § 4, no. 7.
Hạng của một nhóm tự do: I, § 7, Bài tập 14. Hạng của một ánh xạ tuyến tính của các không gian vectơ: II, § 7, no. 4. Hạng của một hệ tuyến tính trên một trường: II, § 7, no. 6.
Hạng của một ma trận trên một trường: II, § 10, no. 12. Hạng của một ánh xạ tuyến tính affine: II, § 9, no. 4. Hạng của một phần tử trong một tích tenxơ của các không gian vectơ: II, § 7, no. 8. Hạng của một ánh xạ nửa tuyến tính của các không gian vectơ: II, § 7, no. 4. Hạng của một tập con của một môđun trên một miền nguyên: II, § 7, no. 10. Hạng của một tập con của một không gian vectơ: II, § 7, no. 2. Tỉ số của một phép vị tự: II, § 1, no. 1. Số nguyên hữu tỉ: I, § 2, no. 5. Số hữu tỉ: I, § 9, no. 4. Trường các số hữu tỉ: I, § 9, no. 4. Hữu tỉ trên một trường con (dạng tuyến tính): II, § 8, no. 4. Hữu tỉ trên một trường con (ánh xạ tuyến tính): II, § 8, no. 3. Hữu tỉ trên một trường con (không gian con, vectơ): II, § 8, no. 2. Phân tích rút gọn của một phần tử của một tổng dính: I, § 7, no. 3. Môđun phản xạ: II, § 2, no. 7. Chính quy, chính quy trái, chính quy phải, phần tử: I, § 2, no. 2. Phần tử p-chính quy: I, § 6, Bài tập 28. Hệ liên quan, tập con: II, § 1, no. 11, và § 9, no. 7. Quan hệ, tương đương, tương thích với một luật hợp thành: I, § 1, no. 6. Quan hệ, tương đương, tương thích với một tác động: I, § 3, no. 3. Quan hệ, tương đương, sinh bởi một họ các cặp có thứ tự: I, § 1, no. 6. Quan hệ, tương đương, trái, phải, tương thích với một luật hợp thành: I, § 3, no. 3. Các quan hệ, tính giao hoán, trong một bảng phép nhân: III, § 1, no. 7. Các quan hệ Grassmann: III, § 11, no. 13. Các quan hệ, môđun của các quan hệ tuyến tính: II, § 1, no. 11. Các số nguyên nguyên tố cùng nhau: I, § 8, no. 11. Quan hệ tử: I, § 7, no. 6 và III, § 2, no. 8. Quan hệ tử, phổ quát: III, § 2, no. 8. Các quan hệ tử, iđêan của: III, § 3, no. 8. Các quan hệ tử của một biểu diễn: I, § 7, no. 6 và III, § 2, no. 8. Các quan hệ tử, đa thức: III, § 2, no. 9. Thặng dư của một nửa nhóm: I, § 2, Bài tập 11. Nhóm hữu hạn dư: I, § 5, Bài tập 5. Đại số hạn chế của một monoid: III, § 2, no. 10. Tổng hạn chế, nội bộ: I, § 4, no. 9. Tổng hạn chế của các nhóm: I, § 4, no. 9. Tổng hạn chế của các nhóm đối với các nhóm con: I, § 4, no. 9. Hạn chế của các vô hướng (đại số thu được bởi): III, § 1, no. 5. (Phần tử) thu được từ việc thay các phần tử vào các bất định: I, § 7, no. 5. Co rút của một mở rộng: I, § 6, no. 1.
Vế phải của một phương trình tuyến tính, các vế phải của một hệ tuyến tính: II, § 2, no. 8. Vành: I, § 8, no. 1. Vành, Boolean: I, § 9, Bài tập 8. Vành, giao hoán: I, § 8, no. 1. Vành (phân bậc, phân bậc với các bậc dương, phân bậc kép): II, § 11, no. 2. Vành, thương phân bậc: II, § 11, no. 3. Vành thu được bởi phép nối một phần tử đơn vị: II, Phụ lục, no. 1. Vành các tự đồng cấu của một nhóm giao hoán: I, § 8, no. 4. Vành các phân thức với mẫu trong S: I, § 8, no. 12. Vành các số nguyên modulo n: I, § 8, no. 11. Vành các đa thức không giao hoán đối với một tự đồng cấu và một đạo hàm: III, § 10, Bài tập 3. Vành, đối: I, § 8, no. 3. Vành, tích: I, § 8, no. 10. Vành, thương: I, § 8, no. 7. Vành, toàn bộ, của các phân thức: I, § 8, no. 2. Vành, không: I, § 8, no. 3. Hàng của một ma trận: II, § 10, no. 1. Luật, dấu: I, § 8, no. 1.
Vô hướng: II, § 1, no. 1. Phương trình tuyến tính vô hướng: II, § 2, no. 8. Ma trận vô hướng: II, § 10, no. 7. Định lý Schreier về chuỗi hợp thành: I, § 4, no. 7. Tiết diện của một mở rộng: I, § 6, no. 2. Tích nửa trực tiếp của các nhóm: I, § 6, no. 1. Nửa nhóm trái, phải: I, § 2, Bài tập 11. Nửa đồng cấu, đại số, đại số ρ-đồng cấu: III, § 1, no. 5. Ánh xạ nửa tuyến tính: II, § 1, no. 13. Dãy, khớp: II, § 1, no. 4. Dãy, có thứ tự: I, § 1, no. 2. Dãy, khớp tách: II, § 1, no. 9. Các dãy, có thứ tự tương tự: I, § 1, no. 2. Chuỗi, đại số lũy thừa hình thức: III, § 2, no. 11. Chuỗi, hợp thành: I, § 4, no. 6. Chuỗi, dẫn xuất: I, § 6, no. 4. Chuỗi, phân tích hợp thành tương đương: I, § 4, no. 7. Chuỗi, hợp thành mịn hơn: I, § 4, no. 7. Chuỗi, lũy thừa hình thức: III, § 2, no. 11. Chuỗi, Jordan-Hölder: I, § 4, no. 7. Chuỗi, trung tâm dưới: I, § 6, no. 3. Chuỗi, chuẩn: I, § 4, Bài tập 17.
Chuỗi, chính: I, § 4, Bài tập 17. Tập hợp G, thuần nhất (G là một nhóm toán tử): I, § 5, no. 5. Tập hợp G, thuần nhất chính, tập hợp thuần nhất chính dưới G: I, § 5, no. 6. Tập hợp sinh của một nhóm: I, § 4, no. 3. Tập hợp sinh của một magma: I, § 1, no. 4. Tập hợp M (M là một đơn vị tử toán tử): I, § 5, no. 1. Tập hợp M^0 đối với một tập hợp M: I, § 5, no. 1. Tập hợp các bậc của một nhóm phân bậc: II, § 11, no. 1. Tập hợp các nhóm con thỏa mãn điều kiện cực đại, điều kiện cực tiểu: I, § 4, Bài tập 15. Các tập hợp trực giao: II, § 2, no. 4. Các tập hợp G tương đương yếu: I, § 5, Bài tập 26. Dịch chuyển, phép dịch chuyển: II, § 11, no. 2. Dấu của một phép hoán vị: I, § 5, no. 7. Dấu của một số hữu tỉ: I, § 9, no. 4. Các tự đồng cấu tương tự: III, § 8, Bài tập 26. Các ma trận tương tự: II, § 10, no. 9. Các dãy có thứ tự tương tự: I, § 1, no. 2. Nhóm đơn: I, § 4, no. 4. Phép toán bắc cầu đơn: I, § 5, no. 6. Trường đối: I, § 9, no. 1. Đại số hai phân bậc đối: III, § 11, no. 4. Tenxơ đối xứng: III, § 7, no. 4. Tenxơ đối xứng hóa: III, § 7, no. 4. Tích tenxơ đối của các đại số phân bậc: III, § 4, nos. 7 and 8. Nghiệm của một phương trình tuyến tính, của một hệ tuyến tính: II, § 2, no. 8. Nghiệm tầm thường, nghiệm không của một phương trình tuyến tính thuần nhất: II, § 2, no. 8. Nhóm giải được, nhóm giải được lớp n: I, § 6, no. 4. Không gian affine, gắn với một không gian vectơ: II, § 9, no. 1. Không gian xạ ảnh chính tắc, liên kết với một không gian vectơ: II, § 9, no. 8. Không gian xạ ảnh: II, § 9, nos. 5 and 11. Không gian xạ ảnh, dẫn xuất từ một không gian vectơ: II, § 9, no. 5. Không gian vectơ thương, không gian thương: II, § 1, no. 3. Không gian phải, trái, vectơ, trên một trường: II, § 1, no. 1. Không gian vectơ, liên kết với một môđun trên một miền nguyên: II, § 7, no. 10. Không gian vectơ, thu được bằng cách chọn một gốc trong một không gian affine: II, § 9, no. 1. Không gian vectơ, của các phép tịnh tiến của một không gian affine: II, § 9, no. 1. Dãy khớp tách: II, § 1, no. 10. Ổn định (toán tử, tập hợp toán tử) một tập con: I, § 5, no. 2. Ổn định ngặt (toán tử, tập hợp toán tử) một tập con: I, § 5, no. 2. Nhóm con ổn định của một nhóm có toán tử: I, § 4, no. 3.
Tập con ổn định: I, § 1, no. 4. Âm ngặt, dương ngặt, số nguyên hữu tỉ: I, § 2, no. 5. Âm ngặt, dương ngặt, số hữu tỉ: I, § 9, no. 4. Nhóm ổn định ngặt: I, § 5, no. 2. Ổn định ngặt một tập con: I, § 5, no. 2. Nhóm chuyển vận ngặt: I, § 5, no. 2. Tập con kết hợp mạnh: III, Phụ lục, no. 1. Các cấu trúc môđun (đa môđun), tương thích: II, § 1, no. 14. Cấu trúc, không gian xạ ảnh: II, § 9, no. 11. Cấu trúc K', cảm sinh: II, § 8, no. 2. Cấu trúc K' trên một không gian K-vectơ: II, § 8, no. 1. Cấu trúc K', tích: II, § 8, no. 3. Đại số con: III, § 1, no. 2. Đại số con sinh bởi một tập con: III, § 1, no. 2. Đại số con, phân bậc: III, § 3, no. 2. Trường con: I, § 9, no. 1. Trường con sinh bởi một tập con: I, § 9, no. 1. Nhóm con, đặc trưng: I, § 5, no. 3. Nhóm con, ổn định bất biến, nhóm con bất biến: I, § 4, no. 4. Nhóm con, ổn định chuẩn tắc, nhóm con chuẩn tắc: I, § 4, no. 4. Nhóm con, ổn định, sinh bởi một tập con: I, § 4, no. 3. Nhóm con, nhóm con ổn định: I, § 4, no. 3. Nhóm con Sylow, nhóm con Sylow : I, § 6, no. 6. Magma con: I, § 1, no. 4. Magma con sinh bởi một tập con: I, § 1, no. 4. Magma con, có đơn vị: I, § 2, no. 1. Magma con, có đơn vị, sinh bởi một tập con: I, § 2, no. 1. Ma trận con: II, § 10, no. 1. Môđun con: II, § 1, no. 3. Môđun con, thành phần, của một tổng trực tiếp các môđun: II, § 1, no. 6. Môđun con sinh bởi một họ: II, § 1, no. 7. Môđun con, phân bậc: II, § 11, no. 3. Môđun con, bất khả quy: II, § 2, Bài tập 16. Môđun con, trực giao (hoặc hoàn toàn trực giao) với một tập con của E (resp. E*) II, § 2, no. 4. Môđun con, xoắn, của một môđun trên một miền nguyên: II, § 7, no. 10. Môđun con, không: II, § 1, no. 3. Các môđun con, bổ sung: II, § 1, no. 9. Môđun đa con: II, § 1, nos. 14. Vành con: I, § 8, no. 5. Vành con sinh bởi một tập con: I, § 8, no. 5. Vành con, phân bậc: II, § 11, no. 3. Tập con, affine: II, § 9, no. 3.
Tập con giao hoán với một tập con: I, § 5, no. 3. Tập con, tự do, tập con liên quan: II, § 1, no. 11. Tập con, thuần nhất, bậc đối với một số bất định trong một chuỗi lũy thừa hình thức: III, § 2, no. 11. Tập con chuẩn hóa một tập con: I, § 5, no. 3. Tập con, ổn định: I, § 1, no. 4 và § 3, no. 2. Tập con, ổn định, sinh bởi một tập con: I, § 1, no. 4 và § 3, no. 2. Tập con, kết hợp mạnh: III, Phụ lục, no. 1. Tập con, đối xứng: I, § 4, no. 1. Các tập con, liên hợp: I, § 5, no. 4. Các không gian con liên kết với một phần tử thuần nhất của đại số ngoài: III, § 7, no. 2. Không gian con liên kết với một phần tử thuần nhất của đại số đối xứng: III, § 6, no. 2. Không gian con liên kết với một phần tử thuần nhất của đại số tenxơ: III, § 5, no. 2. Các không gian con liên kết với một phần tử của một tích tenxơ của các không gian vectơ: II, § 7, no. 8. Không gian con hữu tỉ trên một trường con: II, § 8, no. 2. Không gian con, vectơ, không gian con: II, § 1, no. 3. Tổng, ghép, của các môđun: II, § 1, Bài tập 5. Tổng, ghép, của các monoid: II, § 7, no. 3. Tổng, trực tiếp: I, § 4, no. 9. Tổng, trực tiếp, của một họ các môđun con: II, § 1, no. 8. Tổng, trực tiếp ngoài, của một họ các môđun con: II, § 1, no. 6. Tổng, hạn chế trong, của các nhóm con: I, § 4, no. 9. Tổng, monoid: I, § 7, no. 3. Tổng của một họ các phần tử có giá hữu hạn: I, § 2, no. 1. Tổng của một họ các iđêan trái, của các iđêan phải: I, § 8, no. 6. Tổng của một họ các môđun con: II, § 1, no. 7. Tổng của một dãy có thứ tự: I, § 1, no. 2. Tổng của hai phần tử: I, § 1, no. 1. Tổng của hai ma trận: II, § 10, no. 2. Tổng, hạn chế, của các nhóm đối với các nhóm con, tổng hạn chế của các nhóm: I, § 4, no. 9. Nhóm siêu giải được: I, § 6, Bài tập 26. Các môđun con bù: II, § 1, no. 9. Giá của một chu trình: I, § 5, no. 7. Giá của một họ: I, § 2, no. 1. Bỏ các cột, các hàng, trong một ma trận: II, § 10, no. 1. Nhóm con Sylow: I, § 6, no. 6. Ký hiệu Kronecker: II, § 1, no. 11. Đại số đối xứng của một môđun: III, § 6, no. 1.
Nhóm đối xứng: I, § 4, no. 1. Ánh xạ đa tuyến tính đối xứng: III, § 6, no. 3. Lũy thừa đối xứng của một ánh xạ tuyến tính: III, § 6, no. 3. Lũy thừa đối xứng của một môđun: III, § 6, no. 3. Tích đối xứng của hai ánh xạ đa tuyến tính: III, § 11, no. 2. Tập con đối xứng trong một nhóm: I, § 4, no. 1. Tenxơ đối xứng: III, § 6, no. 3. Phép đối xứng hóa một tenxơ: III, § 6, no. 3. Hệ, trực tiếp, của các đại số phân bậc: III, § 3, no. 3. Hệ, trực tiếp, của các magma: I, § 10, no. 3. Hệ, trực tiếp, của các môđun: II, § 6, no. 2. Hệ, trực tiếp, của các vành (nhóm, trường): I, § 10, no. 3. Hệ, tự do, hệ liên quan: II, § 1, no. 11. Hệ, sinh, của một nhóm: I, § 4, no. 3. Hệ, sinh, của một magma: I, § 1, no. 4. Hệ, sinh, của một môđun: II, § 1, no. 7. Hệ, sinh, của một không gian xạ ảnh: II, § 9, no. 8. Hệ, sinh, của một magma có đơn vị: I, § 2, no. 1. Hệ, sinh, của một đại số: III, § 1, no. 2. Hệ, nghịch đảo, của các đại số: III, § 1, no. 6. Hệ, nghịch đảo, của các magma: II, § 10, no. 1. Hệ, nghịch đảo, của các môđun: II, § 6, no. 1. Hệ, nghịch đảo, của các vành (nhóm, trường): I, § 10, no. 1. Hệ phương trình của một không gian con vectơ: II, § 7, no. 5. Hệ các thừa số: III, § 2, Bài tập 11. Hệ tọa độ thuần nhất của một điểm: II, § 9, no. 6. Hệ phương trình tuyến tính, hệ tuyến tính, hệ tuyến tính thuần nhất: II, § 2, no. 8. Hệ tầm thường của các thừa số giao hoán: III, § 4, no. 7.
Bảng, đường chéo, tam giác dưới, tam giác trên, của các ma trận: II, § 10, no. 7. Bảng, phép nhân, của một đại số: III, § 1, no. 7. Bảng, bình phương, của các ma trận: II, § 10, no. 5. Đại số tenxơ của một môđun: III, § 5, no. 1. Tenxơ, phản biến, tenxơ hiệp biến, tenxơ hỗn hợp: III, § 5, no. 6. Tenxơ kiểu (I, J): III, § 5, no. 6. Tenxơ phản đối xứng: III, § 7, no. 4. Tenxơ đối xứng: III, § 6, no. 3. Lũy thừa tenxơ của một ánh xạ tuyến tính: III, § 5, no. 2. Lũy thừa tenxơ của một môđun: III, § 5, no. 1. Số hạng, hằng, của một chuỗi lũy thừa hình thức: III, § 2, no. 11. Số hạng, hằng, của một đa thức: III, § 2, no. 9. Số hạng trong X^α của một đa thức: III, § 2, no. 9.
Số hạng của chuỗi lũy thừa hình thức: III, § 2, no. 11. Số hạng của một đa thức: III, § 2, no. 9. Số hạng của một tổng: I, § 1, no. 2. Số hạng bậc đối với một số bất định nào đó trong một chuỗi lũy thừa hình thức: III, § 2, no. 11. Số hạng có bậc tổng cộng trong một chuỗi lũy thừa hình thức: III, § 2, no. 11. Định lý, tính kết hợp: I, § 1, no. 3. Định lý, Cayley-Hamilton: III, § 8, no. 11. Định lý, tính giao hoán: I, § 1, no. 5. Định lý, của Desargues: II, § 9, Bài tập 15. Định lý, Erdős-Kaplansky: II, § 7, Bài tập 3. Định lý cơ bản của hình học xạ ảnh: II, § 9, Bài tập 16. Định lý, của Hall: I, § 6, Bài tập 7. Định lý, Jordan-Hölder: I, § 4, no. 7. Định lý, của Kaplansky: II, § 2, Bài tập 2. Định lý, của Krull: I, § 8, no. 6. Định lý, Nielsen-Schreier: I, § 7, Bài tập 20. Định lý của tứ giác đầy đủ: II, § 9, Bài tập 13. Định lý, của Pappus: II, § 9, Bài tập 14. Định lý, của Schreier: I, § 4, no. 7. Phần tử xoắn, môđun xoắn, môđun con xoắn: II, § 7, no. 10. Môđun không xoắn: II, § 7, no. 10. Đại số toàn phần của một nửa nhóm: III, § 2, no. 10. Phân bậc toàn phần: II, § 11, no. 1. Trực giao hoàn toàn (môđun con) với một tập con: II, § 2, no. 4. Vết, Cayley: III, § 2, no. 4. Vết trong một đại số bậc hai: III, § 2, no. 3. Vết của một ma trận: II, § 10, no. 11. Vết của một phần tử trong một đại số trên K: III, § 9, no. 3. Vết của một tự đồng cấu: II, § 4, no. 3. Vết của một vô hướng đối với một môđun: III, § 9, no. 1. Phép toán bắc cầu: I, § 5, no. 5. Các công thức tính bắc cầu: III, § 9, no. 4. Phép tịnh tiến trong một không gian afin, không gian các phép tịnh tiến: II, § 9, no. 1. Phép tịnh tiến, trái, phải: I, § 2, no. 2. Phép tịnh tiến, trái, phải (nửa nhóm tác động lên chính nó bởi): I, § 5, no. 1. Bộ chuyển, bộ chuyển ngặt: I, § 5, no. 2. Chuyển vị của một ánh xạ tuyến tính, của một ánh xạ nửa tuyến tính: II, § 2, no. 5. Chuyển vị của một ma trận: II, § 10, no. 1. Phép chuyển vị: I, § 5, no. 7. Phép xạ xuyên: II, § 10, Bài tập 11. Tam giác, tam giác dưới, tam giác trên, ma trận: II, § 10, no. 7. Mở rộng tầm thường: I, § 6, no. 1.
Phân bậc tầm thường: II, § 11, no. 1. Đồng cấu tầm thường: I, § 2, no. 1. Phép toán tầm thường: I, § 5, no. 2. Nghiệm tầm thường của một phương trình tuyến tính thuần nhất: II, § 2, no. 8. Hệ tầm thường của các nhân tử giao hoán: III, § 4, no. 7. Iđêan hai phía: I, § 8, no. 6 và III, § 1, no. 2. Kiểu, mũ, nhóm của: I, § 7, Bài tập 39. Kiểu Δ, phân bậc của: II, § 11, no. 1.
Tự đồng cấu đơn môđula: III, § 8, no. 1. Nhóm đơn môđula: III, § 8, no. 9. Ma trận đơn môđula: III, § 8, no. 3. Phần tử p-unipotent: I, § 6, Bài tập 28. Phần tử đơn vị của một đại số: III, § 1, no. 1. Phần tử đơn vị, trái, phải, trong một groupoid: I, § 4, Bài tập 23. Phần tử khả nghịch, phần tử đơn vị của một magma: I, § 2, no. 1. Đại số có đơn vị: III, § 1, no. 1. Đồng cấu đại số có đơn vị, cấu xạ: III, § 1, no. 1. Đồng cấu có đơn vị: I, § 2, no. 1. Magma có đơn vị: I, § 2, no. 1. Các phần tử khả nghịch, ma trận: II, § 10, no. 3. Đại số phổ quát xác định bởi một hệ sinh liên quan bởi một họ các quan hệ: III, § 2, no. 8. Đại số phổ quát chịu các đồng nhất thức: III, § 2, no. 8. Quan hệ phổ quát: III, § 2, no. 8. Các ẩn của một hệ tuyến tính: II, § 2, no. 8.
Giá trị, tuyệt đối, của một số hữu tỉ: I, § 9, no. 4. Giá trị của một phần tử của một đại số tự do: III, § 2, no. 8. Định thức Vandermonde: III, § 8, no. 6. Đa tạp, tuyến tính afin, đa tạp tuyến tính afin sinh bởi một họ: II, § 9, no. 3. Đa tạp, tuyến tính: II, § 9, no. 3, 7 và 11. Đa tạp, tuyến tính xạ ảnh, đa tạp tuyến tính xạ ảnh sinh bởi một họ: II, § 9, no. 7 và 11. Các đa tạp, tuyến tính song song: II, § 9, no. 3. Vectơ: II, § 1, no. 1. Vectơ, phương, của một đường thẳng afin: II, § 9, no. 3. Vectơ tự do của một không gian afin: II, § 9, no. 1. p-vectơ: III, § 7, no. 1. p-vectơ, thuần: III, § 11, no. 13. Vectơ hữu tỉ trên một trường con: II, § 8, no. 2. Không gian vectơ: II, § 1, no. 1.
Từ: I, § 7, no. 2.
Trọng số của một phần tử thuần nhất: II, § 11, no. 1. Không có điểm bất động (tự đẳng cấu): I, § 6, Bài tập 23.
Bổ đề Zassenhaus: I, § 4, số 7. Không: I, § 2, no. 1. Ma trận không: II, § 10, no. 22. Vành không: I, § 8, no. 3. Nghiệm không của một phương trình tuyến tính: II, § 2, no. 8. Môđun con không: II, § 1, số 3.
N. Bourbaki, Các phần tử của Toán học, Đại số, Các chương 1-3
Đây là bản tái bản bìa mềm của bản dịch tiếng Anh năm 1974 (được Springer phát hành từ năm 1989) của ba chương đầu trong tác phẩm "Algebrec" của Bourbaki. Nó trình bày một cách đầy đủ các nền tảng của đại số tổng quát, đại số tuyến tính và đại số đa tuyến. Chương thứ nhất giới thiệu các đối tượng cơ bản: nhóm, tác động, vành, trường. Chương thứ hai nghiên cứu các tính chất của môđun và ánh xạ tuyến tính, đặc biệt đối với các cấu trúc tích tenxơ và đối ngẫu. Chương thứ ba khảo sát các đại số, đặc biệt là các đại số tenxơ. Các định thức, chuẩn, vết và các phép đạo hàm cũng được nghiên cứu.