2 Matching Annotations
  1. Dec 2024
    1. .Ii + Ij = R

      In term of congruence, it means \(I_i \vee I_j = R\), which make decomposition map for algebra with permutable congruence surjective

    Tags

    Annotators