Forcing algebra/Primary ideal/Induced torsor/Fact