Added last basis element plus action
Added lemma re action of sigma* on H_0 basis
Finished draft of proof of non-splitting
minor changes since last commit - end of day