加载中…
The -group generation algorithm from computational group theory is used to obtain information about large quotients of the pro-2 group $G = (k^{nr,2}/k)k = (\sqrt{d})d = -445, -1015, -1595, -2379G$ down to one of a finite number of explicitly given finite groups. From this follow several results regarding the corresponding 2-class tower. This is a revised version of ANT-0302.

生成讲解博客的中文版本

生成AI智能校验的中文版本