This talk is an introduction into the cohomology of arithmetic groups, in particular into some technics of constructing of, so called, (special) cycles in a compact locally symmetric space. Such cycles represents (sometimes) non-trivial (co)homology classes. To prove the non-triviality one could study there intersection numbers. If time is left, I will explain some results in the case G₂.