1
$\begingroup$

Let ${\cal P}(\mathbb{F}_q^n)$ be the set of all subspaces of the vector space $\mathbb{F}_q^n$ (where $q$ is a prime power).

Fix a $Z \in {\cal P}(\mathbb{F}_q^n)$. Define a relation ~ on ${\cal P}(\mathbb{F}_q^n)$ as follows:

$A$ ~ $B$ iff $A+Z = B+Z$

It is easy to show that this is an equivalence relation. This means ${\cal P}(\mathbb{F}_q^n)$ is partitioned into equivalence classes.

My questions are:

1) What is the number of equivalence classes? If not an exact value, do we have a decent bound?

2) What can one say about the cardinality of an equivalence class? (Personally, I feel this question is hopeless!)

Thank you

$\endgroup$

1 Answer 1

2
$\begingroup$

1) It equals the number of subspaces of $\mathbb F_q^n/Z$.

2) Fix a subspace $A$, denote its equivalence class by $[A]$. Consider the map $[A]\to\mathcal P(Z)$, $B\mapsto B\cap Z$. Its fiber over some $U\subseteq Z$ consists of all $B$ satisfying $B\cap Z=U$ and $B+Z=A+Z$. This set may be identified via $B\mapsto B/U$ with the set of all complements of $Z/U$ in $(A+Z)/U$. Summing over all possible $U$ gives the size of $[A]$.

$\endgroup$
3
  • $\begingroup$ 1)I proved this part by defining a bijection from Fnq/Z to the set of all equivalence classes. Do you have smarter(faster) way of seeing it? 2)I understand the first three sentences. But what does "This set may be identified via B↦B/U with the set of all complements of Z/U in (A+Z)/U" mean? It is not very clear to me. Thank you $\endgroup$
    – Spai
    Sep 28, 2011 at 15:48
  • $\begingroup$ 1) Usually, giving a bijection is by far the smartest and fastest way. 2) The description in the third sentence contained a mistake, I hope it is clear now. $\endgroup$
    – user2035
    Sep 28, 2011 at 17:33
  • $\begingroup$ Thank you for generous help. I have computed it. This is the first time I have used the second Isomorphism theorem and third Isomorphism theorem in an actual problem :) $\endgroup$
    – Spai
    Sep 29, 2011 at 14:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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