The main purpose of this work is to introduce the first notions of non
commutative algebraic geometry - the spectrum of an abelian category,
localizations at points of the spectrum, canonical topologies, support
s, associated points etc. - and to study their basic properties.