关于具有多项式约束的I-环

一、引言设R是一个l-环(Lattice—ordered ring),F是一个可换的有单位元的全序整环.R称为F上的l-代数,如果R是F上的无扭代数和F上的f-模.F上的l-代数R称为F上的f-代数,若R是一个f-环。令T={r∈R:u∧v=0(?)|r|u∧v=u|r|∧v=0,(?)u,v∈R},T中的正元素称为R的f-元.