Множество направленных отрезков произвольной прямой, произвольной плоскости или пространства относительно операции сложения образуют абелеву группу.
- Алгебраичность следует из определения операции сложения векторов.
-
Ассоциативность
-
Коммутативность
- Нейтральный элемент =0, ¯AB+¯BB=¯AB.
- Существование противоположного элемента:
¯AB+¯AB′=¯AA
¯AB′=¯BAПротивоположный элемент