Hình học Diophantine trên các nhóm VI: lý thuyết cơ bản của một nhóm tự do

Bài báo này là bài thứ sáu trong một loạt bài viết về cấu trúc của tập nghiệm cho các hệ phương trình trong một nhóm tự do, các phép chiếu của các tập hợp như vậy, và cấu trúc của các tập hợp cơ bản được định nghĩa trên một nhóm tự do. Trong bài báo thứ sáu này, chúng tôi sử dụng quy trình loại bỏ định lượng được trình bày trong hai phần của bài báo thứ năm trong loạt bài này, để trả lời một số vấn đề của A. Tarski liên quan đến lý thuyết cơ bản của một nhóm tự do, và để phân loại các nhóm sinh hữu hạn (f.g.) mà tương đương cơ bản với một nhóm tự do không giao hoán (f.g).