Fuzzy implications are one of the most important fuzzy logic connectives. In this work, we conduct a systematic algebraic study on the set I of all fuzzy implications. To this end, we propose a binary operation, denoted by ~, which makes (I,~) a non-idempotent monoid. While this operation does not give a group structure, we determine the largest subgroup S of this monoid and using their represe...