“…In Section 2, we prove that the algebra generated by the set {λ a 1 + λ a 2 , λ a 3 + λ a 4 } and the commutant R(F ∞ ) of L(F ∞ ) is strong-operator dense in B(H) where a 1 , a 2 , a 3 and a 4 are four of generators of F ∞ . In the third section, we explicitly construct the invariant subspace of some operator using a similar model as upper triangular matrix models for circular free Poisson operators [3]. Furthermore, the relation between the transitive algebra question and the invariant subspace problem relative to finite von Neumann algebras is discussed with some remarks and examples.…”