Skip to main content

gl_order_p

Function gl_order_p 

Source
pub fn gl_order_p(n: u32, p: u64) -> u128
Expand description

|GL(n,p)| over GF(p) via the orbit–stabilizer (ordered-basis) factorization Π_{i=0}^{n-1}(pⁿ − pⁱ). GL(n,p) acts simply transitively on ordered bases of GF(p)ⁿ, so each factor pⁿ − pⁱ counts the vectors outside the i-dimensional span built so far — the same symmetry break as over GF(2), now across the field. The p = 2 case is gf2::gl_order.