  We construct a Taylor-Wiles system using a family of $p$-adically completed
modular Jacobians over suitable Hecke algebras and prove that certain
$p$-adically completed Mordell-Weil groups of these Jacobians is free of finite
rank over a Hecke algebra.
