added k-scheme theory about closed immersions, added a small section about sheaf of ideals