\documentclass[10pt]{amsart}
\usepackage[cp1251]{inputenc}
\usepackage[english,russian]{babel}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{graphicx}

\def\udcs{512.54,\,510.53} %Здесь автор определяет УДК своей работы
\def\mscs{20F10} %Здесь автор определяет классификаторы AMS своей работы
\setcounter{page}{144}

\newtheorem{lemma}{Лемма}
\newtheorem{theorem}{Теорема}
\newtheorem{definition}{Определение}
\newtheorem{corollary}{Следствие}
\newtheorem{proposition}{Предложение}
\newtheorem{remark}{Замечание}
\def\logo{{\bf\huge S\raisebox{0.2ex}{\hspace{0.55ex}\raisebox{0.05ex}e\hspace{-1.65ex}$\bigcirc$}MR}}

\def\semrtop
     {
  \vbox{
     \noindent\logo
     \hspace{80mm}\raisebox{1ex}{ISSN 1813-3304 }

     \vspace{5mm}

     \begin{center}
     {\huge СИБИРСКИЕ \ ЭЛЕКТРОННЫЕ} \\[2mm]
     {\huge МАТЕМАТИЧЕСКИЕ ИЗВЕСТИЯ} \\[2mm]
     {\large Siberian Electronic Mathematical Reports} \\[1mm]
     {\LARGE\tt{http://semr.math.nsc.ru}}\\[0.5mm]
%     {\small Институт математики им. С.Л.Соболева СО РАН}\\[-1mm]
%     {\small Sobolev Institute of Mathematics SB RAS}
     \end{center}
     \vspace{-3mm}
     \noindent
     \begin{tabular}{c}
     \hphantom{aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa} \\
     \hline\hline
     \end{tabular}

     \vspace{1mm}
     {\flushleft\it Том 16, стр. 144--144 (2019) \hspace{65mm}{\rm\small УДК \udcs}}
     \newline
     	{\rm\small DOI~10.33048/semi.2019.16.xxx}\hphantom{aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa}{\rm\small MSC\ \ \mscs }
  }%\vbox
}

\begin{document}

\renewcommand{\refname}{References}


\thispagestyle{empty}
\begin{center}
{\bf\Large  Положительные элементы и достаточные условия разрешимости проблемы вхождения в подмоноид нильпотентной группы класса два}

{В.А. РОМАНЬКОВ}

\bigskip
{\bf\Large  Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two}

{V.A. ROMAN'KOV}
\end{center}

\bigskip
\begin{quote}
\noindent
{\sc Аннотация. За последние 20--25 лет обозначилась плодотворная связь между теорией групп и компьютерными науками.  Значительное внимание стало уделяться алгоритмическим проблемам теории групп в виду открывшихся их приложений. Кроме традиционных вопросов разрешимости стали изучаться вопросы сложности и эффективной разрешимости. В данной работе представлен краткий обзор этой области исследований.  Рассматриваются  алгоритмические вопросы связанные с рациональными подмножествами групп -- естественным обобщением регулярных множеств, т.е. формальных языков, имеющих прямое отношение к компьютерным наукам.  Рассмотрена проблема вхождения в конечно порожденные подмоноиды свободных нильпотентных групп, привлекающая внимание ряда исследователей в последние годы.  Показано, как аппарат  подмножеств положительных элементов позволяет получить достаточные условия разрешимости этой проблемы в случае класса нильпотентности два.   Заметим, что автором анонсировано отрицательное решение этой проблемы  для свободной нильпотентной группы класса два достаточно большого ранга (полное доказательство находится в печати). Тем самым дан ответ на известный вопрос Лори-Стейнберга  о существовании конечно порожденной нильпотентной группы с неразрешимой проблемой вхождения в подмоноиды.    В виду этого результата нахождение достаточных условий для разрешимости этой проблемы для нильпотентных групп класса два  является актуальной задачей.}

\medskip
\noindent {\bf Ключевые слова:} нильпотентная группа, проблема вхождения в подмоноид, рациональное множество, положительные элементы, разрешимость.   

\medskip
\noindent{\bf Keywords:} nilpotent group, submonoid membership problem, rational set, positive elements,  solvability.
 \end{quote}

\end{document}