\documentclass[oneside,final,12pt]{book}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{hebrew}
\setotherlanguage{english}
%%\setmainfont[Script=Hebrew,Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

%%\newfontfamily{\hebrewfonttt}{Libertinus Serif}
\newfontfamily{\hebrewfonttt}{Liberation Serif}
\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}

\begin{center}
\vspace*{\baselineskip}

{\Large המחלקה למתמטיקה, בן-גוריון}

\vspace*{\baselineskip}

\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt}
\rule{\textwidth}{0.4pt}\\[\baselineskip]

{\Huge לוגיקה, תורת הקבוצות וטופולוגיה}\\[0.2\baselineskip]

\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt}
\rule{\textwidth}{1.6pt}\\[\baselineskip]

\textbf{ב}\emph{יום שלישי, 12 בדצמבר, 2017}
\bigskip

\textbf{בשעה} \emph{12:15 -- 13:30}
\bigskip

\textbf{ב}\emph{Math -101}

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries Hindman`s finite sums theorem and its application to topologization of algebras\par}
\bigskip

תינתן על-ידי
\bigskip

{\large\scshape Denis Saveliev 
  %
  (Moscow, Russia)
}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  In the first part of the talk I briefly outline Hindman`s finite sums theorem, a famous Ramsey-theoretic result in algebra, its precursors and some generalizations, and the algebra of ultrafilters, a powerful technique providing a tool for getting similar results in combinatorics, algebra, and dynamics, see {[}1{]}. In the second (main) part I apply a multidimensional generalization of Hindman`s theorem (proved by Hindman and Bergelson) to show topologizability of certain algebras.

The topologization problem for groups and rings was first posed by Markov Jr. and then studied by various authors. I consider universal algebras consisting of an Abelian group and a family of additional operation (of arbitrary arity) distributive w.r.t. the group addition. Such algebras are called here polyrings; their instances include rings, modules, algebras over a field, differential rings, etc. Given a polyring \$K\$, a closed subbasis of the Zariski topology on the Cartesian product \$K\^{}n\$ consists of finite unions of sets of roots of equations \$t(x\_1,\textbackslash{}ldots,x\_n)=0\$ for all terms \$t\$ in \$n\$ variables.

The main theorem (a proof of which I plan to sketch) states that, for every infinite polyring \$K\$ and every \$n\textgreater{}0\$, sets definable by terms in \$\textless{}n\$ variables are nowhere dense in the space \$K\^{}n\$. In particular, \$K\^{}n\$ is nowhere dense in \$K\^{}\{n+1\}\$. A fortiori, all the spaces \$K\^{}n\$ are non-discrete (this fact was earlier stated by Arnautov for \$K\$ a ring and \$n=1\$). For more details, see {[}2{]}.

References
{[}1{]}   N. Hindman, D. Strauss, Algebra in the Stone-Cech compactification: Theory and applications, W. de Gruyter, 2nd ed., 2012.
{[}2{]}   D. I. Saveliev, On Zariski topologies on polyrings, Russian Math. Surveys, 72:4 (2017), in press.
  


\vfill





% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
