MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

A tower of algebras is a sequence of algebras $$A_0 \hookrightarrow A_1 \hookrightarrow \cdots \hookrightarrow A_n \hookrightarrow \cdots$$ with embeddings $A_n \otimes A_m \hookrightarrow A_{n+m}$ satisfying an associativity condition.

I found this definition recently in papers in representation theory such as:

"Algebraic structures on Grothendieck groups of a tower of algebras" by Huilan Li and Nantel Bergeron

"Combinatorial Hopf algebras and Towers of Algebras - Dimension, Quantization, and Functoriality" by Nantel Bergeron, Thomas Lam and Huilan Li

"Representation theories of some towers of algebras related to the symmetric groups and their Hecke algebras" by F. Hivert and N. Thiéry

Also, I found this definition in a homotopy theoretic (and operadic) paper: "On Quillen homology and a homotopy completion tower for algebras over operads" by J. Harper and K. Hess.

My question is: where does the definition of tower of algebras come from and what was the original motivation to introduce this object?

share|cite|improve this question
up vote 1 down vote accepted

I'm a bit out of my comfort zone with this, but Goodman, de la Harpe and Jones "Coxeter graphs and towers of algebras" might be a place to start. The work here was motivated by questions about von Neumann algebras.

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.