Група Баумслага Солітера група з двома твірними a displaystyle a і b displaystyle b і одним співвідношеннямГраф Келі гру

Група Баумслага — Солітера — група з двома твірними $a$ і $b$ і одним співвідношенням

ab^{m}a^{-1}=b^{n}.

Зазвичай, цю групу позначають $BS(m,n)$ .

Приклади і властивості

$BS(1,1)$ це вільна абелева група з двома твірними.
$BS(1,-1)$ фундаментальна група пляшки Кляйна.
$BS(1,n)$ при $n>1$ ізоморфна підгрупі групи афінних перетворень дійсної прямої, породжена відображеннями $a:x\to nx$ і $b:x\to x+1$ .
Група $BS(2,3)$ (поряд з іншими групами $BS(m,n)$ , для яких множини простих дільників чисел m і n не збігаються) є найвідомішим прикладом негопфової групи. А саме, епіморфізм $\varphi :a\mapsto a,\,\varphi :b\mapsto b^{2}$ не є автоморфізмом $BS(2,3)$ .
Група $BS(n,m)$ допускає лінійне подання $a\mapsto {\big (}{\begin{smallmatrix}1&1\\0&1\end{smallmatrix}}{\big )}$ і $b\mapsto {\big (}{\begin{smallmatrix}{\frac {n}{m}}&0\\0&1\end{smallmatrix}}{\big )}$ .
- Це подання не є ефективним, тобто різні елементи групи можуть відповідати одному лінійному оператору.
Група $BS(m,n)$ залишково скінченна тоді й лише тоді, коли $|m|=1$ , $|n|=1$ , або $|m|=|n|$ .

D.J. Collins (2001), «Baumslag-Solitar group [ 26 червня 2010 у Wayback Machine.]», in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, .
Stephen Meskin, Nonresidually Finite One-Relator Groups

DJ Collins (2001), "Baumslag-Solitar group [ 26 червня 2010 у Wayback Machine.] ", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, .
^[en] and Donald Solitar, Some two-generator one-relator non-Hopfian groups [ 29 листопада 2015 у Wayback Machine.], Bulletin of the American Mathematical Society 68 (1962), 199—201. MR0142635

Це незавершена стаття з алгебри.
Ви можете проєкту, виправивши або дописавши її.