Об одном следствии теоремы Крона–Роудза

Теорема Крона–Роудза о каскадных соединениях автоматов была доказана в предположении, что базис содержит специальные групповые автоматы. В настоящей статье показывается, что при наличии в базисе константных автоматов это ограничение может быть снято и для любой простой группы $G$ достаточно взять любой групповой автомат, группа которого имеет $G$ в качестве делителя.