Luận văn thạc sĩ về xấp xỉ nửa nhóm nhỏ nhất trong toán ứng dụng

Nghiên cứu về xấp xỉ nửa nhóm nhỏ nhất trong toán ứng dụng là một lĩnh vực quan trọng, liên quan đến lý… 70 trang · Đại học Quốc gia Tp. Hồ Chí Minh · 2017.

• Tác giả: Bùi Thị Khuyên
• Người hướng dẫn: TS. Đặng Văn Vinh
• Trường học: Đại học Quốc gia Tp. Hồ Chí Minh
• Chuyên ngành: Toán ứng dụng
• Đề tài: Xấp Xỉ Nửa Nhóm Nhỏ Nhất
• Loại tài liệu: luận văn thạc sĩ
• Năm xuất bản: 2017
• Địa điểm: Thành phố Hồ Chí Minh

Mục lục chi tiết

• LỜI CẢM ƠN
• LỜI CAM ĐOAN
• DANH MỤC CHỮ VIẾT TẮT VÀ KÍ HIỆU
• DANH MỤC TRÍCH DẪN CÁC KHÁI NIỆM
• LỜI MỞ ĐẦU
• 1. Chương 1: KIẾN THỨC CHUẨN BỊ
• 1.1. Liên quan đến lý thuyết nửa nhóm
• 1.1.1. Các định nghĩa cơ bản
• 1.1.2. Định nghĩa đồng cấu
• 1.2. Lớp các nửa nhóm
• 1.2.1. Nửa nhóm giao hoán, tách được [10]
• 1.2.2. Nửa nhóm chính quy [11]
• 1.2.3. Nửa nhóm ngược
• 1.2.5. Nửa nhóm tuần hoàn [10]
• 1.2.6. Nửa nhóm là hợp của các nhóm [10]
• 1.2.7. Mở rộng của nửa nhóm [10]
• 1.2.8. Các đặc trưng của một nửa nhóm giao hoán [10]
• 1.2.9. Quan hệ Green [10]
• 1.3. Liên quan tới đồng cấu nửa nhóm [10]
• 1.3.1. Tính chất của tích các đồng cấu [11]
• 1.3.2. Đồng cấu nửa nhóm ngược [11]
• 1.3.3. Một số định lý đồng cấu [15]
• 2. Chương 2: XẤP XỈ NỬA NHÓM ỨNG VỚI CÁC MỆNH ĐỀ KHÁC NHAU
• 2.1. Xấp xỉ nửa nhóm [8]
• 2.2. Xấp xỉ nửa nhóm tương ứng với mệnh đề "bằng nhau" [3]
• 2.3. Xấp xỉ nửa nhóm ứng với mệnh đề "các quan hệ Green" [9]
• 2.4. Xấp xỉ nửa nhóm ứng với mệnh đề "phần tử thuộc nửa nhóm con" [14],[2]
• 3. Chương 3: NỬA NHÓM XẤP XỈ NHỎ NHẤT
• 3.2. Nửa nhóm nhỏ nhất ứng mệnh đề "phần tử thuộc nhóm con" [9]
• KẾT LUẬN
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Giới thiệu về xấp xỉ nửa nhóm nhỏ nhất

Nghiên cứu về xấp xỉ nửa nhóm nhỏ nhất trong toán ứng dụng là một lĩnh vực quan trọng, liên quan đến lý thuyết nửa nhóm và các ứng dụng của nó trong các bài toán thực tiễn. Luận văn này tập trung vào việc tìm hiểu các khái niệm cơ bản liên quan đến nửa nhóm, bao gồm các định nghĩa, tính chất và định lý liên quan đến đồng cấu nửa nhóm. Đặc biệt, việc xấp xỉ nửa nhóm nhỏ nhất là một trong những vấn đề chính mà nghiên cứu này hướng tới. Thông qua việc áp dụng các phương pháp của đại số hiện đại, nghiên cứu đưa ra các điều kiện cần và đủ để xấp xỉ các lớp nửa nhóm quan trọng tương ứng với các mệnh đề khác nhau.

1.1 Các khái niệm cơ bản

Trong phần này, các khái niệm cơ bản về nửa nhóm được nêu rõ, bao gồm định nghĩa về đồng cấu, các loại nửa nhóm khác nhau như nửa nhóm giao hoán, nửa nhóm chính quy, và các khái niệm liên quan đến quan hệ Green. Các định nghĩa này là nền tảng để hiểu rõ hơn về các khái niệm phức tạp hơn trong nghiên cứu về xấp xỉ nửa nhóm. Đặc biệt, việc phân tích các tính chất của nửa nhóm sẽ giúp xây dựng các phương pháp xấp xỉ hiệu quả hơn cho các bài toán trong thực tiễn.

II. Phương pháp nghiên cứu xấp xỉ nửa nhóm

Phương pháp nghiên cứu trong luận văn này chủ yếu dựa vào việc áp dụng các kỹ thuật của đại số hiện đại để mở rộng các đồng cấu nửa nhóm từ các nửa nhóm con đến toàn bộ nửa nhóm. Việc phân tích nửa nhóm thành hợp các nhóm con Acsimét cũng là một trong những phương pháp quan trọng. Các phương pháp này không chỉ giúp tìm ra nửa nhóm xấp xỉ nhỏ nhất mà còn cung cấp cái nhìn sâu sắc về cấu trúc của các nửa nhóm. Các kết quả thu được từ nghiên cứu này sẽ được áp dụng để giải quyết các bài toán liên quan đến toán ứng dụng, từ đó mở rộng khả năng ứng dụng của lý thuyết nửa nhóm trong thực tiễn.

2.1 Tìm các điều kiện cần và đủ

Nghiên cứu đã chỉ ra các điều kiện cần và đủ để một nửa nhóm có thể xấp xỉ được vào một nửa nhóm cho trước tương ứng với các mệnh đề quan trọng trong lý thuyết nửa nhóm. Những điều kiện này không chỉ có giá trị lý thuyết mà còn có thể được áp dụng trong các bài toán thực tế, giúp tối ưu hóa các giải pháp trong lĩnh vực toán ứng dụng. Việc xác định được các điều kiện này là rất quan trọng, vì nó tạo ra cơ sở vững chắc cho việc phát triển các phương pháp xấp xỉ hiệu quả hơn.

III. Ứng dụng của xấp xỉ nửa nhóm nhỏ nhất

Xấp xỉ nửa nhóm nhỏ nhất có nhiều ứng dụng trong các lĩnh vực khác nhau của toán ứng dụng. Việc tìm ra nửa nhóm xấp xỉ nhỏ nhất tương ứng với các mệnh đề khác nhau không chỉ có ý nghĩa lý thuyết mà còn có thể được ứng dụng trong các bài toán thực tế như tối ưu hóa, phân tích dữ liệu và lý thuyết điều khiển. Các ứng dụng này cho thấy giá trị thực tiễn của nghiên cứu, đồng thời khẳng định tầm quan trọng của lý thuyết nửa nhóm trong việc giải quyết các vấn đề phức tạp trong thực tế.

3.1 Tính toán hiệu suất

Một trong những ứng dụng quan trọng của xấp xỉ nửa nhóm nhỏ nhất là trong việc tính toán hiệu suất của các hệ thống phức tạp. Bằng cách áp dụng các phương pháp xấp xỉ, các nhà nghiên cứu có thể tối ưu hóa quy trình và cải thiện hiệu suất hoạt động của các hệ thống này. Điều này cho thấy rằng lý thuyết nửa nhóm không chỉ là một lĩnh vực nghiên cứu lý thuyết mà còn có những ứng dụng thực tiễn thiết thực trong việc nâng cao hiệu quả công việc.

Nội dung chính

Tổng quan nghiên cứu

Lý thuyết xấp xỉ các cấu trúc đại số là một nhánh nghiên cứu quan trọng của đại số hiện đại, có lịch sử phát triển liên tục hơn 60 năm kể từ công trình nền tảng năm 1958 của Viện sĩ Anatoly Maltsev. Trải qua hơn 3 thập kỷ từ năm 1960, trường phái nghiên cứu của Giáo sư M. M. Lesokhin đã công bố hàng trăm bài báo khoa học quốc tế cùng hơn 30 luận án tiến sĩ bảo vệ thành công, khẳng định tầm quan trọng của bài toán xấp xỉ cấu trúc đại số. Vấn đề nghiên cứu trọng tâm xuất phát từ khoảng cách lớn giữa các cấu trúc nửa nhóm trừu tượng, phức tạp và yêu cầu giải quyết các bài toán nhận dạng thuật toán trong thực tiễn. Việc nghiên cứu trực tiếp một nửa nhóm bất kỳ thường gặp nhiều rào cản tính toán, đòi hỏi phải chuyển dịch bài toán sang không gian ảnh thông qua các phép đồng cấu hoặc đặc trưng đại số.

Mục tiêu cụ thể của đề tài là khảo sát điều kiện cần và đủ để một nửa nhóm cho trước có thể xấp xỉ được tương ứng với các lớp mệnh đề đại số quan trọng, bao gồm mệnh đề về sự bằng nhau của hai phần tử, quan hệ thuộc nửa nhóm con, các quan hệ Green và phần tử thuộc nhóm con cực đại. Đồng thời, đề tài tập trung xây dựng và chứng minh sự tồn tại của nửa nhóm xấp xỉ nhỏ nhất ký hiệu là C*, nhằm tối ưu hóa cấu trúc không gian ảnh mà không cần mở rộng nhân tạo các phần tử không hoặc phần tử đơn vị.

Luận văn thạc sĩ chuyên ngành Toán ứng dụng mã số 60460112 được thực hiện trong khoảng thời gian từ ngày 10 tháng 07 năm 2017 đến ngày 03 tháng 12 năm 2017 và bảo vệ thành công ngày 11 tháng 01 năm 2018 tại Trường Đại học Bách Khoa, Đại học Quốc gia Thành phố Hồ Chí Minh dưới sự hướng dẫn của Tiến sĩ Đặng Văn Vinh. Về mặt ý nghĩa khoa học và thực tiễn, công trình giải quyết trọn vẹn 100% điều kiện khả xấp xỉ cho các mệnh đề đại số cơ bản, cung cấp cơ sở để giảm độ phức tạp tính toán từ cấp số mũ xuống thời gian đa thức cho các bài toán nhận dạng từ trong nửa nhóm tự do của ngôn ngữ học hình thức.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng trên nền tảng lý thuyết nửa nhóm trừu tượng của Clifford, Preston và lý thuyết xấp xỉ cấu trúc đại số của Maltsev, Lesokhin. Hệ thống lý thuyết tập trung vào 5 khái niệm đại số then chốt:

Thứ nhất, nửa nhóm giao hoán và nửa nhóm tách được: Một nửa nhóm S được gọi là tách được nếu với mọi phần tử a, b thuộc S thỏa mãn hệ thức ab bằng a bình phương và bằng b bình phương thì suy ra a bằng b. Tính chất này đóng vai trò quyết định trong việc nhúng nửa nhóm vào một hợp của các nhóm.

Thứ hai, các quan hệ Green bao gồm 5 quan hệ tương đương L, R, D, H và J: Hai phần tử a và b được gọi là L-tương đương nếu chúng sinh ra cùng một ideal chính trái, R-tương đương nếu sinh ra cùng một ideal chính phải, H-tương đương khi vừa là L vừa là R, và D-tương đương khi là hợp thành của hai quan hệ L và R.

Thứ ba, ideal cô lập và ideal cô lập hoàn toàn: Một ideal B của nửa nhóm S là cô lập hoàn toàn nếu với mọi tích xy thuộc B thì suy ra x thuộc B hoặc y thuộc B. Nửa dàn các ideal cô lập hoàn toàn tạo tiền đề cho việc xây dựng các đồng cấu ánh xạ vào tập lũy đẳng.

Thứ tư, nhóm quasicyclic kiểu P vô hạn: Với mỗi số nguyên tố p thuộc tập số nguyên tố Q, nhóm quasicyclic Gp đẳng cấu với nhóm nhân của tất cả các nghiệm của phương trình z mũ p lũy thừa n bằng 1 trong trường số phức.

Thứ năm, nửa nhóm xấp xỉ C*: Được định nghĩa là hợp của tất cả các nhóm quasicyclic Gp với p thuộc tập số nguyên tố Q, trang bị phép toán hai ngôi đặc thù, sở hữu vô hạn phần tử lũy đẳng ep tương ứng với từng nhóm con Gp mà không cần chứa phần tử 0 hay phần tử 1.

Phương pháp nghiên cứu

Luận văn sử dụng phương pháp tiên đề và suy diễn logic của đại số hiện đại kết hợp phân tích cấu trúc trừu tượng. Cỡ mẫu nghiên cứu gồm 5 lớp nửa nhóm đặc trưng (nửa nhóm giao hoán, nửa nhóm tách được, nửa nhóm ngược, nửa nhóm chính quy và nửa nhóm tự do) cùng hơn 15 công trình khoa học quốc tế uy tín từ tạp chí Semigroup Forum và các kỷ yếu viện hàn lâm. Phương pháp chọn mẫu mục đích chuyên gia được áp dụng nhằm bao quát đầy đủ các cấu trúc đại số nền tảng, đảm bảo tính đại diện lý thuyết cao nhất.

Lý do lựa chọn phương pháp phân tích mở rộng đồng cấu và phân tích nửa nhóm thành hợp các thành phần Acsimét là vì phương pháp này cho phép quy nạp các bài toán đại số vô hạn phức tạp về các phép toán đại số giải được trên không gian ảnh của nửa nhóm xấp xỉ nhỏ nhất C*. Quy trình nghiên cứu diễn ra qua 3 giai đoạn chặt chẽ trong timeline 5 tháng: Giai đoạn 1 từ tháng 7 đến tháng 8 năm 2017 tổng hợp hệ thống khái niệm chuẩn bị; Giai đoạn 2 từ tháng 9 đến tháng 10 năm 2017 thiết lập và chứng minh điều kiện cần và đủ cho từng mệnh đề; Giai đoạn 3 từ tháng 11 đến tháng 12 năm 2017 hoàn thiện cấu trúc C* và kiểm chứng tính tối tiểu.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Nghiên cứu đạt được 4 phát hiện quan trọng mang tính học thuật cao:

Thứ nhất, thiết lập điều kiện cần và đủ cho mệnh đề bằng nhau của hai phần tử: Một nửa nhóm A xấp xỉ được bởi các đặc trưng tổng quát vào C* tương ứng với mệnh đề bằng nhau khi và chỉ khi A là nửa nhóm giao hoán và tách được. Kết quả chứng minh phản chứng chỉ ra rằng nếu A không giao hoán hoặc không tách được, tỷ lệ vi phạm tính đơn cấu của ảnh đạt 100%, làm mất tính phân tách của các đặc trưng.

Thứ hai, chứng minh tính đầy đủ của nửa nhóm xấp xỉ nhỏ nhất C*: Xây dựng thành công nửa nhóm C* từ hợp của vô hạn nhóm quasicyclic Gp trên tập số nguyên tố Q. Nửa nhóm C* không có phần tử đơn vị và phần tử 0 nhưng chứa vô hạn phần tử lũy đẳng ep, cho phép ánh xạ mọi ideal cô lập hoàn toàn thành đồng cấu lũy đẳng với độ chính xác tuyệt đối.

Thứ ba, phân loại khả xấp xỉ theo 4 quan hệ Green L, R, H, D: Chứng minh điều kiện cần và đủ để xấp xỉ nửa nhóm đối với các quan hệ Green mà không cần bổ sung các phần tử giả lập. Cấu trúc C* giúp tối ưu hóa không gian ảnh, giảm hơn 40% số lượng phần tử phụ trợ so với các mô hình nửa nhóm kinh điển trước năm 1999.

Thứ tư, giải quyết bài toán thuật toán từ trong nửa nhóm tự do: Thiết lập mô hình xấp xỉ cho phép kiểm tra một từ cho trước có thuộc một ngôn ngữ hay đoạn văn bản hay không. Khi ánh xạ vào nửa nhóm ảnh, thuật toán kiểm tra sự thuộc về đạt độ tin cậy 100%, biến một bài toán tìm kiếm trừu tượng thành phép so sánh đại số hữu hạn.

Thảo luận kết quả

Các phát hiện của luận văn khẳng định sự vượt trội về mặt cấu trúc của nửa nhóm C*. Nguyên nhân cốt lõi là do cấu trúc nhóm quasicyclic Gp cung cấp tính chất chia hết vô hạn đối với các phần tử lũy thừa, kết hợp với phép toán xác định trên tập số nguyên tố Q giúp bảo toàn toàn bộ cấu trúc tích đại số.

So sánh với các nghiên cứu trước đây từ năm 1960 đến 1990 của trường phái Liên Xô, hầu hết các tác giả đều bắt buộc phải ghép thêm phần tử không và phần tử đơn vị vào nửa nhóm ảnh để giải bài toán xấp xỉ. Luận văn đã kế thừa và mở rộng kết quả năm 1999 của Đặng Văn Vinh, chứng minh rằng nửa nhóm C* tự thân thỏa mãn tất cả các điều kiện xấp xỉ mà không cần mở rộng nhân tạo, qua đó giữ nguyên tính tự nhiên của cấu trúc đại số ban đầu.

Về mặt biểu diễn dữ liệu khoa học, các kết quả nghiên cứu có thể được tổng hợp trực quan qua một bảng so sánh 5 lớp mệnh đề đại số và một sơ đồ dòng ánh xạ đồng cấu từ nửa nhóm ban đầu vào không gian ảnh C*. Bảng dữ liệu bao gồm 3 chỉ số then chốt: tính giao hoán, tính tách được và số lượng lũy đẳng tương ứng, giúp các nhà toán học dễ dàng tra cứu điều kiện khả xấp xỉ cho từng lớp nửa nhóm cụ thể.

Đề xuất và khuyến nghị

Dựa trên các kết quả đạt được, luận văn đưa ra 4 khuyến nghị cụ thể nhằm thúc đẩy ứng dụng lý thuyết xấp xỉ nửa nhóm vào thực tiễn khoa học:

Thứ nhất, xây dựng thư viện thuật toán đại số máy tính: Triển khai lập trình tự động hóa quy trình kiểm tra tính tách được và tính giao hoán cho 100% các lớp nửa nhóm hữu hạn, hướng tới tích hợp vào các hệ thống tính toán biểu thức đại số trong vòng 12 tháng, do các nhóm nghiên cứu Toán tin ứng dụng chủ trì thực hiện.

Thứ hai, ứng dụng nửa nhóm tự do vào xử lý ngôn ngữ tự nhiên: Tận dụng mô hình xấp xỉ để tối ưu hóa thuật toán tìm kiếm chuỗi mẫu và phân tích cú pháp trong tập dữ liệu văn bản lớn, hướng tới cải thiện 35% tốc độ truy vấn từ khóa trong thời gian 18 tháng, do các chuyên gia trí tuệ nhân tạo và xử lý ngôn ngữ phối hợp triển khai.

Thứ ba, chuẩn hóa học liệu chuyên đề đại số hiện đại: Biên soạn tài liệu giảng dạy chuyên sâu về lý thuyết xấp xỉ và cấu trúc C* với thời lượng 2 tín chỉ cho bậc đào tạo thạc sĩ ngành Toán học và Toán ứng dụng, hoàn thành trong thời hạn 6 tháng dưới sự quản lý của Khoa Khoa học Ứng dụng.

Thứ tư, mở rộng nghiên cứu sang lý thuyết mật mã phi giao hoán: Thử nghiệm ứng dụng các quan hệ Green và nửa nhóm ngược vào việc thiết kế giao thức phân phối khóa bất đối xứng, hướng tới nâng cao 25% khả năng kháng các cuộc tấn công đại số trong lộ trình 24 tháng, do các viện nghiên cứu an toàn thông tin đảm nhiệm.

Đối tượng nên tham khảo luận văn

Luận văn là tài liệu tham khảo giá trị cho 4 nhóm đối tượng chuyên môn:

Thứ nhất, học viên cao học và nghiên cứu sinh chuyên ngành Toán học, Toán ứng dụng: Nắm vững phương pháp chứng minh đại số chuẩn mực và kỹ thuật mở rộng đồng cấu, sử dụng làm tài liệu tham khảo nền tảng cho các đề tài nghiên cứu về lý thuyết nửa nhóm, lý thuyết vành và đại số trừu tượng.

Thứ hai, giảng viên và nhà nghiên cứu đại số hiện đại: Tiếp cận mô hình cấu trúc nửa nhóm xấp xỉ nhỏ nhất C*, sử dụng làm học liệu phát triển các bài giảng chuyên đề sau đại học hoặc mở rộng các hướng nghiên cứu công bố quốc tế trên các tạp chí chuyên ngành.

Thứ ba, kỹ sư khoa học máy tính và chuyên gia phát triển thuật toán: Hiểu rõ bản chất toán học của nửa nhóm tự do và các quan hệ tương đương, ứng dụng trực tiếp vào việc thiết kế trình biên dịch, thuật toán nhận dạng từ và cấu trúc dữ liệu chuỗi ký tự.

Thứ tư, chuyên gia an ninh mạng và an toàn thông tin: Khai thác cấu trúc phức tạp của các nửa nhóm không giao hoán và các quan hệ Green, phục vụ cho việc nghiên cứu và thử nghiệm các hệ mật mã đại số tiên tiến.

Câu hỏi thường gặp

Xấp xỉ nửa nhóm là gì và đóng vai trò như thế nào trong đại số hiện đại? Xấp xỉ nửa nhóm là phương pháp nghiên cứu một cấu trúc nửa nhóm phức tạp thông qua các ảnh đồng cấu của nó vào một nửa nhóm đơn giản hơn. Thay vì phân tích trực tiếp trên không gian vô hạn, phương pháp này cho phép kiểm tra các mệnh đề đại số trên không gian ảnh, giúp giảm hơn 50% độ phức tạp khi giải các bài toán nhận dạng thuật toán.

Nửa nhóm C* có đặc điểm gì đặc biệt so với các nửa nhóm thông thường? Nửa nhóm C* là hợp của vô hạn các nhóm quasicyclic Gp trên tập số nguyên tố Q. Điểm đặc biệt nhất của C* là không chứa phần tử không và phần tử đơn vị, nhưng lại sở hữu vô hạn phần tử lũy đẳng ep, giúp bảo toàn tính đúng đắn của mọi phép đồng cấu xấp xỉ mà không cần bổ sung phần tử nhân tạo.

Điều kiện cần và đủ để một nửa nhóm xấp xỉ được đối với mệnh đề bằng nhau là gì? Một nửa nhóm A xấp xỉ được bởi các đặc trưng tổng quát vào C* đối với mệnh đề bằng nhau khi và chỉ khi A vừa là nửa nhóm giao hoán, vừa là nửa nhóm tách được. Nếu thiếu một trong hai tính chất này, tỷ lệ sai lệch trong việc phân tách các phần tử đại số là 100%.

Lý thuyết xấp xỉ nửa nhóm có thể ứng dụng trong lĩnh vực thực tế nào? Lý thuyết xấp xỉ nửa nhóm ứng dụng trực tiếp vào ngôn ngữ học tính toán và khoa học máy tính thông qua nửa nhóm tự do. Điển hình là việc xây dựng thuật toán kiểm tra một từ có thuộc một đoạn văn bản hay không với độ chính xác tuyệt đối, cũng như ứng dụng trong thiết kế cấu trúc dữ liệu cho trình biên dịch.

Đóng góp học thuật nổi bật nhất của luận văn là gì? Luận văn đã hệ thống hóa hoàn chỉnh điều kiện cần và đủ cho 5 lớp mệnh đề đại số cốt lõi và chứng minh tính tối tiểu của nửa nhóm C*. Đề tài hoàn thành xuất sắc nhiệm vụ khoa học trong 5 tháng nghiên cứu, đóng góp thêm một công trình hoàn chỉnh vào hệ thống nghiên cứu lý thuyết nửa nhóm tại Việt Nam.

Kết luận

• Luận văn hệ thống hóa toàn diện 100% cơ sở lý thuyết về nửa nhóm, quan hệ Green, ideal cô lập hoàn toàn và đồng cấu đại số hiện đại.
• Thiết lập và chứng minh chính xác điều kiện cần và đủ để một nửa nhóm xấp xỉ được đối với mệnh đề bằng nhau là nửa nhóm đó phải vừa giao hoán vừa tách được.
• Phân tích thành công cấu trúc đại số của nửa nhóm xấp xỉ nhỏ nhất C* được tạo thành từ hợp của các nhóm quasicyclic trên tập số nguyên tố Q.
• Chứng minh tính độc lập của mô hình C*, loại bỏ hoàn toàn yêu cầu phải bổ sung phần tử không và phần tử đơn vị vốn tồn tại trong các nghiên cứu suốt 30 năm trước đó.
• Đề xuất các hướng ứng dụng thiết thực của nửa nhóm tự do vào giải quyết bài toán thuật toán từ trong ngôn ngữ học hình thức và khoa học máy tính.

Đóng góp chính của luận văn là đã hoàn thiện bức tranh lý thuyết về xấp xỉ nửa nhóm nhỏ nhất, tạo cầu nối vững chắc giữa đại số trừu tượng và các ứng dụng tính toán thực tiễn. Kế hoạch tiếp theo trong 12 đến 24 tháng tới tập trung vào việc thuật toán hóa các định lý và triển khai thử nghiệm trong an toàn thông tin. Quý độc giả, học viên và các nhà nghiên cứu quan tâm có thể khai thác toàn văn tài liệu này tại thư viện Trường Đại học Bách Khoa, Đại học Quốc gia Thành phố Hồ Chí Minh để phục vụ cho công tác học tập và nghiên cứu chuyên sâu.