A note on reflected Dirichlet forms

In this paper we give an algebraic construction of the (active) reflected Dirich- let form. We prove that it is the maximal Silverstein extension whenever the given form does not possess a killing part and we prove that Dirichlet forms need not have a maximal Silverstein extension if a killing is present. For regular Dirichlet forms we provide an alternative construction of the reflected process on a compactification (minus one point) of the underlying space.