Basic Noncommutative Algebraic Geometry