Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $F=\mathrm{GF}\left(p^k\right)$ be any finite field. Let $G$ be the group of all affine permutations on $F$ (i.e. permutations of form $x\mapsto ax+b$). Then the set of all functions from $F$ to $\bar{F}$ is a linear representation of $G$, where $g(f)(x)=f(gx)$.

What are all sub-representations of this representation? Is it possible to characterize them?

Note: that in this case $\mathrm{gcd}\left(\left|G\right|,F\right)$ not equal to $1$.

share|improve this question
1  
For any $n\geq 0$, the functions representable by a polynomial of degree less than or equal to $n$ clearly form a subrepresentation. The successive quotients are isomorphic to the symmetric powers of the permutation representation of the $x\to ax$ group (the normal subgroup of translations acts trivially) and can be completely described. –  Victor Protsak Jun 30 '10 at 9:40
    
Victor: I don't follow. Your successive quotients are one dimensional or I am not a hare. –  Bugs Bunny Jun 30 '10 at 11:31
    
Sorry for being a but unclear, but you, guys and hares, have figured it out all by yourselves. –  Victor Protsak Jul 2 '10 at 4:41
add comment

1 Answer 1

up vote 3 down vote accepted

As Victor explained consider the functions $X^m$ where $X^m(\alpha)=\alpha^m$. As $m$ runs between $0$ and $p^k-1$, these functions form a basis of your space of functions. This is a nice wavy basis, i.e., its elements span one-dimensional subrepresentations under the multiplicative group.

Now you have to take the additive group into account. All you need to do is to use binomial formula on $(X+\alpha)^m$ and observe which non-zero $X^t$-s, you can get out. This depends on the $p$-th power in $m$.

In particular, as Victor pointed out, polynomials of degree less than $m$ will span a submodule. But there are more, for instance, polynomials of degree $p$ and zero. In general, you will be getting spans of $X^t$ with $t\leq m$ and $t$ is divisible by the $p$-th power present in $m$ as well as the sums of these gadgets.

Hint: $(X+\alpha)^{p^sn}=(X^{p^s}+\alpha^{p^s})^n$

share|improve this answer
    
Does it characterize all sub-representations? Let $c_1, \ldots c_k$ be integer numbers. Consider the set $S=\{t=a_0+a_1p+a_2p^2 \ldots a_k p^k | a_i<c_i\}$. Then span of $X^t$ for $t\in S$ will be sub-representation. Does it all sub-representations? If yes, how can you prove it? –  Klim Efremenko Jun 30 '10 at 13:33
    
Yes, all sub-representations looks like this. Proof: Let $a=a_0+a_1p+a_2p^2+a_k p^k$ then ${a \choose b}$ non zero mod p only if $b_i< a_i$. –  Klim Efremenko Jun 30 '10 at 14:13
    
I think these are all subrepresentations. To prove this, use complete reducibility as a representation of the multiplicative group. This will tell you that any subrepresentation (of affine group) is spanned by some of $X^t$ and all it remains is to invert some funny determinant, which proves that the span of $(X+\alpha)^m$ is what I said it is. Judging by you comment, you have done it already. –  Bugs Bunny Jun 30 '10 at 16:00
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.