A Smith-Toda complex
at a prime
is a finite
-local spectrum whose
Brown-Peterson homology is
as a graded -comodule
with the canonical quotient coaction and generator in degree zero. This is a realization
condition on a finite spectrum,
not merely a formal quotient of a polynomial ring.