C-D16-MODULAR-RANK

Hạng quan hệ trên F_p: dim ker = 13 - rank_Fp >= 1 (u là nhân chứng kernel)

Nói dễ hiểu

Vì quan hệ đúng theo modulo p, chiều cấu trúc phải đếm theo modulo p, một sửa chữa cốt yếu rút suy luận hạng-hữu-tỷ cũ.

Phát biểu chính xác

Hạng quan hệ trên F_p: dim ker = 13 - rank_Fp >= 1 (u là nhân chứng kernel)