Я говорю о том, что в аксиоме №6 необходимо показать существование такого числа, условно обозначенного как 1, что, при его умножении на любой элемент из Вашего линейного пространства этот элемент не меняется.
Другими словами, обычная единица вполне подойдёт