Đại số

Đại số sơ cấp nghiên cứu các giá trị được dùng để giải phương trình được cho bằng các phép toán số học.

Đại số trừu tượng tìm hiểu về các cấu trúc đại số, chẳng hạn như vành các số nguyên được đưa ra bởi tập hợp các số nguyên ${\displaystyle (\mathbb {Z} )}$ cùng với các phép toán đại số là phép cộng (${\displaystyle +}$) và phép nhân (${\displaystyle \times }$).

Đại số là một nhánh của toán học có vai trò nghiên cứu một số hệ thống trừu tượng nhất định – còn gọi là cấu trúc đại số – và thao tác của các biểu thức trong các hệ thống đó. Đây là một dạng khái quát hóa của số học sử dụng các biến số và phép toán đại số khác ngoài các phép toán số học tiêu chuẩn như phép cộng và phép nhân.

Đại số sơ cấp là dạng đại số chính được dạy ở trường học. Môn này xác định các phát biểu toán học mà trong đó sử dụng các biến số để đại diện các giá trị chưa biết và tìm cách xác định phát biểu đúng với giá trị nào. Để làm như vậy, môn này sử dụng các phương pháp biến đổi phương trình khác nhau để cô lập các biến số. Đại số tuyến tính là một lĩnh vực có liên quan chặt chẽ, nghiên cứu các phương trình tuyến tính và các tổ hợp của chúng được gọi là hệ phương trình tuyến tính. Môn này cung cấp các phương pháp để tìm các giá trị giải được tất cả các phương trình trong hệ thống cùng một lúc và nghiên cứu tập hợp các nghiệm này.

Đại số trừu tượng nghiên cứu các cấu trúc đại số, bao gồm một tập hợp của các đối tượng toán học cùng với một hoặc nhiều phép toán được xác định trên tập hợp đó. Đây là một dạng khái quát hóa của đại số cơ bản và tuyến tính, vì nó cho phép các đối tượng toán học khác ngoài số và các phép toán phi số học. Nó phân biệt giữa các loại cấu trúc đại số khác nhau, chẳng hạn như nhóm, vành, và trường, dựa trên số lượng phép toán mà chúng sử dụng và các định luật mà chúng tuân theo, được gọi là tiên đề. Đại số phổ dụng và lý thuyết phạm trù cung cấp các khuôn khổ chung để điều tra các mẫu trừu tượng đặc trưng cho các lớp cấu trúc đại số khác nhau.

Các phương pháp đại số được nghiên cứu lần đầu trong thời kỳ cổ đại để giải quyết một số vấn đề cụ thể trong các lĩnh vực như hình học. Các nhà toán học về sau đã kiểm tra các kỹ thuật chung để giải các phương trình bất kể ứng dụng cụ thể của chúng. Họ mô tả các phương trình và kết quả của chúng bằng cách sử dụng các từ và chữ viết tắt cho đến thế kỷ 16 và 17, hình thức biểu tượng chặt chẽ được phát triển. Vào giữa thế kỷ 19, phạm vi của đại số đã mở rộng ngoài lý thuyết phương trình để bao gồm nhiều loại phép toán và cấu trúc đại số khác nhau. Đại số có liên quan đến nhiều nhánh của toán học như hình học, tô pô, lý thuyết số, và giải tích, cũng như các lĩnh vực mang tính tra vấn khác như logic và khoa học thực nghiệm.

Từ nguyên

"Đại số" là một từ Hán-Việt (代數), chỉ đến việc sử dụng ký hiệu để đại diện cho các con số. Từ này được nhà toán học Trung Quốc Lý Thiện Lan (李善蘭) dịch ra từ khái niệm từ Tây phương. Trong các ngôn ngữ Tây phương, từ đại số (algebra) phát nguồn từ tiếng Ả Rập الجبر (al-jabr, có nghĩa là phục chế). Nó được lấy từ tựa đề quyển sách Ilm al-jabr wa'l-muḳābala của al-Khwarizmi.

Đại số như một phân nhánh của toán học

Đại số bắt đầu với các tính toán tương tự như số học, với chữ cái thay cho chữ số.^[1] Điều này cho phép chứng minh các định lý hay công thức là đúng mà không phải quan tâm đến các số có liên quan. Ví dụ, trong phương trình bậc hai

${\displaystyle ax^{2}+bx+c=0}$

${\displaystyle a,b,c}$ có thể là bất kỳ số nào (ngoại trừ ${\displaystyle a}$ phải khác ${\displaystyle 0}$), và công thức giải phương trình bậc hai có thể được sử dụng nhanh chóng và dễ dàng tìm thấy những giá trị của biến số ${\displaystyle x}$.

Trong quá trình phát triển, đại số đã được mở rộng đến các đối tượng không phải số khác, chẳng hạn như vectơ, ma trận và đa thức. Sau đó, các thuộc tính cấu trúc của các đối tượng không phải số này được tóm tắt để xác định các cấu trúc đại số như nhóm, vành và trường.

Trước thế kỷ 16, toán học được chia thành hai lĩnh vực số học và hình học. Mặc dù một số phương pháp đã được phát triển từ trước, có thể được coi là đại số, nhưng sự xuất hiện của đại số, và không lâu sau đó, các phép vi phân và tích phân như một lĩnh vực của toán học chỉ có từ thế kỷ 16 hoặc 17. Từ nửa sau của thế kỷ 19 trở đi, nhiều lĩnh vực mới của toán học xuất hiện, hầu hết trong số đó đã sử dụng cả số học và hình học, và gần như tất cả trong số đó đều sử dụng đại số.

Ngày nay, đại số đã phát triển đến khi nó đã bao gồm nhiều ngành của toán học, như có thể thấy trong Phân loại Chủ đề Toán học^[2] nơi không có lĩnh vực nào trong số các lĩnh vực mức độ đầu tiên (với hai chữ số) được gọi là đại số. Ngày nay đại số bao gồm các phần 08 – Hệ thống đại số chung, 12 – Lý thuyết trường và đa thức, 13 – Đại số giao hoán, 15 – Đại số tuyến tính và đại số đa tuyến; Lý thuyết ma trận, 16 – Vành kết hợp và đại số, 17 – Vành không kết hợp và đại số, 18 – Lý thuyết thể loại; đại số đồng điều, 19 – Thuyết K và 20 – Lý thuyết nhóm. Đại số cũng được sử dụng rộng rãi trong 11 – Lý thuyết số và 14 – Hình học đại số.

Lịch sử

Lịch sử ban đầu của đại số

Một trang trong tác phẩm al-Kitāb al-muḫtaṣar fī ḥisāb al-ğabr wa-l-muqābala của Al-Khwārizmī

Cội nguồn của đại số có nguồn gốc từ người Babylon cổ đại,^[3] vốn đã phát triển một hệ thống số học tiên tiến mà họ đã có thể làm các phép tính theo phong cách thuật toán. Người Babylon đã phát triển các công thức để tính toán các lời giải cho các bài toán mà ngày nay thường được giải quyết bằng cách sử dụng phương trình tuyến tính, phương trình bậc hai, và phương trình tuyến tính không xác định. Ngược lại, hầu hết người Ai Cập của thời đại này, cũng như các nhà toán học Hy Lạp và Trung Quốc trong thiên niên kỷ 1 TCN, thường giải các phương trình như vậy bằng phương pháp hình học, chẳng hạn như những mô tả trong sách toán viết trên giấy lau sậy Rhind, Cơ sở của Euclid và Cửu chương toán thuật. Lời giải bằng hình học của người Hy Lạp, tiêu biểu trong cuốn Cơ sở, cung cấp một khuôn khổ cho việc khái quát công thức không chỉ dành cho lời giải của các bài toán cụ thể mà còn đưa chúng vào một hệ thống chung hơn để mô tả và giải phương trình, mặc dù điều này sẽ không được thực hiện cho đến khi toán học phát triển trong Hồi giáo thời kỳ Trung Cổ.^[4]

Đến thời của Plato, toán học Hy Lạp đã trải qua một sự thay đổi mạnh mẽ. Người Hy Lạp cổ đại tạo ra một dạng đại số hình học, trong đó các từ ngữ được đại diện bằng các bên của các đối tượng hình học, thường là các dòng kẻ với các chữ cái liên kết ở bên cạnh.^[1] Diophantus (thế kỷ 3) là một nhà toán học Hy Lạp ở Alexandria và là tác giả của một loạt các cuốn sách có tên Arithmetica. Những cuốn sách này tập trung vào việc giải quyết phương trình đại số,^[5] và đã đưa lý thuyết số đến với phương trình Diophantos.

Các phương pháp đại số hình học đã thảo luận ở trên có ảnh hưởng trực tiếp đến nhà toán học người Ba Tư Muhammad ibn Mūsā al-Khwārizmī (khoảng 780 – 850). Ông sau đó đã viết cuốn sách Cách tính toán dựa trên khôi phục và cân bằng. Cuốn sách này đã chính thức đưa đại số thành một phân nhánh độc lập của toán học, tách rời đại số khỏi hình học và số học.^[6]

Các nhà toán học thời Hellenistic Hero của Alexandria và Diophantus^[7] cũng như các nhà toán học Ấn Độ như Brahmagupta tiếp tục truyền thống của Ai Cập và Babylon, mặc dù tác phẩm của Arithmetica của Diophantus và tác phẩm Brāhmasphuṭasiddhānta của Brahmagupta ở đẳng cấp cao hơn.^[8] Ví dụ, giải pháp số học đầy đủ đầu tiên (bao gồm cả các nghiệm là số không và số âm) của phương trình bậc hai được Brahmagupta mô tả trong cuốn sách Brahmasphutasiddhanta. Sau đó, các nhà toán học Ba Tư và Ả Rập phát triển phương pháp đại số ở một mức độ tinh tế cao hơn nhiều. Mặc dù Diophantus và người Babylon sử dụng phương pháp tại chỗ đặc biệt để giải quyết các phương trình, đóng góp của Al-Khwarizmi là cơ bản. Ông đã giải quyết phương trình tuyến tính và phương trình bậc hai mà không dùng biểu tượng đại số, số âm hoặc số không, do đó ông đã phải tách biệt phương trình bậc hai tổng quát thành một số loại phương trình khác nhau.^[9]

Trong bối cảnh đại số được xác định với các lý thuyết của phương trình, nhà toán học người Hy Lạp Diophantus được biết đến như là "cha đẻ của đại số" nhưng trong thời gian gần đây có nhiều cuộc tranh luận về việc liệu al-Khwarizmi, người sáng lập ra phép biến đổi al-jabr (khôi phục), xứng đáng hơn với danh hiệu trên.^[10] Những người ủng hộ Diophantus chỉ ra thực tế là các phép biến đổi đại số trong Al-Jabr có phần sơ cấp hơn khi so sánh với các phép biến đổi đại số trong Arithmetica và Arithmetica ngắn gọn hơn trong khi Al-Jabr hoàn toàn dùng ngôn ngữ thường.^[11] Những người ủng hộ Al-Khwarizmi chỉ ra thực tế là ông đã giới thiệu phương pháp "giảm" và "cân bằng" (bỏ đi hoặc trừ đi cả hai vế của phương trình cho cùng một số), từ đó có thuật ngữ al-jabr,^[12] và ông đã giải thích đầy đủ về cách giải phương trình bậc hai,^[13] kèm theo là các chứng minh bằng hình học, trong khi coi đại số là một ngành độc lập của riêng nó.^[14] Đại số của ông cũng đã không còn liên quan "với một loạt các bài toán cần được giải quyết, mà đã trở thành một cuộc triển lãm bắt đầu với các khái niệm nguyên thủy, trong đó các trường hợp đưa ra phải bao gồm tất cả khả năng có thể cho phương trình, điều này đã chỉ rõ đối tượng thực sự của việc nghiên cứu". Ông cũng nghiên cứu phương trình không phụ thuộc vào bài toán và "một cách chung chung, phương trình không chỉ đơn giản là xuất hiện trong quá trình giải quyết một bài toán, nhưng nó được tạo ra để giải quyết vô số bài toán cùng loại".^[15]

Một nhà toán học người Ba Tư khác là Omar Khayyám đã được ghi công với việc xác định các nền tảng của hình học đại số và tìm thấy cách giải bằng phương pháp hình học tổng quát của phương trình bậc ba. Tuy nhiên, một nhà toán học người Ba Tư khác tên Sharaf al-Dīn al-Tusi, tìm thấy cách giải đại số và số học cho hàng loạt trường hợp khác nhau của phương trình bậc ba.^[16] Ông cũng phát triển các khái niệm về hàm số.^[17] Các nhà toán học Ấn Độ Mahavira và Bhaskara II, nhà toán học Ba Tư Al-Karaji,^[18] và nhà toán học Trung Quốc Chu Thế Kiệt giải quyết một số phương trình bậc ba, bốn, năm và bậc cao hơn sử dụng các phương pháp số. Trong thế kỷ 13, cách giải một phương trình bậc ba của Fibonacci là đại diện cho khởi đầu của hồi sinh trong nghiên cứu đại số ở châu Âu. Khi thế giới Hồi giáo dần suy tàn, thế giới châu Âu dần phát triển. Và từ đó đại số đã phát triển hơn nữa.

Lịch sử đại số hiện đại

Nhà toán học người Ý Girolamo Cardano đã công bố lời giải phương trình bậc 3 và bậc 4 vào năm 1545 trong cuốn sách Ars magna của ông.

François Viète là người đã có những nghiên cứu mới về đại số vào cuối thế kỷ 16. Năm 1637, René Descartes xuất bản cuốn La Géométrie, phát kiến ra hình học giải tích và giới thiệu ký hiệu đại số hiện đại. Các sự kiện quan trọng đánh dấu sự phát triển của đại số là giải pháp đại số chung của phương trình bậc ba và bậc bốn, được phát triển vào giữa thế kỷ 16. Ý tưởng về định thức được nhà toán học Nhật Seki Kōwa phát triển vào thế kỷ 17, cùng với nghiên cứu độc lập của Gottfried Leibniz 10 năm sau đó nhằm giải quyết hệ phương trình tuyến tính sử dụng ma trận. Gabriel Cramer cũng đã nghiên cứu về ma trận và định thức trong thế kỷ 18. Hoán vị được Joseph-Louis Lagrange phân tích trong luận văn năm 1770 Réflexions sur la résolution algébrique des équations, tập trung vào các lời giải của phương trình đại số, trong đó ông giới thiệu đa thức giảm bậc Lagrange. Paolo Ruffini là người đầu tiên phát triển các lý thuyết về nhóm hoán vị, và cũng như những người đi trước, tập trung vào việc giải phương trình đại số.

Đại số trừu tượng đã được phát triển trong thế kỷ 19, xuất phát từ sự quan tâm tới việc giải quyết các phương trình, ban đầu tập trung vào những gì bây giờ được gọi là lý thuyết Galois, và về các vấn đề số có khả năng xây dựng.^[19] George Peacock là người sáng lập tư duy tiên đề trong số học và đại số. Augustus De Morgan phát kiến ra đại số quan hệ trong cuốn sách Syllabus of a Proposed System of Logic. Josiah Willard Gibbs phát triển đại số của các vectơ trong không gian ba chiều, và Arthur Cayley phát triển đại số của ma trận (đây là một đại số không giao hoán).^[20]

Các lĩnh vực toán học có tên gắn với đại số

Một số lĩnh vực của toán học thuộc về đại số trừu tượng có tên gắn với đại số; đại số tuyến tính là một ví dụ. Một số khác không có tên gắn với đại số, chẳng hạn như lý thuyết nhóm, lý thuyết vành và lý thuyết trường.

Đại số tuyến tính là một nhánh con của đại số chuyên nghiên cứu về vector, hệ toạ độ và các phép biến đổi tuyến tính

Trong phần này sẽ liệt kê một số lĩnh vực của toán học với từ "đại số" trong tên.

• Đại số sơ cấp là phần đại số thường được dạy trong các khóa học cơ bản của toán học.
• Đại số trừu tượng, trong đó các cấu trúc đại số như nhóm, vành và trường được định nghĩa và tìm hiểu.
• Đại số tuyến tính nghiên cứu tính chất của phương trình tuyến tính, không gian vectơ và ma trận.
• Đại số giao hoán, nghiên cứu về các vành giao hoán.
• Đại số máy tính, nghiên cứu cách thực hiện các phương pháp đại số như thuật toán và chương trình máy tính.
• Đại số đồng điều, nghiên cứu về các cấu trúc đại số mà là nền tảng cho nghiên cứu không gian tôpô.
• Đại số phổ quát, nghiên cứu tính chất của tất cả các cấu trúc đại số.
• Lý thuyết số đại số, trong đó các thuộc tính của số được nghiên cứu từ quan điểm đại số.
• Hình học đại số, một chi nhánh của hình học, ở dạng nguyên thủy của nó xác định đường cong và bề mặt như lời giải của phương trình đa thức.
• Tổ hợp đại số, trong đó phương pháp đại số được sử dụng để nghiên cứu các bài toán tổ hợp.

Nhiều cấu trúc toán cũng được gọi là đại số:

• Đại số trên một trường hoặc đại số trên một vành.
  Nhiều nhóm của đại số trên một trường hoặc trên một vành có một tên cụ thể:
  • Đại số giao hoán
  • Đại số không giao hoán
  • Đại số Lie
  • Đại số Hopf
  • Đại số C*
  • Đại số đối xứng
  • Đại số ngoài
  • Đại số Tensor
• Trong lý thuyết đo
  • Đại số sigma
  • Đại số trên một tập hợp
• Trong lý thuyết phân loại
  • Đại số F và F-coalgebra
  • Đại số T
• Trong logic,
  • Đại số quan hệ: một tập hợp các quan hệ là đóng với các toán tử nhất định.
  • Đại số Boole, một cấu trúc trừu tượng hóa các tính toán với giá trị luân lý sai và đúng. Các cấu trúc cũng có cùng tên.
  • Đại số Heyting

Đại số sơ cấp

Bài chi tiết: Đại số sơ cấp

Ký hiệu biểu thức đại số:
  1 – số mũ
  2 – hệ số
  3 – đơn thức
  4 – phép toán (toán tử)
  ${\displaystyle c}$ – hằng số
  ${\displaystyle x,y}$ – biến số

Đại số sơ cấp là hình thức cơ bản nhất của đại số. Nó được dạy cho những học sinh không có kiến thức nào về toán học ngoài các nguyên tắc cơ bản của số học. Trong số học, chỉ số và phép toán số học (chẳng hạn như +, -, ×, ÷) được dùng. Trong đại số, số thường được biểu diễn bằng các ký hiệu được gọi là biến số (như là a, n, x, y hoặc z). Điều này rất hữu ích vì:

• Nó cho phép viết các định luật chung của số học (như a + b = b + a cho mọi a và b), và do đó là bước đầu tiên để khám phá một cách hệ thống các thuộc tính của hệ thống số thực.
• Nó cho phép tham chiếu đến các số "chưa biết", xây dựng các phương trình và nghiên cứu làm thế nào để giải quyết chúng. (Ví dụ, "Tìm một số x sao cho 3x + 1 = 10" hoặc đi xa hơn "Tìm một số x sao cho ax + b = c". Bước trừu tượng này dẫn đến kết luận rằng việc giải quyết các phương trình không liên quan đến bản chất của những con số cụ thể mà chỉ liên quan đến cách giải quyết các phương trình trên.)
• Nó cho phép mô tả các quan hệ hàm số. (Ví dụ, "Nếu bạn bán được x vé, thì lợi nhuận của bạn sẽ là 3x − 10 đồng, hoặc f(x) = 3x − 10, trong đó f là hàm số, và x là con số mà hàm số này sẽ được dùng để tính toán".)

Đa thức

Bài chi tiết: Đa thức

Đồ thị của một hàm đa thức bậc 3.

Một đa thức là một biểu thức gồm tổng của một số hữu hạn các đơn thức khác không, mỗi đơn thức bao gồm tích của một hằng số và một số hữu hạn các biến số với số mũ là số nguyên. Ví dụ, x² + 2x − 3 là một đa thức của biến số x. Một biểu thức đa thức là một biểu thức có thể được viết lại như một đa thức, bằng cách sử dụng các phép giao hoán, kết hợp và phân phối phép cộng và phép nhân. Ví dụ, (x − 1)(x + 3) là một biểu thức đa thức, nếu nói cho đúng thì nó không phải là đa thức. Một hàm đa thức là một hàm được định nghĩa bằng một đa thức hoặc một biểu thức đa thức.. Hai ví dụ trên định nghĩa cùng một hàm đa thức..

Hai vấn đề quan trọng và có liên quan trong đại số là các nhân tử của đa thức, nghĩa là thể hiện một đa thức như là một tích của các đa thức khác mà không thể giảm bậc hơn nữa, và việc tính toán các ước chung lớn nhất của đa thức. Ví dụ đa thức trên có thể được viết thành nhân tử như (x − 1)(x + 3). Một nhóm các bài toán có liên quan là tìm nghiệm số của một đa thức một biến số bằng căn thức.

Giáo dục

Môn đại số sơ cấp được gợi ý là cần phải được dạy cho học sinh ở độ tuổi mười một,^[21] mặc dù trong những năm gần đây môn này bắt đầu được dạy ở cấp lớp tám (≈ 13 tuổi) ở Mỹ.^[22]

Tại Việt Nam, môn đại số được dạy như một phân môn của môn Toán trong ba lớp 7, 8, 9 (12, 13, 14 tuổi), và chính thức cùng với môn Hình học được dạy như một môn độc lập (Đại số & Hình học) từ năm lớp 10 (15 tuổi).

Đại số trừu tượng

Bài chi tiết: Đại số trừu tượng và Cấu trúc đại số

Đại số trừu tượng mở rộng các khái niệm quen thuộc trong đại số sơ cấp và số học với các con số đến những khái niệm tổng quát hơn. Dưới đây là liệt kê các khái niệm cơ bản trong đại số trừu tượng.

Tập hợp: Thay vì chỉ xem xét các loại số khác nhau, đại số trừu tượng làm việc với các khái niệm tổng quát hơn - tập hợp: một loạt của tất cả các đối tượng (gọi là phần tử) được lựa chọn theo một đặc điểm nào đó. Tất cả các nhóm các loại số quen thuộc đều là các tập hợp. Ví dụ khác về tập hợp bao gồm tập hợp của tất cả ma trận hai-nhân-hai, tập hợp tất cả các đa thức bậc hai (ax² + bx + c), tập hợp của tất cả các vectơ hai chiều trong một mặt phẳng, và hàng loạt nhóm hữu hạn như các nhóm cyclic, đó là nhóm các số nguyên đồng dư modulo n. Lý thuyết tập hợp là một nhánh của logic và về mặt lý thuyết không phải là một nhánh của đại số.

Phép toán hai ngôi: Dấu của phép cộng (+) được trừu tượng hóa để dùng cho phép toán hai ngôi, chẳng hạn phép ∗. Các khái niệm về phép toán hai ngôi là vô nghĩa nếu tập hợp mà trên đó các phép toán trên được định nghĩa. Đối với hai phần tử a và b trong một tập S, a ∗ b cũng là một phần tử cúa S; điều kiện này được gọi là tính đóng của tập hợp đối với phép toán. Phép cộng (+), phép trừ (−), phép nhân (×, ·), và phép chia (÷, /, :) có thể là phép toán hai ngôi khi xác định trên các tập hợp khác nhau, cũng như phép cộng và phép nhân các ma trận, vectơ và đa thức.

Phần tử đơn vị: Những con số 0 và 1 được trừu tượng hóa để tạo ra khái niệm về một phần tử đơn vị cho một phép toán. 0 là phần tử đơn vị cho phép cộng và 1 là phần tử đơn vị cho phép nhân. Đối với một phép toán hai ngôi ∗ phần tử đơn vị e phải thỏa mãn a ∗ e = a và e ∗ a = a, và nếu nó tồn tại thì nó phải là duy nhất. Điều này đúng với phép cộng vì a + 0 = a và 0 + a = a và phép nhân khi a × 1 = a và 1 × a = a. Không phải tất cả các tập hợp và phép toán hai ngôi đều có phần tử đơn vị; Ví dụ, tập hợp số tự nhiên (1, 2, 3,...) không có phần tử đơn vị cho phép cộng.

Phần tử nghịch đảo: Các số âm đã đưa ra khái niệm các phần tử nghịch đảo. Đối với phép cộng, phần tử nghịch đảo của a được viết là -a, và cho phép nhân phần tử này được viết là a⁻¹. Một yếu tố đảo ngược tổng quát a⁻¹ thỏa mãn thuộc tính: a * a⁻¹ = e và a⁻¹ * a = e, trong đó e là phần tử đơn vị.

Tính kết hợp: Phép cộng các số nguyên có một thuộc tính được gọi là kết hợp. Nghĩa là, việc nhóm các số được thêm vào không ảnh hưởng đến tổng. Ví dụ: (2 + 3) + 4 = 2 + (3 + 4). Nói chung, điều này trở thành (a * b) * c = a * (b * c). Thuộc tính này là đúng với hầu hết các phép toán nhị phân, trừ phép trừ hoặc phép chia hoặc phép nhân octonon.

Tính giao hoán: Phép cộng và phép nhân của số thực đều là giao hoán. Điều này nghĩa là thứ tự của các số không ảnh hưởng đến kết quả. Ví dụ: 2 + 3 = 3 + 2. Nói chung, điều này sẽ trở thành a * b = b * a. Thuộc tính này không đúng cho tất cả các phép toán nhị phân. Ví dụ, phép nhân ma trận và phép chia bậc bốn đều không giao hoán.

Nhóm

Bài chi tiết: Nhóm (toán học)

Xem thêm: Lý thuyết nhóm

Kết hợp các khái niệm trên cho một trong những cấu trúc quan trọng nhất trong toán học: nhóm. Một nhóm là sự kết hợp của một tập hợp S và một phép toán nhị phân duy nhất, được xác định theo bất kỳ cách nào bạn chọn, với các thuộc tính sau:

• Một phần tử đơn vị e tồn tại, sao cho mỗi thành viên a thuộc S, e ∗ a và a ∗ e đều bằng a.
• Mỗi phần tử đều có phần tử nghịch đảo: đối với mỗi thành viên a thuộc S, tồn tại một thành viên a⁻¹ sao cho a ∗ a⁻¹ và a⁻¹ ∗ a đều bằng phần tử đơn vị e.
• Phép toán mang tính kết hợp: nếu a, b và c là các thành viên của S, thì (a ∗ b) ∗ c bằng a ∗ (b ∗ c).

Nếu một nhóm cũng có tính giao hoán - nghĩa là, với bất kỳ hai thành viên a và b của S, a * b bằng b * a - thì nhóm được gọi là nhóm giao hoán hay nhóm Abel.

Vành và trường

Bài chi tiết: Vành và Trường (đại số)

Các chủ đề chính

Dưới đây là một số chủ đề chính của đại số:

• Các bất biến đại số
• Các đa thức
• Các đại số mang tên người
• Các đẳng thức đại số
• Các đường cong đại số
• Các đường cong elíp
• Các nhân thức
• Các nhóm sóng
• Các phép biến đổi đại số
• Các phương trình đại số
• Các tính chất đại số
• Các tổng đại số
• Cyclotomy
• Dạng bình phương
• Đại số đồng điều
• Đại số không giao hoán
• Đại số phổ dụng
• Đại số tuyến tính
• Đại số tổng quát
• Đại số véc-tơ
• Đại số vô hướng
• Hình học đại số
• Lý thuyết giá trị
• Lý thuyết mã hoá
• Lý thuyết nhóm
• Lý thuyết nửa nhóm
• Lý thuyết số
• Lý thuyết trường đại số
• Lý thuyết vành

Phương trình đại số

• Phương trình tuyến tính
• Phương trình bậc hai
• Phương trình bậc ba
• Phương trình lũy thừa
• Phương trình đạo hàm

Các cấu trúc khác

Từ đại số còn được sử dụng cho các cấu trúc đại số khác:

• Đại số trên trường (K-algebra)
• Đại số trên tập hợp
• Đại số Bool
• Đại số sigma (σ-algebra)

Xem thêm

• Hệ thống đại số máy tính
• Diophantus, "cha đẻ của đại số"
• Mohammed al-Khwarizmi, được biết đến như là "cha đẻ của đại số". [1]

Sách tham khảo

• Boyer, Carl B. (1991), A History of Mathematics , John Wiley & Sons, Inc., ISBN 0-471-54397-7
• Donald R. Hill, Islamic Science and Engineering (Edinburgh University Press, 1994).
• Ziauddin Sardar, Jerry Ravetz, and Borin Van Loon, Introducing Mathematics (Totem Books, 1999).
• George Gheverghese Joseph, The Crest of the Peacock: Non-European Roots of Mathematics (Penguin Books, 2000).
• John J O'Connor and Edmund F Robertson, History Topics: Algebra Index. In MacTutor History of Mathematics archive (University of St Andrews, 2005).
• I.N. Herstein: Topics in Algebra. ISBN 0-471-02371-X
• R.B.J.T. Allenby: Rings, Fields and Groups. ISBN 0-340-54440-6
• L. Euler: Elements of Algebra Lưu trữ 2011-04-13 tại Wayback Machine, ISBN 978-1-899618-73-6
• Asimov, Isaac (1961). Realm of Algebra. Houghton Mifflin.

Tham khảo

1. ^ (Boyer 1991, "Europe in the Middle Ages" p. 258) "In the arithmetical theorems in Euclid's Elements VII-IX, numbers had been represented by line segments to which letters had been attached, and the geometric proofs in al-Khwarizmi's Algebra made use of lettered diagrams; but all coefficients in the equations used in the Algebra are specific numbers, whether represented by numerals or written out in words.
2. “2010 Mathematics Subject Classification”. Truy cập ngày 5 tháng 10 năm 2014.
3. Struik, Dirk J. (1987). A Concise History of Mathematics. New York: Dover Publications. ISBN 0-486-60255-9.
4. Boyer 1991Lỗi harv: nhiều mục tiêu (3×): CITEREFBoyer1991 (trợ giúp)
5. Cajori, Florian (2010). A History of Elementary Mathematics – With Hints on Methods of Teaching. tr. 34. ISBN 1-4460-2221-8.
6. Roshdi Rashed (tháng 11 năm 2009). “Al Khwarizmi: The Beginnings of Algebra”. Saqi Books. ISBN 0-86356-430-5Bản mẫu:Inconsistent citations
7. “Diophantus, Father of Algebra”. Bản gốc lưu trữ ngày 27 tháng 7 năm 2013. Truy cập ngày 5 tháng 10 năm 2014.
8. “History of Algebra”. Truy cập ngày 5 tháng 10 năm 2014.
9. Josef W. Meri (2004). Medieval Islamic Civilization. Psychology Press. tr. 31. ISBN 978-0-415-96690-0. Truy cập ngày 25 tháng 11 năm 2012.
10. Boyer, Carl B. (1991). A History of Mathematics . Wiley. tr. 178, 181. ISBN 0-471-54397-7.
11. Boyer, Carl B. (1991). A History of Mathematics . Wiley. tr. 228. ISBN 0-471-54397-7.
12. (Boyer 1991, "The Arabic Hegemony" p. 229) "It is not certain just what the terms al-jabr and muqabalah mean, but the usual interpretation is similar to that implied in the translation above.
13. (Boyer 1991, "The Arabic Hegemony" p. 230) "The six cases of equations given above exhaust all possibilities for linear and quadratic equations having positive root.
14. Gandz and Saloman (1936), The sources of al-Khwarizmi's algebra, Osiris i, p. 263–277: "In a sense, Khwarizmi is more entitled to be called "the father of algebra" than Diophantus because Khwarizmi is the first to teach algebra in an elementary form and for its own sake, Diophantus is primarily concerned with the theory of numbers".
15. Rashed, R.; Armstrong, Angela (1994). The Development of Arabic Mathematics. Springer. tr. 11–2. ISBN 0-7923-2565-6. OCLC 29181926Bản mẫu:Inconsistent citations
16. O'Connor, John J.; Robertson, Edmund F., “Sharaf al-Din al-Muzaffar al-Tusi”, Bộ lưu trữ lịch sử toán học MacTutor, Đại học St. Andrews
17. Victor J. Katz, Bill Barton; Barton, Bill (tháng 10 năm 2007). “Stages in the History of Algebra with Implications for Teaching”. Educational Studies in Mathematics. Springer Netherlands. 66 (2): 185–201 [192]. doi:10.1007/s10649-006-9023-7Bản mẫu:Inconsistent citations
18. (Boyer 1991, "The Arabic Hegemony" p. 239) "Abu'l Wefa was a capable algebraist as well as a trigonometer. 
19. "The Origins of Abstract Algebra".
20. "The Collected Mathematical Papers".
21. “Hull's Algebra” (pdf). New York Times. ngày 16 tháng 7 năm 1904. Truy cập ngày 21 tháng 9 năm 2012.
22. Quaid, Libby (ngày 22 tháng 9 năm 2008). “Kids misplaced in algebra” (Report). Associated Press. Truy cập ngày 23 tháng 9 năm 2012.

Liên kết ngoài

Tiếng Anh

• Khan Academy: Conceptual videos and worked examples
• Khan Academy: Origins of Algebra, free online micro lectures Lưu trữ 2013-05-09 tại Wayback Machine
• Algebrarules.com: An open source resource for learning the fundamentals of Algebra
• 4000 Years of Algebra Lưu trữ 2007-10-04 tại Wayback Machine, lecture by Robin Wilson, at Gresham College, ngày 17 tháng 10 năm 2007 (available for MP3 and MP4 download, as well as a text file).
• Pratt, Vaughan. “Algebra”. Trong Zalta, Edward N. (biên tập). Stanford Encyclopedia of Philosophy.