The growth of Temperley-Lieb type algebras
Extracted source text · arXiv 1510.00874
\documentclass[12pt,russian,a4paper]{article}
\usepackage{amsmath,amssymb,amsthm,xspace,amscd}
\usepackage{amsfonts,amsxtra,latexsym}
\usepackage[cp1251]{inputenc}
\usepackage[russian]{babel}
\usepackage{geometry}
%\usepackage{doublespace}
%\usepackage{version}
\usepackage{comment}
\usepackage{geometry}
\geometry{a4paper,top=20mm,left=20mm,right=20mm,bottom=20mm}
%\renewcommand{\baselinestretch}{1.2}
\setcounter{secnumdepth}{3} \setcounter{tocdepth}{2}
%\theoremstyle{plain}
\newtheorem{lemma}{Ëåììà}[section]
\newtheorem{theorem}{Òåîðåìà}[section]
\newtheorem{proposition}{Óòâåðæäåíèå}[section]
\newtheorem{corollary}{Ñëåäñòâèå}[section]
%\theoremstyle{definition}
\newtheorem{definition}{Îïðåäåëåíèå}[section]
\newtheorem{example}{Ïðèìåð}[section]
%\theoremstyle{remark}
\newtheorem{remark}{Çàìå÷àíèå}[section]
\topmargin -0.7cm \textwidth 15.5cm \textheight 24cm \oddsidemargin 0cm \evensidemargin 0cm \marginparwidth 0cm
\marginparsep 0cm \pagestyle{plain}
\begin{document}
%\small
\begin{center}
{\Large \bf Ðîñò îáîáùåííûõ àëãåáð Òåìïåðëè-Ëèáà} \\
13.11.2008
\end{center}
\section*{Ââåäåíèå}
$\;$
Àëãåáðû Òåìïåðëè-Ëèáà è èõ $*\text{-}$ïðåäñòàâëåíèÿ èçó÷àëèñü â ðÿäå ðàáîò (\cite{tl}, \cite{jones} è äð.) â ñâÿçè
ñ ìîäåëÿìè ñòàòèñòè÷åñêîé ôèçèêè.  \cite{graham} áûëè ââåäåíû îáîáùåííûå àëãåáðû Òåìïåðëè-Ëèáà è ñðåäè íèõ âûäåëåíû êîíå÷íîìåðíûå àëãåáðû, ñâÿçàííûå ñ ãðàôàìè $A_n,$ $D_n,$ $E_n$ è äð.
 ñòàòüå èçó÷àåòñÿ ðîñò îáîáùåííûõ àëãåáð òèïà Òåìïåðëè-Ëèáà $TL_{\Gamma,\tau}.$ Èçó÷àþòñÿ èõ
ðàçìåðíîñòè èëè, åñëè àëãåáðà áåñêîíå÷íîìåðíàÿ, ðîñò.
\section{Êëàññ àëãåáð $TL_\Gamma$}
\begin{definition}
Ïóñòü $(W,S)$ ÿâëÿåòñÿ ñèñòåìîé Êîêñòåðà ñ ìàòðèöåé Êîêñòåðà $M=(m_{ij})_{i,j}$ è $q\in\mathbb C.$ Òîãäà àëãåáðîé
Ãåêêå $H_{W,S}$ áóäåì íàçûâàåòñÿ óíèòàëüíàÿ àññîöèàòèâíàÿ àëãåáðà íàä $\mathbb C$ ïîðîæäåííàÿ îáðàçóþùèìè $t_s,$
$s\in S$ è ñîîòíîøåíèÿìè: $t_s^2=(q-1)t_s+q$ ãäå $s\in S,$ $q\in\mathbb C$ è $t_rt_st_r\dots=t_st_rt_s\dots$ ãäå â
êàæäîé ÷àñòè ðàâåíñòâà ñîäåðæèòñÿ $m_{ij}$ ìíîæèòåëåé, $r,s\in S,$ $r\neq s.$
\end{definition}
$H_{W,S}=\mathbb C\Bigl\langle t_1,\dots,t_n\mid t_k^2=(q-1)t_k+q,\;
(t_it_j)^{[\frac{m_{ij}}{2}]}t_i^{\sigma_{m_{ij}}}=(t_jt_i)^{[\frac{m_{ij}}{2}]}t_j^{\sigma_{m_{ij}}}\Bigr\rangle$
\begin{definition}
Îáîáùåííîé àëãåáðîé Òåìïåðëè-Ëèáà $TL_{W,S},$ àññîöèèðîâàííîé ñ ñèñòåìîé Êîêñòåðà $(W,S)$ ñ ãðàôîì $\Gamma$ áóäåì
íàçûâàòü ôàêòîð-àëãåáðó àëãåáðû Ãåêêå $H_{W,S},$ êîòîðàÿ ïðîôàêòîðèçîâàíà ïî èäåàëó $I(\Gamma)$ ïîðîæäåííîìó
ýëåìåíòàìè $(t_it_j)^{[\frac{m_{ij}}{2}]}t_i^{\sigma_{m_{ij}}},$ ãäå $(i,j)$ ðåáðî â $\Gamma.$
\end{definition}
 äàëüíåéøåì îáîáùåííóþ àëãåáðó Òåìïåðëè-Ëèáà $TL_{W,S},$ àññîöèèðîâàííóþ ñ ñèñòåìîé Êîêñòåðà $(W,S)$ ñ ãðàôîì
$\Gamma$ áóäåì îáîçíà÷àòü ÷åðåç $TL_{\Gamma,\tau},$ ãäå $\tau\in\mathbb C$ ñîîòâåòñòâóþùèé ïàðàìåòð èëè
$TL_\Gamma$ è ãîâîðèòü, ÷òî îíà èìååò òèï $\Gamma.$ Òàêæå âñþäó íèæå áóäåì ñ÷èòàòü, ÷òî $\Gamma$ --- ñâÿçíûé
íåîðèåíòèðîâàííûé ãðàô.
\begin{proposition}
Ðàçìåðíîñòü è ðîñò àëãåáðû $TL_{\Gamma,\tau}$ íå çàâèñÿò îò $\tau.$
\end{proposition}
\begin{proof}
Ïóñòü $\Gamma_n$ --- ñâÿçíûé íåîðèåíòèðîâàííûé ãðàô, $V\Gamma_n=n$. Äîñòàòî÷íî ïîêàçàòü, ÷òî ñòàðøèå ñëîâà áàçèñà
Ãðåáíåðà àëãåáðû $TL_{\Gamma_n}$ íå çàâèñÿò îò $\tau.$ Äîêàçàòåëüñòâî ïðîâåäåì ïî èíäóêöèè.
Íàïîìíèì, ÷òî áàçèñîì Ãðåáíåðà èäåàëà $I$ íàçûâàåòñÿ ìíîæåñòâî ýëåìåíòîâ ýòîãî èäåàëà $G\subset I$ òàêîå, ÷òî äëÿ
âñÿêîãî $g\in I$ ñòàðøåå ñëîâî $g$ ñîäåðæèò â êà÷åñòâå ïîäñëîâà îäíî èç ñòàðøèõ ñëîâ ýëåìåíòîâ ìíîæåñòâà $G.$
Áàçèñ Ãðåáíåðà $G$ íàçûâàåòñÿ ìèíèìàëüíûì, åñëè íèêàêîå åãî ñîáñòâåííîå ïîäìíîæåñòâî íå ÿâëÿåòñÿ áàçèñîì Ãðåáíåðà.
Àëãîðèòì ïîñòðîåíèÿ ìèíèìàëüíîãî áàçèñà Ãðåáíåðà â èäåàëå, ïîðîæäåííîì êîíå÷íûì ìíîæåñòâîì ýëåìåíòîâ ñâîáîäíîé
àëãåáðû, ñîñòîèò èç òðåõ øàãîâ: íîðìèðîâêà, ðåäóêöèÿ è êîìïîçèöèÿ.
Ïðåäïîëîæèì, ÷òî äëÿ àëãåáðû $TL_{\Gamma_n}$ óòâåðæäåíèå âåðíî (îñíîâàíèå èíäóêöèè ïðèâåäåíî íèæå â ïðèìåðàõ).
Ñîåäèíèì ðåáðîì ãðàô $\Gamma_n$ ñ íîâîé $n+1\text{-}$é âåðøèíîé (áóäåì ñ÷èòàòü, ÷òî $(n,n+1)\in E\Gamma_n$).
Ïîëîæèì $\Gamma_{n+1}=\Gamma_n\cup\{n+1\}.$ Òîãäà àëãåáðà $TL_{\Gamma_{n+1}}$ áóäåò îòëè÷àòüñÿ îò $TL_{\Gamma_n}$
ñîîòíîøåíèÿìè $(t_nt_{n+1})^{[\frac{m_{ij}}{2}]}t_n^{\sigma_{m_{ij}}}=0,$
$(t_{n+1}t_n)^{[\frac{m_{ij}}{2}]}t_{n+1}^{\sigma_{m_{ij}}}=0$ è $t_it_{n+1}=t_{n+1}t_i$ äëÿ âñåõ $i=1,\dots,n-1.$
Ñëåäîâàòåëüíî, $(t_nt_{n+1})^{[\frac{m_{ij}}{2}]}t_n^{\sigma_{m_{ij}}},$
$(t_{n+1}t_n)^{[\frac{m_{ij}}{2}]}t_{n+1}^{\sigma_{m_{ij}}}$ è $t_it_{n+1}-t_{n+1}t_i$ ($i=1,\dots,n-1$)
ñîäåðæàòñÿ â áàçèñå Ãðåáíåðà àëãåáðû $TL_{\Gamma_{n+1}},$ ò.å ñòàðøèå ñëîâà â ýòèõ áàçèñíûõ ýëåìåíòàõ íå çàâèñÿò
îò $\tau.$ Íî òîãäà ïî èíäóêòèâíîìó ïðåäïîëîæåíèþ ñòàðøèå ñëîâà íîâûõ ýëåìåíòîâ áàçèñà Ãðåáíåðà àëãåáðû
$TL_{\Gamma_{n+1}}$ íå áóäóò çàâèñåòü îò $\tau.$
\end{proof}
%\begin{lemma}
%óâåëè÷åíèå öèôðû óâåëè÷èâàåò ðàçìåðíîñòü
%\end{lemma}
\section{Êîíå÷íîìåðíûå àëãåáðû $TL_{\Gamma}$} \label{dim<inf}
$\;$
\subsection{$TL_{A_n,\tau}$ ($n\geq 2$)}
Ðàññìîòðèì àëãåáðó $TL_{A_n},$ àññîöèèðîâàííóþ ñ ãðàôîì Äûíêèíà $A_n$ ($n\geq 2$)
% A
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){30}} \put(65,30){\line(1,0){15}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(13,30){\makebox(0,0)[a]{$A_n$}} \put(57.5,30){\makebox(0,0)[a]{$\dots$}} \put(20,27){\makebox(0,0)[a]{$_1$}}
\put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_{n-1}$}}
\put(80,27){\makebox(0,0)[a]{$_n$}}
\end{picture}
Àëãåáðû $TL_{A_n,\tau}$ êîíå÷íîìåðíûå êàê ôàêòîð-àëãåáðû êîíå÷íîìåðíûõ àëãåáð Ãåêêå, $\dim TL_{A_n}=\cfrac{1}{n+2}\begin{pmatrix}
2n+2 \\
n+1
\end{pmatrix}$ (ñì., íàïðèìåð, \cite{jones}).
\subsection{$TL_{D_n}$ ($n\geq 4$)}
Ðàññìîòðèì ãðàô Äûíêèíà $D_n$ ($n\geq 4$)
%D
\vspace{0.5cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){15}} \put(65,30){\line(1,0){15}}
\put(35,30){\line(-1,1){10}} \put(35,30){\line(-1,-1){10}} \put(25,20){\circle*{1}} \put(25,40){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(18,30){\makebox(0,0)[a]{$D_n$}} \put(57.5,30){\makebox(0,0)[a]{$\dots$}} \put(22,20){\makebox(0,0)[a]{$_1$}}
\put(22,40){\makebox(0,0)[a]{$_2$}} \put(35,27){\makebox(0,0)[a]{$_3$}} \put(50,27){\makebox(0,0)[a]{$_4$}}
\put(65,27){\makebox(0,0)[a]{$_n$}} \put(80,27){\makebox(0,0)[a]{$_{n+1}$}}
\end{picture}
Àëãåáðà $TL_{D_n,\tau}$ êîíå÷íîìåðíàÿ, òàê êàê ïðè $\tau=\frac 14$ ÿâëÿåòñÿ ôàêòîð-àëãåáðîé êîíå÷íîìåðíîé àëãåáðû Ãåêêå, àññîöèèðîâàííîé ñ ãðàôîì $D_n$ (ñì. íàïðèìåð, \cite{burbaki}). Òàê $\dim TL_{D_4}=48,$ $\dim
TL_{D_5}=167,$ $\dim TL_{D_6}=593,$ $\dim TL_{D_7}=2144.$
\subsection{$TL_{E_n}$ ($n\geq 6)$}
Ðàññìîòðèì ãðàô $E_n$ ($n\geq 6$)
% E
\vspace{0.7cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){45}} \put(80,30){\line(1,0){15}} \put(50,30){\line(0,1){15}}
\put(20,30){\circle*{1}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}}
\put(80,30){\circle*{1}} \put(95,30){\circle*{1}} \put(50,45){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$E_n$}}
\put(72.5,30){\makebox(0,0)[a]{$\dots$}} \put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}}
\put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_4$}} \put(80,27){\makebox(0,0)[a]{$_{n-2}$}}
\put(95,27){\makebox(0,0)[a]{$_{n-1}$}} \put(53,45){\makebox(0,0)[a]{$_n$}}
\end{picture}
Àëãåáðû $TL_{E_n,\tau}$ ïðè $n=6,7,8$ êîíå÷íîìåðíûå, òàê êàê ïðè $\tau=\frac 14$ ÿâëÿþòñÿ ôàêòîð-àëãåáðàìè ñîîòâåòñòâóþùèõ êîíå÷íîìåðíûõ àëãåáð Ãåêêå (ñì. íàïðèìåð, \cite{burbaki}). Òàê $\dim TL_{E_6}=662,$ $\dim
TL_{E_7}=2670$ è $\dim TL_{E_8}=10846.$ Ãðàô $E_9$ ñîâïàäàåò ñ ðàñøèðåííûì ãðàôîì Äûíêèíà $\widetilde E_8.$ Àëãåáðû $TL_{E_n,\tau}$ ïðè $n\geq 9$ òàêæå êîíå÷íîìåðíûå (ñì. \cite{graham}). Òàê $\dim TL_{E_9,\tau}=43409.$
Ïîëîæèì $m_{ij}=4$ è $\sigma_{m_{ij}}=0$ ïðè $(i,j)\in E\Gamma.$ Òàêèì îáðàçîì, ìû áóäåì ðàññìàòðèâàòü îáîáùåííûå
àëãåáðû Òåìïåðëè-Ëèáà ñ ñîîòíîøåíèÿìè
$$\begin{cases}
p_ip_jp_ip_j=\tau p_ip_j, &\text{åñëè}\; (i,j)_4\in E\Gamma;\\
p_jp_ip_jp_i=\tau p_jp_i, &\text{åñëè}\; (i,j)_4\in E\Gamma;\\
p_ip_jp_i=\tau_i p_i, &\text{åñëè}\; (i,j)\in E\Gamma;\\
p_jp_ip_j=\tau_i p_j, &\text{åñëè}\; (i,j)\in E\Gamma;\\
p_ip_j=p_jp_i, &\text{åñëè}\; (i,j)\not\in E\Gamma.
\end{cases}
$$
\subsection{$TL_{B_n}$ ($n\geq 2$)}
Ðàññìîòðèì àëãåáðó $TL_{B_n},$ àññîöèèðîâàííóþ ñ ãðàôîì $B_n$
%B
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){30}} \put(65,30){\line(1,0){15}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(13,30){\makebox(0,0)[a]{$B_n$}} \put(57.5,30){\makebox(0,0)[a]{$\dots$}} \put(27.5,33){\makebox(0,0)[a]{$4$}}
\put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}}
\put(65,27){\makebox(0,0)[a]{$_{n-1}$}} \put(80,27){\makebox(0,0)[a]{$_n$}}
\end{picture}
Èçâåñòíî, ÷òî àëãåáðû òèïà $B$ êîíå÷íîìåðíûå (\cite{burbaki}, \cite{graham}). Íàïðèìåð, $\dim TL_{B_2}=7,$ $\dim
TL_{B_3}=24,$ $\dim TL_{B_4}=83,$ $\dim TL_{B_5}=293.$
\subsection{$TL_{F_n}$ ($n\geq 4$)}
Ðàññìîòðèì àëãåáðó $TL_{F_n},$ àññîöèèðîâàííóþ ñ ãðàôîì $F_n$
% F
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){45}} \put(80,30){\line(1,0){15}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(95,30){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$F_n$}} \put(72.5,30){\makebox(0,0)[a]{$\dots$}}
\put(42.5,33){\makebox(0,0)[a]{$4$}} \put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}}
\put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_4$}} \put(80,27){\makebox(0,0)[a]{$_{n-1}$}}
\put(95,27){\makebox(0,0)[a]{$_n$}}
\end{picture}
Èçâåñòíî, ÷òî àëãåáðû òèïà $F$ êîíå÷íîìåðíûå (\cite{burbaki}, \cite{graham}). Íàïðèìåð, $\dim TL_{F_4}=106,$ $\dim
TL_{F_5}=464,$ $\dim TL_{F_6}=2003.$
\subsection{$TL_{H_n}$ ($n\geq 2$)}
Ïóñòü òåïåðü $0\leq\tau_1,\tau_2\leq 1,$ $m_{ij}=4$ è $\sigma_{m_{ij}}=1$
ïðè $(i,j)\in E\Gamma.$ Òàêèì îáðàçîì, ìû áóäåì ðàññìàòðèâàòü îáîáùåííûå àëãåáðû Òåìïåðëè-Ëèáà ñ ñîîòíîøåíèÿìè
$$\begin{cases}
p_ip_jp_ip_jp_i=\tau_1p_ip_jp_i-\tau_2p_i, &\text{åñëè}\; (i,j)_5\in E\Gamma;\\
p_jp_ip_jp_ip_j=\tau_1p_jp_ip_j-\tau_2p_j, &\text{åñëè}\; (i,j)_5\in E\Gamma;\\
p_ip_jp_i=\tau_i p_i, &\text{åñëè}\; (i,j)\in E\Gamma;\\
p_jp_ip_j=\tau_i p_j, &\text{åñëè}\; (i,j)\in E\Gamma;\\
p_ip_j=p_jp_i, &\text{åñëè}\; (i,j)\not\in E\Gamma.
\end{cases}
$$
Ðàññìîòðèì àëãåáðó $TL_{H_n},$ àññîöèèðîâàííóþ ñ ãðàôîì $H_n$
% H
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){30}} \put(65,30){\line(1,0){15}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(13,30){\makebox(0,0)[a]{$H_n$}} \put(57.5,30){\makebox(0,0)[a]{$\dots$}} \put(27.5,33){\makebox(0,0)[a]{$5$}}
\put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}}
\put(65,27){\makebox(0,0)[a]{$_{n-1}$}} \put(80,27){\makebox(0,0)[a]{$_n$}}
\end{picture}
Èçâåñòíî (\cite{burbaki}, \cite{graham}), ÷òî àëãåáðû òèïà $H$ êîíå÷íîìåðíûå. Íàïðèìåð, $\dim TL_{H_2}=9,$
$\dim TL_{H_3}=44,$ $\dim TL_{H_4}=195,$ $\dim TL_{H_5}=804.$
\subsection{$TL_{\widetilde G_2}$ è $TL_{l_2(p)}$ ($p=5,$ $p\geq 7$)}
Ðàññìîòðèì àëãåáðó $TL_{\Gamma,\tau},$ àññîöèèðîâàííóþ ñ ãðàôîì $\Gamma,$ ãäå $\Gamma$ --- îäèí èç ãðàôîâ
$l_2(p)$ ïðè $p=5,$ $p\geq7$ èëè $\widetilde G_2$
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){15}} \put(65,30){\line(1,0){15}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$l_2(p)$}}
\put(27.5,33){\makebox(0,0)[a]{$p$}} \put(58,30){\makebox(0,0)[a]{$\widetilde G_2$}}
\put(72.5,33){\makebox(0,0)[a]{$6$}} \put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}}
\put(65,27){\makebox(0,0)[a]{$_1$}} \put(80,27){\makebox(0,0)[a]{$_2$}}
\end{picture}
Ýëåìåíòàðíûå âû÷èñëåíèÿ äàþò $\dim TL_{\widetilde G_2}=11$ è $\dim TL_{l_2(p)}=2p-1$ ïðè $p=5,$
$p\geq7.$
\section{Àëãåáðû $TL_\Gamma$ ïîëèíîìèàëüíîãî ðîñòà}
Ïóñòü $\mathcal A$ --- êîíå÷íî ïîðîæäåííàÿ àññîöèàòèâíàÿ àëãåáðà è $\mathcal K(\mathcal A)$ --- ñåìåéñòâî åãî
êîíå÷íîìåðíûõ ïîäïðîñòðàíñòâ. Ãîâîðÿò, ÷òî íà $\mathcal A$ çàäàíà êàëèáðîâêà, åñëè äëÿ ëþáîãî $V\in\mathcal
K(\mathcal A)$ îïðåäåëåíà ïîñëåäîâàòåëüíîñòü âëîæåííûõ êîíå÷íîìåðíûõ ïîäïðîñòðàíñòâ
$$V^{(1)}\subseteq V^{(2)}\subseteq V^{(3)}\subseteq\dots, \; V^{(n)}\in\mathcal K(\mathcal A),$$ óäîâëåòâîðÿþùàÿ
ñëåäóþùåìó óñëîâèþ: åñëè $V^{(k)}\subseteq W^{(m)},$ òî äëÿ ëþáîãî $n\in\mathbb N$ $V^{(kn)}\subseteq W^{(mn)}.$ Ñ
êàæäûì $V\in\mathcal K(\mathcal A)$ ñâÿçàíà ôóíêöèÿ ðîñòà $d_V(n)=\dim V^{(n)}.$
Íà ìíîæåñòâå òàêèõ ôóíêöèé îïðåäåëÿþòñÿ îòíîøåíèÿ ïðåäïîðÿäêà è ýêâèâàëåíòíîñòè: $f\leq g$ òîãäà è òîëüêî òîãäà,
êîãäà ñóùåñòâóþò òàêîå $m\in\mathbb N$ è $c>0,$ ÷òî $f(n)\leq g(mn)$ äëÿ âñåõ $n\in\mathbb N;$ $f\sim g$ òîãäà è
òîëüêî òîãäà, êîãäà $f\leq g$ è $g\leq f.$ Êëàññ ýêâèâàëåíòíîñòè $f$ íàçûâàåòñÿ ðîñòîì $f$ è îáîíà÷àåòñÿ $[f].$
Äëÿ êàæäîãî êîíå÷íîìåðíîãî ïðîñòðàíñòâà $V$ àëãåáðû $\mathcal A$ ïîëîæèì $V^{(n)}=V+V^1+\dots+V^n.$ Òàêàÿ
êàëèáðîâêà îïðåäåëÿåò ðîñò àëãåáðû $\mathcal A.$
Âñå ìíîãî÷ëåíû îäèíàêîâîé ñòåïåíè $d$ èìåþò îäèíàêîâûé ðîñò $[n^d],$ êîòîðûé íàçûâàåòñÿ ïîëèíîìèàëüíûì ñòåïåíè
$d.$ Åñëè $[f]\leq [n^d]$ äëÿ íåêîòîðîãî $d,$ òî ðîñò $f$ ñ÷èòàåòñÿ ïîëèíîìèàëüíûì. Ðîñò $[2^n]$ íàçûâàåòñÿ
ýêñïîíåíöèàëüíûì.
Ïîíÿòèå ðîñòà îïðåäåëÿåòñÿ äëÿ ëþáîé ìîíîòîííîé ôóíêöèè, äëÿ àëãåáð è ãðóïï îêàçûâàåòñÿ èíâðèàíòíûì ïîíÿòèåì.
\subsection{$TL_{\widetilde A_n,\tau}$ ($n\geq 3$)} \label{221} Ðàññìîòðèì òåïåðü ðàñøèðåííûé ãðàô Äûíêèíà $\widetilde A_n$ ($n\geq 3$)
% \widetilde A
\vspace{0.3cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){15}} \put(65,30){\line(1,0){15}}
\put(35,30){\line(3,1){22.5}} \put(80,30){\line(-3,1){22.5}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}}
\put(65,30){\circle*{1}} \put(80,30){\circle*{1}} \put(57.5,37.5){\circle*{1}}
\put(28,30){\makebox(0,0)[a]{$\widetilde A_n$}} \put(57.5,30){\makebox(0,0)[a]{$\dots$}}
\put(35,27){\makebox(0,0)[a]{$_1$}} \put(50,27){\makebox(0,0)[a]{$_2$}} \put(65,27){\makebox(0,0)[a]{$_{n-2}$}}
\put(80,27){\makebox(0,0)[a]{$_{n-1}$}} \put(57.5,39.5){\makebox(0,0)[a]{$_n$}}
\end{picture}
Èçâåñòíî (\cite{burbaki}), ÷òî ãðóïïàâàÿ àëãåáðà Êîêñòåðà, ñâÿçàííàÿ ñ ãðàôîì $\widetilde A_n$ áåñêîíå÷íîìåðíà è èìååò ïîëèíîìèàëüíûé ðîñò. Ïîêàæåì, ÷òî àëãåáðà è
$TL_{\widetilde A_n}$ áåñêîíå÷íîìåðíà è èìååò ëèíåéíûé ðîñò.
Ðàññìîòðèì àëãåáðó $TL_{\widetilde A_n},$ àññîöèèðîâàííóþ ñ ãðàôîì $\widetilde A_n$ ($n\geq 3$). Òàê êàê
ìàêñèìàëüíàÿ äëèíà ñòàðøåãî ñëîâà ýëåìåíòîâ áàçèñà Ãðåáíåðà àëãåáðû $TL_{\widetilde A_n}$ ðàâíà $n,$ òî âåðøèíàìè
ãðàôà ðîñòà àëãåáðû $TL_{\widetilde A_n}$ áóäóò íîðìàëüíûå ñëîâà äëèíû $n-1.$ Îáîçíà÷èì ÷åðåç $S_{n-1}$ ìíîæåñòâî
ñòàðøèõ ñëîâ áàçèñà Ãðåáíåðà àëãåáðû $TL_{\widetilde A_n}$ äëèíû $n-1,$ ò.å.
$S_{n-1}=\bigcup_{i_1,\dots,i_{n-1}}\prod_{k=1}^{n-1}p_{i_k}.$ Òîãäà ãðàô ðîñòà áóäåò èìåòü $n^{n-1}-|S_{n-1}|$
âåðøèí.
Ïðåäïîëîæèì, ÷òî àëãåáðà $TL_{\widetilde A_n}$ èìååò ðîñò îòëè÷íûé îò ëèíåéíîãî. Òîãäà å¸ ãðàô ðîñòà áóäåò
ñîäåðæàòü íå ìåíåå äâóõ öèêëîâ ñîåäèíåííûõ ïóòåì. Îáîçíà÷èì ÷åðåç $l_1,$ $l_2$ äâà ìèíèìàëüíûõ öèêëà, êîòîðûå
ñîåäèíååíû ïóòåì. Ïóñòü $t_1$ --- ïóòü îò $l_1$ ê $l_2,$ à $t_2$ --- ïóòü îò $l_2$ ê $l_1.$ Îáîçíà÷èì ÷åðåç $l_3$
ìèíèìàëüíûé öèêë, ñîåäèíÿþùèé öèêëû $l_1$ è $l_2,$ êîòîðûé ñîäåðæèò ïóòè $t_1$ è $t_2.$ Òîãäà äëÿ ëþáûõ
$q_1,q_2\in l_3$ íàéäóòñÿ îáðàçóþùèå $p_{i_1}$ è $p_{i_2}$ òàêèå, ÷òî $q_1p_{i_1}=p_{i_2}q_2.$
Áàçèñ Ãðåáíåðà àëãåáðû $TL_{\widetilde A_n}$ ñîäåðæèò ñîîòíîøåíèÿ $p_1p_np_1-\tau p_1$ è $p_np_1p_n-\tau p_n,$
òîãäà $|Vl_i|=n$ ïðè $i=1,2,3.$ Íî ãðàô ðîñòà àëãåáðû $TL_{\widetilde A_n}$ íå ìîæåò èìåòü áîëåå äâóõ öèêëîâ äëèíû
$n.$ Òîãäà ñóùåñòâóþò òàêèå âåðøèíû $q_1,q_2,q_3\in l_3$ è îáðàçóþùèå $p_{i_1},$ $p_{i_2},$ $p_{i_3},$ $p_{i_4}$
äëÿ êîòîðûõ âûïîëíÿþòñÿ ðàâåíñòâà $q_1p_{i_1}=p_{i_2}q_2$ è $p_{i_4}q_2=q_3p_{i_3},$ íî òîãäà $TL_{\widetilde
A_n}$ èìååò ëèíåéíûé ðîñò.
Íàïðèìåð, áàçèñ Ãðåáíåðà àëãåáðû $TL_{\widetilde A_3}$ ñîñòîèò èç ýëåìåíòîâ $\{ p_1^2-p_1,$ $p_2^2-p_2,$
$p_3^2-p_3,$ $p_1p_2p_1-\tau p_1,$ $p_2p_1p_2-\tau p_2,$ $p_2p_3p_2-\tau p_2,$ $p_3p_2p_3-\tau p_3,$
$p_1p_3p_1-\tau p_1,$ $p_3p_1p_3-\tau p_3\},$ à ãðàô ðîñòà èìååò âèä
% ãðàô ðîñòà äëÿ \widetilde A_3
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,35){\makebox(0,0)[a]{$p_1p_2$}} \put(30,33){\vector(-1,-1){10}}
\put(20,21){\makebox(0,0)[a]{$p_2p_3$}} \put(25,21){\vector(1,0){20}} \put(50,21){\makebox(0,0)[a]{$p_3p_1$}}
\put(50,23){\vector(-1,1){10}} \put(85,35){\makebox(0,0)[a]{$p_3p_2$}} \put(80,33){\vector(-1,-1){10}}
\put(70,21){\makebox(0,0)[a]{$p_2p_1$}} \put(75,21){\vector(1,0){20}} \put(100,21){\makebox(0,0)[a]{$p_1p_3$}}
\put(100,23){\vector(-1,1){10}}
\end{picture}
\vspace{0.3cm}
\subsection{$TL_{\widetilde D_n}$ $(n\geq 4)$} \label{222}
Ðàññìîòðèì àëãåáðó $TL_{\widetilde D_n},$ àññîöèèðîâàííóþ ñ ãðàôîì $\widetilde D_n$ ($n\geq 4$)
% \widetilde D
\vspace{0.5cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){15}} \put(65,30){\line(1,0){15}}
\put(35,30){\line(-1,1){10}} \put(35,30){\line(-1,-1){10}} \put(80,30){\line(1,1){10}}
\put(80,30){\line(1,-1){10}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}}
\put(80,30){\circle*{1}} \put(25,40){\circle*{1}} \put(25,20){\circle*{1}} \put(90,40){\circle*{1}}
\put(90,20){\circle*{1}} \put(18,30){\makebox(0,0)[a]{$\widetilde D_n$}} \put(57.5,30){\makebox(0,0)[a]{$\dots$}}
\put(22,20){\makebox(0,0)[a]{$_1$}} \put(22,40){\makebox(0,0)[a]{$_2$}} \put(35,27){\makebox(0,0)[a]{$_3$}}
\put(50,27){\makebox(0,0)[a]{$_4$}} \put(65,27){\makebox(0,0)[a]{$_{n-3}$}}
\put(79,27){\makebox(0,0)[a]{$_{n-2}$}} \put(93,20){\makebox(0,0)[a]{$_n$}}
\put(95,40){\makebox(0,0)[a]{$_{n+1}$}}
\end{picture}
\vspace{0.3cm}
Èçâåñòíî (\cite{burbaki}), ÷òî ãðóïïàâàÿ àëãåáðà Êîêñòåðà, ñâÿçàííàÿ ñ ãðàôîì $\widetilde D_n$ áåñêîíå÷íîìåðíà è èìååò ïîëèíîìèàëüíûé ðîñò. Àíàëîãè÷íî ïóíêòó \ref{221} ìîæíî ïîêàçàòü, ÷òî è àëãåáðà $TL_{\widetilde D_n,\tau}$ áåñêëíå÷íîìåðíà è èìååò ëèíåéíûé ðîñò.
\subsection{$TL_{\widetilde E_6}$ è $TL_{\widetilde E_7}$} \label{223}
Ðàññìîòðèì ãðàô Äûíêèíà $\widetilde E_6$
% widetilde E_6
\vspace{2.2cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){60}} \put(50,30){\line(0,1){30}}
\put(20,30){\circle*{1}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}}
\put(80,30){\circle*{1}}
%\put(95,30){\circle*{1}}
\put(50,45){\circle*{1}} \put(50,60){\circle*{1}}
\put(13,30){\makebox(0,0)[a]{$\widetilde E_6$}}
\put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}}
\put(65,27){\makebox(0,0)[a]{$_4$}} \put(80,27){\makebox(0,0)[a]{$_5$}} \put(53,45){\makebox(0,0)[a]{$_6$}}
\put(53,60){\makebox(0,0)[a]{$_7$}}
\end{picture}
Èçâåñòíî (\cite{burbaki}), ÷òî ãðóïïàâàÿ àëãåáðà Êîêñòåðà, ñâÿçàííàÿ ñ ãðàôàìè $\widetilde E_6$ è $\widetilde E_8$ áåñêîíå÷íîìåðíû è èìååò ïîëèíîìèàëüíûé ðîñò. Àíàëîãè÷íî ïóíêòó \ref{221} ìîæíî ïîêàçàòü, ÷òî àëãåáðû $TL_{\widetilde E_6,\tau}$ è $TL_{\widetilde E_7,\tau}$ áåñêëíå÷íîìåðíû è èìåþò ëèíåéíûé ðîñò.ûé ðîñò.
% widetilde E_7
\vspace{0.7cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){90}} \put(65,30){\line(0,1){15}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(95,30){\circle*{1}} \put(110,30){\circle*{1}} \put(65,45){\circle*{1}}
\put(13,30){\makebox(0,0)[a]{$\widetilde E_7$}} \put(20,27){\makebox(0,0)[a]{$_1$}}
\put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_4$}}
\put(80,27){\makebox(0,0)[a]{$_5$}} \put(95,27){\makebox(0,0)[a]{$_6$}} \put(110,27){\makebox(0,0)[a]{$_7$}}
\put(68,45){\makebox(0,0)[a]{$_8$}}
\end{picture}
\subsection{$TL_{\widetilde A_1}$}
Ðàññìîòðèì àëãåáðó $TL_{\widetilde A_1},$ àññîöèèðîâàííóþ ñ ãðàôîì $\widetilde A_1$
% \widetilde A_1
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){15}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}}
\put(28,30){\makebox(0,0)[a]{$\widetilde A_1$}} \put(42.5,33){\makebox(0,0)[a]{$\infty$}}
\put(35,27){\makebox(0,0)[a]{$_1$}} \put(50,27){\makebox(0,0)[a]{$_2$}}
\end{picture}
Àëãåáðà $TL_{\widetilde A_1}$ çàäàåòñÿ ñîîòíîøåíèÿìè
$$TL_{\widetilde A_1}=\mathbb C\Bigl\langle p_1,p_2\mid p_k^2=p_k^*=p_k,\; k=1,2\Bigr\rangle.$$
Òàê êàê ÷èñëî ýëåìåíòîâ ëèíåéíîãî áàçèñà àëãåáðû $TL_{\widetilde A_1}$ ôèêñèðîâàííîé äëèíû áîëüøåé åäèíèöû
ðàâíî äâóì, òî îíà èìååò ëèíåéíûé ðîñò (\cite{burbaki}).
\subsection{$TL_{\widetilde F_n}$ ($n\geq 6$)}
Ðàññìîòðèì àëãåáðó $TL_{\widetilde F_n},$ àññîöèèðîâàííóþ ñ ãðàôîì $\widetilde F_n$
% P_6
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){75}} \put(20,30){\circle*{1}} \put(35,30){\circle*{1}}
\put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}} \put(95,30){\circle*{1}}
\put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}}
\put(65,27){\makebox(0,0)[a]{$_4$}} \put(80,27){\makebox(0,0)[a]{$_5$}} \put(95,27){\makebox(0,0)[a]{$_6$}}
\put(13,30){\makebox(0,0)[a]{$\widetilde F_n$}} \put(57.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
Èìååò ëèíåéíûé ðîñò.
\subsection{$TL_{\widetilde B_n}$ ($n\geq 4$)}
Ðàññìîòðèì àëãåáðó $TL_{\widetilde B_n},$ àññîöèèðîâàííóþ ñ ãðàôîì $\widetilde B_n$
\vspace{0.5cm}
% \widetilde B_n
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){15}} \put(20,30){\line(-1,1){10}}
\put(20,30){\line(-1,-1){10}} \put(50,30){\line(1,0){30}} \put(20,30){\circle*{1}} \put(35,30){\circle*{1}}
\put(10,40){\circle*{1}} \put(10,20){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}}
\put(80,30){\circle*{1}} \put(7,20){\makebox(0,0)[a]{$_1$}} \put(20,27){\makebox(0,0)[a]{$_3$}}
\put(7,40){\makebox(0,0)[a]{$_2$}} \put(35,27){\makebox(0,0)[a]{$_4$}} \put(50,27){\makebox(0,0)[a]{$_{n-2}$}}
\put(65,27){\makebox(0,0)[a]{$_{n-1}$}} \put(80,27){\makebox(0,0)[a]{$_n$}}
\put(3,30){\makebox(0,0)[a]{$\widetilde B_n$}} \put(42.5,30){\makebox(0,0)[a]{$\dots$}}
\put(72.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
Èìååò ëèíåéíûé ðîñò.
\subsection{$TL_{l_3(s)}$ ($s\geq 6$)}
Ðàññìîòðèì àëãåáðó $TL_{l_3(p)},$ àññîöèèðîâàííóþ ñ ãðàôîì $l_3(p)$ ($p\geq 6$)
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){30}} \put(20,30){\circle*{1}} \put(35,30){\circle*{1}}
\put(50,30){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$l_3(p)$}} \put(27.5,33){\makebox(0,0)[a]{$p$}}
\put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}}
\end{picture}
Èìååò ëèíåéíûé ðîñò.
\subsection{$TL_{\widetilde C_2}$}
Ðàññìîòðèì àëãåáðó $TL_{\widetilde C_2},$ àññîöèèðîâàííóþ ñ ãðàôîì $\widetilde C_2$
% \widetilde C_2
%\vspace{0.3cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){30}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}}
\put(65,30){\circle*{1}} \put(28,30){\makebox(0,0)[a]{$\widetilde C_2$}} \put(35,27){\makebox(0,0)[a]{$_1$}}
\put(50,27){\makebox(0,0)[a]{$_2$}} \put(65,27){\makebox(0,0)[a]{$_3$}} \put(42.5,33){\makebox(0,0)[a]{$4$}}
\put(57.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
Èçâåñòíî (\cite{burbaki}), ÷òî àëãåáðà $TL_{\widetilde C_2}$ èìååò ïîëèíîìèàëüíûé ðîñò. Ãðàô ðîñòà äëÿ
àëãåáðû $TL_{\widetilde C_2}$ íå ñîäåðæèò áîëåå îäíîãî öèêëà, ñîåäèíåííîãî ïóòåì, à çíà÷èò åãî ðîñò ëèíåéíûé.
Ãðàô ðîñòà èìååò âèä
% ãðàô ðîñòà äëÿ \widetilde C_2
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(0,35){\makebox(0,0)[a]{$p_1p_2p_1p_3$}}
\put(30,35){\makebox(0,0)[a]{$p_2p_1p_3p_2$}} \put(25,33){\vector(-1,-1){10}} \put(45,23){\vector(-1,1){10}}
\put(60,35){\makebox(0,0)[a]{$p_1p_3p_2p_3$}} \put(90,35){\makebox(0,0)[a]{$p_2p_1p_2p_3$}}
\put(120,35){\makebox(0,0)[a]{$p_3p_2p_1p_2$}} \put(15,21){\makebox(0,0)[a]{$p_1p_3p_2p_1$}}
\put(25,21){\vector(1,0){10}} \put(45,21){\makebox(0,0)[a]{$p_3p_2p_1p_3$}}
\put(75,21){\makebox(0,0)[a]{$p_1p_2p_3p_2$}} \put(105,21){\makebox(0,0)[a]{$p_2p_3p_2p_1$}}
\put(85,21){\vector(1,0){10}} \put(10,35){\vector(1,0){10}} \put(40,35){\vector(1,0){10}}
\put(80,35){\vector(-1,0){10}} \put(110,35){\vector(-1,0){10}} \put(85,33){\vector(-1,-1){10}}
\put(105,23){\vector(1,1){10}}
\end{picture}
\vspace{0.3cm}
Áàçèñ Ãðåáíåðà àëãåáðû $TL_{\widetilde C_2}$ ñîñòîèò èç ýëåìåíòîâ $\{ p_1^2-p_1,$ $p_2^2-p_2,$ $p_3^2-p_3,$
$p_1p_2p_1p_2-\tau p_1p_2,$ $p_2p_1p_2p_1-\tau p_2p_1,$ $p_2p_3p_2p_3-\tau p_2p_3,$ $p_3p_2p_3p_2-\tau p_3p_2,$
$p_3p_1-p_1p_3,$ $p_2p_3p_2p_1p_3-\tau p_2p_1p_3,$ $p_1p_3p_2p_1p_3-\tau p_1p_3p_2 \}.$
\subsection{$TL_{\widetilde C_n}$ ($n\geq 3$)}
2. Ðàññìîòðèì àëãåáðó $TL_{\widetilde C_n},$ àññîöèèðîâàííóþ ñ ãðàôîì $\widetilde C_n$ ($n\geq 3$)
% \widetilde Ñ_n
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){30}} \put(65,30){\line(1,0){30}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(95,30){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$\widetilde C_n$}} \put(57.5,30){\makebox(0,0)[a]{$\dots$}}
\put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}}
\put(65,27){\makebox(0,0)[a]{$_{n-2}$}} \put(80,27){\makebox(0,0)[a]{$_{n-1}$}}
\put(95,27){\makebox(0,0)[a]{$_n$}} \put(27.5,33){\makebox(0,0)[a]{$4$}} \put(87.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
Èçâåñòíî (\cite{burbaki}), ÷òî àëãåáðû òèïà $\widetilde C_n$ èìåþò ëèíåéíûé ðîñò.
\section{Àëãåáðû $TL_\Gamma$ ýêñïîíåíöèàëüíîãî ðîñòà}
\subsection{}
Ðàññìîòðèì àëãåáðó $TL_{K_6},$ àññîöèèðîâàííóþ ñ ãðàôîì $K_6$
% K_6
\vspace{0.7cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){30}} \put(50,30){\line(0,1){15}} \put(50,30){\line(1,1){10}}
\put(50,30){\line(-1,1){10}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}}
\put(50,45){\circle*{1}} \put(60,40){\circle*{1}} \put(40,40){\circle*{1}} \put(28,30){\makebox(0,0)[a]{$K_6$}}
\put(35,27){\makebox(0,0)[a]{$_1$}} \put(50,27){\makebox(0,0)[a]{$_2$}} \put(65,27){\makebox(0,0)[a]{$_3$}}
\put(63,40){\makebox(0,0)[a]{$_4$}} \put(37,40){\makebox(0,0)[a]{$_6$}} \put(53,45){\makebox(0,0)[a]{$_5$}}
\end{picture}
Îáîçíà÷èì ÷åðåç $F=\mathbb C\Bigl\langle x_1,x_2\Bigr\rangle$ ñâîáîäíóþ àëãåáðó, ïîðîæäåííóþ äâóìÿ îáðàçóþùèìè.
Ïîëîæèì $q_1=p_2p_3p_4p_2p_1p_5$ è $q_2=p_2p_3p_4p_2p_1p_6.$ Ëèíåéíûé áàçèñ $TL_{K_6}$ ñîñòîèò èç âñåâîçìîæíûõ
ñëîâ, â êîòîðûõ íå ñîäåðæàòñÿ ñëåäóþùèå ïîäñëîâà $p_1^2,$ $p_2^2,$ $p_3^2,$ $p_4^2,$ $p_5^2,$ $p_6^2,$
$p_1p_2p_1,$ $p_2p_1p_2,$ $p_2p_3p_2,$ $p_3p_2p_3,$ $p_2p_4p_2,$ $p_4p_2p_4,$ $p_2p_5p_2,$ $p_5p_2p_5,$
$p_2p_6p_2,$ $p_6p_2p_6,$ $p_3p_1,$ $p_4p_1,$ $p_5p_1,$ $p_6p_1,$ $p_4p_3,$ $p_5p_3,$ $p_6p_3,$ $p_5p_4,$
$p_6p_4,$ $p_6p_5,$ $p_3p_2p_1p_3,$ $p_4p_2p_1p_4,$ $p_4p_2p_3p_4,$ $p_5p_2p_1p_5,$ $p_5p_2p_3p_5,$
$p_5p_2p_4p_5,$ $p_6p_2p_1p_6,$ $p_6p_2p_3p_6,$ $p_6p_2p_4p_6,$ $p_6p_2p_5p_6,$ $p_1p_3p_2p_1,$ $p_1p_4p_2p_1,$
$p_1p_5p_2p_1,$ $p_1p_6p_2p_1,$ $p_3p_4p_2p_3,$ $p_3p_5p_2p_3,$ $p_3p_6p_2p_3,$ $p_4p_5p_2p_4,$ $p_4p_6p_2p_4,$
$p_5p_6p_2p_5,$ $p_1p_3p_4p_2p_1,$ $p_1p_3p_5p_2p_1,$ $p_1p_3p_6p_2p_1,$ $p_1p_4p_5p_2p_1,$ $p_1p_4p_6p_2p_1,$
$p_1p_5p_6p_2p_1,$ $p_3p_4p_2p_1p_3,$ $p_3p_4p_5p_2p_3,$ $p_3p_4p_6p_2p_3,$ $p_3p_5p_2p_1p_3,$ $p_3p_5p_6p_2p_3,$
$p_3p_6p_2p_1p_3,$ $p_4p_5p_2p_1p_4,$ $p_4p_5p_2p_3p_4,$ $p_4p_5p_6p_2p_4,$ $p_4p_6p_2p_1p_4,$ $p_4p_6p_2p_3p_4,$
$p_5p_6p_2p_1p_5,$ $p_5p_6p_2p_3p_5,$ $p_5p_6p_2p_4p_5,$ $p_4p_2p_1p_3p_4,$ $p_5p_2p_1p_3p_5,$ $p_5p_2p_1p_4p_5,$
$p_5p_2p_3p_4p_5,$ $p_6p_2p_1p_3p_6,$ $p_6p_2p_1p_4p_6,$ $p_6p_2p_1p_5p_6,$ $p_6p_2p_3p_4p_6,$ $p_6p_2p_3p_5p_6,$
$p_6p_2p_4p_5p_6,$ $p_1p_3p_4p_5p_2p_1,$ $p_1p_3p_4p_6p_2p_1,$ $p_1p_3p_5p_6p_2p_1,$ $p_1p_4p_5p_6p_2p_1,$
$p_3p_4p_5p_2p_1p_3,$ $p_3p_4p_5p_6p_2p_3,$ $p_3p_4p_6p_2p_1p_3,$ $p_3p_5p_6p_2p_1p_3,$ $p_4p_5p_6p_2p_1p_4,$
$p_4p_5p_6p_2p_3p_4,$ $p_4p_5p_2p_1p_3p_4,$ $p_4p_6p_2p_1p_3p_4,$ $p_5p_6p_2p_1p_3p_5,$ $p_5p_6p_2p_1p_4p_5,$
$p_5p_6p_2p_3p_4p_5,$ $p_5p_2p_1p_3p_4p_5,$ $p_6p_2p_1p_3p_4p_6,$ $p_6p_2p_1p_3p_5p_6,$ $p_6p_2p_1p_4p_5p_6,$
$p_6p_2p_3p_4p_5p_6,$ $p_1p_3p_4p_5p_6p_2p_1,$ $p_3p_4p_5p_6p_2p_1p_3,$ $p_4p_5p_6p_2p_1p_3p_4,$
$p_5p_6p_2p_1p_3p_4p_5,$ $p_6p_2p_1p_3p_4p_5p_6.$
Ïóñòü $\varphi : F \longrightarrow G$ ãîìîìîðôèçì $\varphi(x_i)=q_i,$ ãäå $G=\mathbb C\Bigl\langle
q_1,q_2\Bigr\rangle$ ïîäàëãåáðà àëãåáðû $TL_{K_6,\tau}.$ Òàê êàê íè îäíî èç çàïðåùåííûõ ñëîâ íå ñîäåðæèòñÿ âî
âñåâîçìîæíûõ êîìáèíàöèÿõ ýëåìåíòîâ $q_1$ è $q_2,$ òî $\varphi$ ÿâëÿåòñÿ èçîìîðôèçìîì. Ñëåäîâàòåëüíî, â àëãåáðå
$TL_{K_6,\tau}$ ñóùåñòâóåò ñâîáîäíàÿ ïîäàëãåáðà $G$ ïîðîæäåííàÿ äâóìÿ îáðàçóþùèìè, òîãäà $TL_{K_6,\tau}$ èìååò
ýêñïîíåíöèàëüíûé ðîñò.
\subsection{}
Ðàññìîòðèì ãðàô
\vspace{0.5cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){45}} \put(50,30){\line(-1,1){10}}
\put(50,30){\line(-1,-1){10}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}}
\put(80,30){\circle*{1}} \put(40,40){\circle*{1}} \put(40,20){\circle*{1}} \put(35,27){\makebox(0,0)[a]{$_1$}}
\put(50,27){\makebox(0,0)[a]{$_2$}} \put(65,27){\makebox(0,0)[a]{$_3$}} \put(80,27){\makebox(0,0)[a]{$_4$}}
\put(37,20){\makebox(0,0)[a]{$_5$}} \put(37,40){\makebox(0,0)[a]{$_6$}}
\end{picture}
Ñîîòâåòñòâóþùàÿ àëãåáðà $TL_\Gamma$ èìååò ýêñïîíåíöèàëüíûé ðîñò, òàê êàê ó íå¸ ñóùåñòâóåò ñâîáîäíàÿ ïîäàëãåáðà
ïîðîæäåííàÿ äâóìÿ îáðàçóþùèìè (íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè
$q_1=p_2p_1p_3p_2p_4p_3p_5p_2p_1p_6p_2p_3p_4p_5p_2p_1p_3p_2p_5p_6$ è
$q_2=p_2p_1p_3p_2p_4p_3p_6p_2p_1p_5p_2p_3p_4p_6p_2p_1p_3p_2p_5p_6$).
\subsection{}
Ðàññìîòðèì ãðàô
\vspace{0.5cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(50,30){\line(1,0){15}} \put(50,30){\line(-1,1){10}}
\put(50,30){\line(-1,-1){10}} \put(65,30){\line(1,1){10}} \put(65,30){\line(1,-1){10}} \put(75,20){\line(1,0){15}}
\put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(40,40){\circle*{1}} \put(40,20){\circle*{1}}
\put(75,40){\circle*{1}} \put(75,20){\circle*{1}} \put(90,20){\circle*{1}} \put(50,27){\makebox(0,0)[a]{$_3$}}
\put(65,27){\makebox(0,0)[a]{$_4$}} \put(37,40){\makebox(0,0)[a]{$_2$}} \put(37,20){\makebox(0,0)[a]{$_1$}}
\put(78,40){\makebox(0,0)[a]{$_5$}} \put(75,17){\makebox(0,0)[a]{$_6$}} \put(90,17){\makebox(0,0)[a]{$_7$}}
\end{picture}
\vspace{0.5cm}
Ñîîòâåòñòâóþùàÿ àëãåáðà $TL_\Gamma$ èìååò ýêñïîíåíöèàëüíûé ðîñò, òàê êàê ó íå¸ ñóùåñòâóåò ñâîáîäíàÿ ïîäàëãåáðà
ïîðîæäåííàÿ äâóìÿ îáðàçóþùèìè (íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè
$q_1=p_7p_6p_4p_3p_1p_2p_3p_4p_5p_6p_4p_3p_1p_2p_3p_4p_5$ è $q_2=p_6p_4p_3p_1p_2p_3p_4p_5$).
\subsection{}
Ðàññìîòðèì ãðàô
\vspace{2.2cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){75}} \put(50,30){\line(0,1){30}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(95,30){\circle*{1}} \put(50,45){\circle*{1}} \put(50,60){\circle*{1}} \put(20,27){\makebox(0,0)[a]{$_1$}}
\put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_4$}}
\put(80,27){\makebox(0,0)[a]{$_5$}} \put(95,27){\makebox(0,0)[a]{$_6$}} \put(53,45){\makebox(0,0)[a]{$_7$}}
\put(53,60){\makebox(0,0)[a]{$_8$}}
%\put(13,30){\makebox(0,0)[a]{$N_8$}}
\end{picture}
Ñîîòâåòñòâóþùàÿ àëãåáðà $TL_\Gamma$ èìååò ýêñïîíåíöèàëüíûé ðîñò, òàê êàê ó íå¸ ñóùåñòâóåò ñâîáîäíàÿ ïîäàëãåáðà
ïîðîæäåííàÿ äâóìÿ îáðàçóþùèìè (íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè
$q_1=p_2p_7p_3p_4p_5p_8p_7p_3p_2p_1p_4p_3$ è \\
$q_2=p_2p_7p_3p_4p_5p_6p_8p_7p_3p_2p_4p_3p_5p_4p_7p_3p_2p_1p_8p_7p_3p_2p_4p_3p_5p_4p_6p_5p_7p_3p_2p_1p_4p_3$).
\subsection{}
Ðàññìîòðèì ãðàô
\vspace{0.7cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){105}} \put(65,30){\line(0,1){15}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(95,30){\circle*{1}} \put(110,30){\circle*{1}} \put(125,30){\circle*{1}} \put(65,45){\circle*{1}}
\put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}}
\put(65,27){\makebox(0,0)[a]{$_4$}} \put(80,27){\makebox(0,0)[a]{$_5$}} \put(95,27){\makebox(0,0)[a]{$_6$}}
\put(110,27){\makebox(0,0)[a]{$_7$}} \put(125,27){\makebox(0,0)[a]{$_8$}} \put(68,45){\makebox(0,0)[a]{$_9$}}
\end{picture}
Ñîîòâåòñòâóþùàÿ àëãåáðà $TL_\Gamma$ èìååò ýêñïîíåíöèàëüíûé ðîñò, òàê êàê ó íå¸ ñóùåñòâóåò ñâîáîäíàÿ ïîäàëãåáðà
ïîðîæäåííàÿ äâóìÿ îáðàçóþùèìè (íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè
$q_1=p_4p_5p_6p_8p_4p_1p_2p_5p_7p_8p_4p_8p_9p_4p_2p_3$ è $q_2=r_1r_2,$ ãäå
$r_1=p_4p_5p_6p_7p_8p_9p_5p_4p_3p_5p_4p_6p_7p_8p_4p_1p_3p_7p_8p_9p_4p_2$ è \\
$r_2=p_5p_7p_9p_1p_5p_4p_2p_8p_4p_6p_7p_4p_5p_7p_9p_4p_1p_3p_5p_7p_8p_4p_2p_3p_4p_5p_6p_8p_4p_1p_2p_3$).
\subsection{}
Ðàññìîòðèì ãðàô
\vspace{0.5cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(50,30){\line(1,0){15}} \put(50,30){\line(-1,1){10}}
\put(50,30){\line(-1,-1){10}} \put(40,20){\line(0,1){20}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}}
\put(40,40){\circle*{1}} \put(40,20){\circle*{1}}
%\put(33,30){\makebox(0,0)[a]{$C_4$}}
\put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_4$}} \put(37,20){\makebox(0,0)[a]{$_1$}}
\put(37,40){\makebox(0,0)[a]{$_2$}}
\end{picture}
Ñîîòâåòñòâóþùàÿ àëãåáðà $TL_\Gamma$ èìååò ýêñïîíåíöèàëüíûé ðîñò, òàê êàê ó íå¸ ñóùåñòâóåò ñâîáîäíàÿ ïîäàëãåáðà
ïîðîæäåííàÿ äâóìÿ îáðàçóþùèìè (íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_2p_1p_3$ è
$q_2=p_2p_1p_3p_2p_1p_4p_3$).
\subsection{}
Ðàññìîòðèì àëãåáðó $TL_\Gamma,$ àññîöèèðîâàííóþ ñ ãðàôîì $\Gamma$
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){90}} \put(20,30){\circle*{1}} \put(35,30){\circle*{1}}
\put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}} \put(95,30){\circle*{1}}
\put(110,30){\circle*{1}} \put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}}
\put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_4$}} \put(80,27){\makebox(0,0)[a]{$_5$}}
\put(95,27){\makebox(0,0)[a]{$_6$}} \put(110,27){\makebox(0,0)[a]{$_7$}} \put(13,30){\makebox(0,0)[a]{$\Gamma$}}
\put(57.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
Àëãåáðà $TL_\Gamma$ èìååò ýêñïîíåíöèàëüíûé ðîñò, òàê êàê ó íå¸ ñóùåñòâóåò ñâîáîäíàÿ ïîäàëãåáðà ïîðîæäåííàÿ
äâóìÿ îáðàçóþùèìè (íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè
$q_1=p_2p_3p_1p_6p_5p_4p_3p_2p_4p_3p_5p_4$ è \\ $q_2=p_3p_6p_5p_4p_3p_2p_1p_7p_6p_5p_4p_3p_2p_4p_3p_5p_4$).
\subsection{}
Ðàññìîòðèì àëãåáðó $TL_\Gamma,$ àññîöèèðîâàííóþ ñ ãðàôîì $\Gamma$
\vspace{0.5cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){30}} \put(35,30){\line(-1,1){10}}
\put(35,30){\line(-1,-1){10}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(25,40){\circle*{1}}
\put(25,20){\circle*{1}} \put(65,30){\circle*{1}} \put(22,20){\makebox(0,0)[a]{$_1$}}
\put(35,27){\makebox(0,0)[a]{$_3$}} \put(22,40){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_4$}}
\put(65,27){\makebox(0,0)[a]{$_5$}} \put(18,30){\makebox(0,0)[a]{$\Gamma$}} \put(42.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
Àëãåáðà $TL_\Gamma$ èìååò ýêñïîíåíöèàëüíûé ðîñò, òàê êàê ó íå¸ ñóùåñòâóåò ñâîáîäíàÿ ïîäàëãåáðà ïîðîæäåííàÿ
äâóìÿ îáðàçóþùèìè (íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_1p_2p_3p_4p_3$ è
$q_2=p_5p_4p_3p_1p_2p_3p_4p_3$).
\subsection{}
Ðàññìîòðèì àëãåáðó
\vspace{0.5cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){45}} \put(35,30){\line(-1,1){10}}
\put(35,30){\line(-1,-1){10}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(25,40){\circle*{1}}
\put(25,20){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}} \put(22,20){\makebox(0,0)[a]{$_1$}}
\put(35,27){\makebox(0,0)[a]{$_3$}} \put(22,40){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_4$}}
\put(65,27){\makebox(0,0)[a]{$_5$}} \put(80,27){\makebox(0,0)[a]{$_6$}} \put(18,30){\makebox(0,0)[a]{$\Gamma$}}
\put(57.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_2p_6p_5p_4p_3p_1p_5p_4p_3$ è
$q_2=p_2p_5p_4p_3p_1p_5p_4p_3$).
\subsection{}
Ðàññìîòðèì àëãåáðó
\vspace{0.5cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){30}} \put(35,30){\line(-1,1){10}}
\put(35,30){\line(-1,-1){10}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(25,40){\circle*{1}}
\put(25,20){\circle*{1}} \put(65,30){\circle*{1}} \put(22,20){\makebox(0,0)[a]{$_1$}}
\put(35,27){\makebox(0,0)[a]{$_3$}} \put(22,40){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_4$}}
\put(65,27){\makebox(0,0)[a]{$_5$}} \put(18,30){\makebox(0,0)[a]{$\Gamma$}} \put(32.5,37){\makebox(0,0)[a]{$4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_2p_5p_4p_3p_1p_2p_3p_2p_4p_3$ è
$q_2=p_1p_2p_3p_2p_4p_3$).
\subsection{}
Ðàññìîòðèì àëãåáðó
\vspace{1.2cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){60}} \put(50,30){\line(0,1){15}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(50,45){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$\Gamma$}} \put(20,27){\makebox(0,0)[a]{$_1$}}
\put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_4$}}
\put(80,27){\makebox(0,0)[a]{$_5$}} \put(53,45){\makebox(0,0)[a]{$_6$}} \put(53,37.5){\makebox(0,0)[a]{$4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_2p_1p_4p_3p_2p_5p_4p_3p_5p_4p_5p_6p_3$ è
$q_2=p_2p_4p_3p_5p_4p_5p_6p_3$).
\subsection{}
Ðàññìîòðèì àëãåáðó
%
\vspace{1.2cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){60}} \put(50,30){\line(0,1){15}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(80,30){\circle*{1}}
\put(50,45){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$\Gamma$}} \put(20,27){\makebox(0,0)[a]{$_1$}}
\put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_4$}}
\put(80,27){\makebox(0,0)[a]{$_5$}} \put(53,45){\makebox(0,0)[a]{$_6$}} \put(27.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_3p_2p_1p_4p_3p_2p_1p_5p_4p_3p_2p_1p_6$ è
$q_2=p_3p_2p_1p_4p_3p_2p_1p_5p_6p_3p_2p_1p_4p_3p_2p_1p_6$).
\subsection{}
Ðàññìîòðèì àëãåáðó
%
\vspace{1.2cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){30}} \put(50,15){\line(0,1){30}} \put(35,30){\circle*{1}}
\put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(50,15){\circle*{1}} \put(50,45){\circle*{1}}
\put(13,30){\makebox(0,0)[a]{$\Gamma$}} \put(35,27){\makebox(0,0)[a]{$_1$}}
\put(53,27){\makebox(0,0)[a]{$_2$}} \put(65,27){\makebox(0,0)[a]{$_4$}} \put(53,15){\makebox(0,0)[a]{$_3$}}
\put(53,45){\makebox(0,0)[a]{$_5$}} \put(53,37.5){\makebox(0,0)[a]{$4$}}
\end{picture}
\vspace{1cm} (íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_2p_1p_3p_2p_4p_5$ è
$q_2=p_2p_3p_5p_2p_4p_5$).
\subsection{}
Ðàññìîòðèì àëãåáðó
\vspace{1.2cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(50,30){\line(1,0){20}} \put(50,30){\line(1,1){10}}
\put(70,30){\line(-1,1){10}} \put(50,30){\circle*{1}} \put(70,30){\circle*{1}} \put(60,40){\circle*{1}}
\put(43,30){\makebox(0,0)[a]{$\Gamma$}} \put(50,27){\makebox(0,0)[a]{$_2$}}
\put(70,27){\makebox(0,0)[a]{$_3$}} \put(60,43){\makebox(0,0)[a]{$_1$}} \put(60,27){\makebox(0,0)[a]{$4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_1p_2p_3p_2p_1p_3p_2p_3$ è $q_2=p_1p_2p_3$).
\subsection{}
Ðàññìîòðèì àëãåáðó
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){45}} \put(20,30){\circle*{1}} \put(35,30){\circle*{1}}
\put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$\Gamma$}}
\put(42.5,33){\makebox(0,0)[a]{$5$}} \put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}}
\put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_2p_1p_3p_2p_3p_2p_4p_3$ è
$q_2=p_2p_1p_3p_2p_2p_4p_3$).
\subsection{}
Ðàññìîòðèì àëãåáðó
\vspace{1.2cm}
% H
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){30}} \put(35,30){\line(0,1){15}} \put(20,30){\circle*{1}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(35,45){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$\Gamma$}}
\put(42.5,33){\makebox(0,0)[a]{$5$}} \put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}}
\put(50,27){\makebox(0,0)[a]{$_3$}} \put(38,45){\makebox(0,0)[a]{$_4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_2p_1p_3p_2p_3p_2p_1p_4p_2p_3$ è
$q_2=p_2p_1p_3p_2p_3p_4$).
\subsection{}
Ðàññìîòðèì àëãåáðó
%
\vspace{1.2cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(50,30){\line(1,0){20}} \put(50,30){\line(1,1){10}}
\put(70,30){\line(-1,1){10}} \put(50,30){\circle*{1}} \put(70,30){\circle*{1}} \put(60,40){\circle*{1}}
\put(43,30){\makebox(0,0)[a]{$\Gamma$}} \put(50,27){\makebox(0,0)[a]{$_2$}}
\put(70,27){\makebox(0,0)[a]{$_3$}} \put(60,43){\makebox(0,0)[a]{$_1$}} \put(60,27){\makebox(0,0)[a]{$5$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_1p_2p_3p_2p_1p_3p_2p_1p_3p_2p_3$ è
$q_2=p_1p_2p_3$).
\subsection{}
Ðàññìîòðèì àëãåáðó
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){45}} \put(20,30){\circle*{1}} \put(35,30){\circle*{1}}
\put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$\Gamma$}}
\put(27.5,33){\makebox(0,0)[a]{$6$}} \put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}}
\put(50,27){\makebox(0,0)[a]{$_3$}} \put(65,27){\makebox(0,0)[a]{$_4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_1p_2p_1p_3p_2$ è
$q_2=p_1p_4p_3p_2p_1p_2p_1p_3p_2$).
\subsection{}
Ðàññìîòðèì àëãåáðó
% \widetilde C_2
%\vspace{0.3cm}
\setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){45}} \put(20,30){\circle*{1}} \put(35,30){\circle*{1}}
\put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$\Gamma$}}
\put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}}
\put(65,27){\makebox(0,0)[a]{$_4$}} \put(27.5,33){\makebox(0,0)[a]{$4$}} \put(42.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_1p_3p_2$ è \\
$q_2=p_1p_3p_2p_4p_3p_2p_1p_2p_3p_2p_1p_4p_3p_2$).
\subsection{}
Ðàññìîòðèì àëãåáðó
% \widetilde C_2
\vspace{1cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines
\put(35,30){\line(1,0){30}} \put(50,30){\line(0,1){15}}
\put(35,30){\circle*{1}} \put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(50,45){\circle*{1}}
\put(13,30){\makebox(0,0)[a]{$\Gamma$}}
\put(35,27){\makebox(0,0)[a]{$_1$}} \put(50,27){\makebox(0,0)[a]{$_2$}} \put(65,27){\makebox(0,0)[a]{$_3$}}
\put(53,45){\makebox(0,0)[a]{$_4$}}
\put(42.5,33){\makebox(0,0)[a]{$4$}} \put(57.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_1p_3p_2$ è $q_2=p_1p_3p_2p_1p_3p_4p_2$).
\subsection{}
Ðàññìîòðèì àëãåáðó
% \widetilde C_2
\vspace{1cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(35,30){\line(1,0){30}} \put(35,30){\circle*{1}} \put(50,30){\circle*{1}}
\put(65,30){\circle*{1}} \put(28,30){\makebox(0,0)[a]{$\Gamma$}} \put(35,27){\makebox(0,0)[a]{$_1$}}
\put(50,27){\makebox(0,0)[a]{$_2$}} \put(65,27){\makebox(0,0)[a]{$_3$}} \put(42.5,33){\makebox(0,0)[a]{$4$}}
\put(57.5,33){\makebox(0,0)[a]{$5$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_1p_3p_2$ è $q_2=p_1p_3p_2p_3p_2p_1p_2p_3p_2$).
\subsection{}
Ðàññìîòðèì àëãåáðó
% \widetilde C_2
\vspace{1cm} \setlength{\unitlength}{1mm}
\begin{picture}(80,20)(-10,20)
\linethickness{1pt} \thinlines \put(20,30){\line(1,0){45}} \put(20,30){\circle*{1}} \put(35,30){\circle*{1}}
\put(50,30){\circle*{1}} \put(65,30){\circle*{1}} \put(13,30){\makebox(0,0)[a]{$\Gamma$}}
\put(20,27){\makebox(0,0)[a]{$_1$}} \put(35,27){\makebox(0,0)[a]{$_2$}} \put(50,27){\makebox(0,0)[a]{$_3$}}
\put(65,27){\makebox(0,0)[a]{$_4$}} \put(27.5,33){\makebox(0,0)[a]{$4$}} \put(42.5,33){\makebox(0,0)[a]{$4$}}
\put(57.5,33){\makebox(0,0)[a]{$4$}}
\end{picture}
(íàïðèìåð, ìîæíî âçÿòü ïîäàëãåáðó ïîðîæäåííóþ ýëåìåíòàìè $q_1=p_1p_2p_1p_3p_4$ è $q_2=p_1p_2p_4p_2p_4$).
\section{Ñâÿçü ìåæäó ðîñòîì ãðàôà è ðîñòîì åãî ïîäãðàôà.}
Ñóùåñòâóåò ñâÿçü ìåæäó ðîñòîì ãðàôà è ðîñòîì åãî ïîäãðàôà.
\begin{lemma}
Åñëè ê ãðàôó $\Gamma$ äîáàâèòü íîâóþ âåðøèíó è ñîåäèíèòü å¸ ðåáðîì ñ îäíîé èç âåðøèí $\Gamma,$ òî ðàçìåðíîñòü èëè
ðîñò ñîîòâåòñòâóþùåé àëãåáðû $TL_\Gamma$ íå óìåíüøàåòñÿ.
\end{lemma}
\begin{proof}
Ïóñòü $\Gamma$ --- ñâÿçíûé íåîðèåíòèðîâàííûé ãðàô. Äîáàâèâ ê $\Gamma$ âåðøèíó è ñîåäèíèâ ðåáðîì ñ îäíîé èç âåðøèí
$\Gamma,$ òî ïîëó÷èì íîâûé ãðàô $\Gamma'.$ Íî òîãäà $TL_{\Gamma,\tau}$ ÿâëÿåòñÿ ïîäàëãåáðîé $TL_{\Gamma',\tau}$ è
$\dim TL_{\Gamma',\tau}\geq \dim TL_{\Gamma,\tau}.$
\end{proof}
\begin{lemma}
Åñëè â ãðàôå $\Gamma$ ñîåäèíèòü ðåáðîì ëþáûå äâå âåðøèíû, òî ðàçìåðíîñòü èëè ðîñò ñîîòâåòñòâóþùåé àëãåáðû
$TL_\Gamma$ íå óìåíüøàåòñÿ.
\end{lemma}
\begin{proof}
Òàê êàê ìû ðàññìàòðèâàåì òîëüêî ïðîñòûå ãðàôû áåç ïåòåëü, òî äîñòàòî÷íî áóäåò ðàññìîòðåòü ãðàô $\widetilde A_3,$
ïîëó÷åííûé èç $A_3$ äîáàâëåíèåì íîâîãî ðåáðà. Àëãåáðà $TL_{A_3,\tau}$ êîíå÷íîìåðíàÿ, à $TL_{\widetilde A_3,\tau}$
--- áåñêîíå÷íîìåðíàÿ.
\end{proof}
Ïóñòü $x_1$ ïðîèçâîëüíàÿ òî÷êà ãðàôà $\Gamma$ âàëåíòíîñòè $m.$ Ðàçäåëèì ìíîæåñòâî âåðøèí $V\Gamma,$ êîòîðûå
ñîåäèíåíû ñ âåðøèíîé $x_1$ ðåáðîì íà äâà ïîìíîæåñòâà $V_1\Gamma$ è $V_2\Gamma.$ Ïîñòðîèì íîâûé ãðàô $\Gamma'.$
Âîçüìåì âåðøèíó $x_1$ è íîâóþ âåðøèíó $x_2$ (ãäå $x_2\not\in V\Gamma$) è ñîåäèíèì èõ ðåáðîì. Âñå âåðøèíû èç
$V_1\Gamma$ ñîåäèíèì ñ $x_1,$ à âåðøèíû èç $V_2\Gamma$ ñîåäèíèì ñ $x_2.$ Îñòàëüíûå âåøèíû ñîåäèíèì êàê â èñõîäíîì
ãðàôå $\Gamma.$ Òàêóþ ïðîöåäóðó áóäåì íàçûâàòü êàê ñäåëàòü èç òî÷êè ðåáðî.
\begin{lemma}
Åñëè â ãðàôå $\Gamma$ èç òî÷êè ñäåëàòü ðåáðî, òî ðàçìåðíîñòü èëè ðîñò ñîîòâåòñòâóþùåé àëãåáðû $TL_\Gamma$ íå
óìåíüøàåòñÿ.
\end{lemma}
\begin{proof}
Äëÿ äîêàçàòåëüñòâà äîñòàòî÷íî ðàññìîòðåòü ãðàô $\widetilde D_5,$ ïîëó÷åííûé èç $\widetilde D_4$ ïðèáàâëåíèåì ðåáðà
âìåñòî òî÷êè. Àëãåáðû $TL_{\widetilde D_4,\tau}$ è $TL_{\widetilde D_5,\tau}$ áåñêîíå÷íîìåðíû è èìåþò ëèíåéíûé
ðîñò.
\end{proof}
\section{Îñíîâíàÿ òåîðåìà}
\begin{theorem}
Ïóñòü $\Gamma$ --- ñâÿçíûé íåîðèåíòèðîâàííûé ãðàô, òîãäà
\begin{itemize}
\item[---] àëãåáðà $TL_\Gamma$ êîíå÷íîìåðíàÿ òîãäà è òîëüêî òîãäà, êîãäà ãðàô $\Gamma$ ñîâïàäàåò ñ îäíèì èç ãðàôîâ $A_n,$ $D_n,$ $E_n,$ $B_n,$ $F_n,$ $H_n,$ $\widetilde G_2$ è $l_2(p)$ ($p=5,$ $p\geq 7$);
\item[---] àëãåáðà $TL_\Gamma$ èìååò ëèíåéíûé ðîñò òîãäà è òîëüêî òîãäà, êîãäà ãðàô $\Gamma$ ñîâïàäàåò ñ îäíèì èç ãðàôîâ $\widetilde A_n,$ $\widetilde D_n,$ $\widetilde E_6,$ $\widetilde E_7,$ $\widetilde A_1,$ $\widetilde F_n,$ $\widetilde B_n,$ $\widetilde C_n$ è $l_3(s)$ ($s\geq 6$);
\item[---] àëãåáðà $TL_\Gamma$ èìååò ýêñïîíåíöèàëüíûé ðîñò òîãäà è òîëüêî òîãäà, êîãäà ãðàô $\Gamma$ íå ñîâïàäàåò íè ñ îäíèì èç ãðàôîâ $A_n,$ $D_n,$ $E_n,$ $\widetilde A_n,$ $\widetilde D_n,$ $\widetilde E_6,$ $\widetilde E_7,$ $B_n,$ $F_n,$ $H_n,$ $\widetilde G_2,$ $l_2(p)$ ($p=5,$ $p\geq 7$), $\widetilde A_1,$ $\widetilde F_n,$ $\widetilde B_n,$ $\widetilde C_n$ è $l_3(s)$ ($s\geq 6$).
\end{itemize}
\end{theorem}
\begin{thebibliography}{99}
\bibitem{tl} Temperley H.N.V. and Lieb E.H.{\it Relations between 'percolations' and 'colouring' problems and other graph
theoretical problems associated with regular planar lattices: some exact results for the percolation problem}~//
J. Proc. Roy. Soc. London, Ser. A. --~1971. --~Vol.322. --~P.251--280.
\bibitem{burbaki} Í.Áóðáàêè {\it Ãðóïïû è àëãåáðû Ëè. ×àñòü 2. Ãðóïïû Êîêñòåðà è ñèñòåìû Òèòñà.
Ãðóïïû, ïîðîæäåííûå îòðàæåíèÿìè. Ñèñòåìû êîðíåé}~// Ì.: Ìèð, 1972
\bibitem{jones} V.F.Jones {\it Index for subfactor}~// Invent Math. --~1983. --~Vol.72. --~P.1--15.
\bibitem{greenBD} R.M.Green {\it Cellular Algebras arising from Hecke Algebras of type $H_n$}~//
Mathematische Zeitschrift 229 (1998), 365-383
\bibitem{greenH} R.M.Green {\it Generalized Temperley-Lieb Algebras and Decorated Tangles}~//
Journal of Knot Theory and its Ramifications 7 (1998), 155-171
\bibitem{graham} J.J.Graham {\it Modular representations of Hecke algebras and related algebras}~// Ph.D. thesis, University of Sydney, 1995.
\bibitem{ufn} Â.À.Óôíàðîâñêèé {\it Êîìáèíàòîðíûå è àññèìïòîòè÷åñêèå ìåòîäû â àëãåáðå}~// Ñîâðåìåííûå ïðîáëåìû ìàòåìàòèêè. Ôóíäàìåíòàëüíûå íàïðàâëåíèÿ, --~ò.57, --~ñ.5--177 (1990).
\end{thebibliography}
\end{document}