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
    Commented 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
    Commented 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
    Commented Sep 29, 2011 at 14:05

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .