2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/119329Let M be a tracial von Neumann algebra and A be a weakly dense unital C*-subalgebra of M. We say that a set X is a W*-generating set for M if the von Neumann algebra generated by X is M and that X is a C*-generating set for A if the unital C*-algebra generated by X is A. For any finite W*-generating set X for M we show that $δ_0(X) \leq sup {δ_0(Y): Y is a finite C*-generating set for A}$ where $δ_0$ denotes the microstates free entropy dimension. It follows that if $sup {δ_0(Y): Y is a finite C*-generating set for C*_{red}(\mathbb F_2)} < \infty$, then the free group factors are all nonisomorphic.4 pages, minor correctionsOperator Algebras46L54; 52C17A propagation property of free entropy dimensiontext