Un approccio teorico ai software geometrici: gruppi di trasformazioni e operazioni geometriche elementari