Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I was looking at the proof for Wedderburn's Little Theorem that skew fields are fields in the finite case. The proof involves viewing a ring $R$ as a vector space over its center $Z(R)$, and it claims rather nonchalantly that if the order of $Z(R)=q$ and the vector space $(R,Z(R))$ has dimension n, then the order of $R$ is $q^n$.

I've tried again and again to count them, I've asked my boss if he could count them, but could anyone explain why this is so? It seems like this shouldn't be a very deep claim at all, but I just can't seem to find them, because when I try I think that if $(R,Z(R))$ has dimension n and $Z(R)$ has order q, then we can write out every element in the space as $$(a_{k_1})(b_1) + (a_{k_2})(b_2)+ \ldots + (a_{k_n})(b_n)$$

Where each $a_{k_i}$ is in $Z(R)$ and the $b_i$ are in the basis. So then I say that the number of things in the space should be the number of unique ways to choose n elements out of q, or q elements out of n if the former is larger than the latter, but neither of those are the answer $q^n$.

I feel kind of silly not getting something this obvious but well my algebra course never covered field theory and linear algebra never covered finite vector spaces, so I guess it's not surprising really.

share|cite|improve this question
You're not counting correctly. Try the case $Z(R) = \mathbb{F}_2$ and small $n$ and explicitly write down all of the vectors. – Qiaochu Yuan Sep 20 '11 at 22:29

Every finite-dimensional vector space $V$ of dimension $n$ over a field $F$ is isomorphic to $F^n$ by choosing a basis. If $F$ has $q$ elements, then $V$ has $q^n$ elements.

share|cite|improve this answer
Thanks, this is why. I kept thinking as a group under addition it should just be n copies of the center but I couldn't think of why. I think I'll still try counting them anyways for smaller numbers and seeing how they cancel and stuff. – tyler reed Sep 21 '11 at 1:40
@Pete, now that I've deleted that part perhaps we should delete these comments as well... Or you might want to add a new comment on how this formula changes when things are infinite... – lhf Sep 21 '11 at 10:42

Your Answer


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.