Group),總部設於法蘭克福。2014年,其企業總部遷往發源地萊比錫。 註腳 相關的工作仰賴卡尔·车尔尼、齊格弗里德·德恩(德语:Siegfried Wilhelm Dehn)、弗里德里希·格里本科爾(德语:Friedrich Konrad Griepenkerl)、莫里茨·霍普特曼(德语:Moritz Hauptmann)等人的貢獻。
{\mathcal {R}}\rangle } ,字問題是一個算法問題,給定 S 中的兩個字作為輸入,確定它們是否表示 G 的相同元素。字問題是 Max Dehn 在 1911 年提出的三個算法問題之一。Pyotr Sergeyevich Novikov 在 1955 年證明了存在有限展現的群 G 使得 G