I'm studying a block cipher based on ARX(Addition, Rotation, XOR).
In a block cipher, nonlinearity comes from S-box or modular addition($Z=X\boxplus Y$ mod $2^n$).
As far as I know, in the case of S-Box, its security can be explained in the algebraic aspect.
How to explain the modular addition($\boxplus$ mod $2^n$) in the algebraic aspect?