Gruppteori: etta som beteckning på identiteten

Hej, kan någon bekräfta att alla ettor i denna bild betyder identiteten i gruppen?

Edit: alla utom där det står $ar+bn=1$