Double Satake diagrams and canonical forms in compact symmetric triads

In this paper, we first introduce the notion of double Satake diagrams for compact symmetric triads. In terms of this notion, we give an alternative proof for the classification theorem for compact symmetric triads, which was originally given by Toshihiko Matsuki. Secondly, we introduce the notion of canonical forms for compact symmetric triads, and prove the existence of canonical forms for compact simple symmetric triads. We also give some properties for canonical forms.