Terms of use:

Abstract. Quantales can be viewed as a framework for a non—commutative topology. Basic properties of quantales are given. There are considered regular and normal quantales. The main, result asserts that regular quantales are frames. Key words. Residuated lattice, multiplicative lattice, quantale, regular quantale, normal quantale, Gelfand ring. The idea of considering complete lattices equipped with an additional binary operation. goes back to Ward and Dilworth [10]. Their motivating examples were lattices of ring ideals. In 1983, C. J. Mulvey suggested to consider multi plicative lattices as a framework for a non-commutative topology and proposed to call them quantales. His approach was followed by Borceux [3], [4] who found some basic topological properties of quantales. The present paper contributes to this direction. The main result is that regular quantales are frames (i.e. the multipli cation. coincides with the meet A; concerning frames see Johnstone [5]). The consequence is that cogroups in the category of idempotent quantales are localic, i.e. they are frames. Further results generalize some topological properties o