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

Recently, reading the book 'Skew Linear Groups' by M. Shirvani and B. A. F. Wehrfritz, I've encountered the following:

Let D be a division ring which is locally finite-dimensional over 
its centre but not finite dimensional over its centre.

Searching the web, I could not find the definition of being locally finite-dimensional.
The 'usual candidates' for a local property in rings are things to do with ideals, but as there are no non-trivial ideals in a division ring, the only thing that sounds remotely close is looking at finitely generated sub-algebras (when looking at $D$ as an algebra over it's centre) - is that correct? Can anyone point me to the definition of this?
Thanks in advance.

share|cite|improve this question
Perhaps related to local subrings of $D$.. – Berci Feb 8 '13 at 20:59
up vote 1 down vote accepted

An algebra of any kind (Lie, associative, etc.) is locally finite-dimensional (also called locally finite) if every finitely generated subalgebra is finite dimensional over the ground field. See this.

share|cite|improve this answer
Thanks, that's exactly what I was looking for! – Dennis Gulko Mar 4 '13 at 9:12

From what I've seen, a ``locally finite dimensional" representation $V$ of a Lie algebra $\mathfrak{g}$ is one for which $U(\mathfrak{g}) v$ is finite dimensional for every $v \in V$. Thus, perhaps in your case you should require $Z d$ to be finite-dimensional for every $d \in D$ where $Z$ is the center.

share|cite|improve this answer

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.