An extention of Nomizu’s Theorem –A user’s guide–
For a simply connected solvable Lie group G with a lattice Γ, the author constructed an explicit finite-dimensional differential graded algebra A*Γ which computes the complex valued de Rham cohomology H*(Γ, C) of the solvmanifold Γ. In this note, we give a quick introduction to the construction of such A*Γ including a simple proof of H*(A*Γ) ≅ H*(Γ, C).