SỬ DỤNG MAPLE ĐƯA DẠNG TOÀN PHƯƠNG CÓ HẠNG BẰNG 3 TRÊN TRƯỜNG HỮU HẠN VỀ DẠNG CHÍNH TẮC

Nguyễn Duy Ái Nhân, Trần Công Mẫn

Tập 12, Số1
Thời gian xuất bản: 7/2018
Mục lục: mucluc.pdf
Email: nguyenduyainhan.t2b@gmail.com
Tóm tắt

Các dạng toàn phương có hạng lớn hơn hoặc bằng 2 trên trường hữu hạn Fq, với q là lũy thừa của một số nguyên tố khác 2, luôn biểu diễn mọi phần tử của nhóm nhân các phần tử khác không Fq*. Chính vì vậy, mọi dạng toàn phương không suy biến với hạng bằng n trên trường Fq, với n là số nguyên dương, luôn tương đương với dạng chính tắc

X12+⋯+Xn-12+Xn2

hoặc

X12+⋯+Xn-12+aXn2

tùy thuộc vào biệt thức của dạng toàn phương đó có là một bình phương hay không. Với ý tưởng như vậy cùng việc sử dụng phần mềm Maple, bài báo đưa ra các đoạn lệnh lập trình để đưa một dạng toàn phương không suy biến có hạng bằng 3 trên trường hữu hạn Fq về dạng chính tắc, đồng thời chỉ ra ma trận chuyển cơ sở để thu được dạng chính tắc đó.

Từ khóa
dạng toàn phương, trường hữu hạn, phần mềm Maple