group international easy maps individual free safety simple map left coset nondegenerate matrices fast mapping protection gis security fire support lagrange's theorem