The notion of a subtractive basis for a Zariski Space is defined and examined. Such bases provide a means of generating Zariski Spaces, which exploits both the algebraic and topological-type properties of these spaces. In particular, it is shown that for every finitely-generated module M over a commutative ring with identity, then the Zariski Space of M has a (finite) subtractive basis. Moreover, it is shown that, provided M has the additional property of being a radical module (i.e., rad 0 = 0), then every subtractive basis of the Zariski Space of M corresponds to a direct sum decomposition of M. For such a module M, it then follows that every direct summand A of M must have the following property: if B is a submodule of M and rad B = A, then B = A.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados