符号論における代数的構造