Elements of non-commutative algebraic geometry