first commit
Merge https://github.com/NikitaYakuntsev/algebra
added properties