In the invariant theory package of Magma, a linear algebraic group G is given by polynomials, say in variables t1, ..., tm, defined over some field K that is representable in Magma, as the affine variety over the algebraic closure bar(K) of K given by these polynomials. A G-module is given by a matrix A ∈K[t1, ..., tm]n x n such that a group element (η1, ..., ηm) ∈G acts on bar(K)n by the matrix obtained by substituting (η1, ..., ηm) into the polynomials occurring in the matrix A.
G then also acts on the ring of polynomials on bar(K)n by
σ(f) = f σ - 1
for σ ∈G and f ∈bar(K)[x1, ..., xn]. Since the algorithms in Magma do not work with the algebraic closure, single group elements are never dealt with. In fact, all relevant algorithms ony involve field elements of K, the field of definition.