Let K be a skew field ,Ks×n represent the group of the unit s × n matrix,In represent the identity matrix on the skew field ,r(A) mean the rank of matrix A
ให้ K เป็นฟิลด์ต้นฉบับเอียงอัตโนมัติ Ks × n แทนกลุ่มของเมตริกซ์ n × s หน่วย ในแสดงลำดับของเมทริกซ์เมทริกซ์เอกลักษณ์บนฟิลด์ต้นฉบับเอียงอัตโนมัติ r(A) หมายถึงA