賴德邁斯特一施賴埃爾算法

賴德邁斯特一施賴埃爾算法(the Reidemeister-Schreier algorithm)一種群論算法.求群G中某個有限指數子群H的表現的算法.當已知G的生成元g;gz}...,g..在H的全體陪集上的作用時,算法求出H的一個表現,其中包含((r-1) }G : H } +1個H的施賴埃爾生成元,並利用賴德邁斯特重寫過程將原來用g.} }},z}...,}二的字表示的H的定義關係改寫成施賴埃爾生成元的字.

相關詞條

熱門詞條

聯絡我們