1. Класс Μ_n=SP(Ο(M_n ) ) является конечно базируемым многообразием. 2. Имеют место равенства
Q(⋃_(n≥1)▒Μ_n )=SP(Ο(M_n )|n≥1)
Q(Μ_ω )=Q(Ο(M_ω ) )
Q(Μ_ω )=Q(⋃_(n≥1)▒Μ_n )=〖SO〗_2
3. Найден конкретный базиса (квази)тождеств для Q(Ο(M_ω ) ) и Q(Ο(M_n )|n≥1).
