\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{english}
\setotherlanguage{hebrew}
%%\setmainfont[Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



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

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

{\Large Department of Mathematics, BGU}

\vspace*{\baselineskip}

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

{\Huge Colloquium}\\[0.2\baselineskip]

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

\textbf{On} \emph{Tuesday, November 15, 2022}
\bigskip

\textbf{At} \emph{14:30 -- 15:30}
\bigskip

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

\vspace*{2\baselineskip}

{\large\scshape Yatir Halevi 
  %
  (Haifa University)
}
\bigskip

will talk about
\bigskip

{\Large\bfseries Definably semisimple groups interpretable in p-adically closed fields (Joint work with Assaf Hasson and Ya'acov Peterzil)\par}
\bigskip

\end{center}
\vfill

\textsc{Abstract:}
Identifying and characterizing the groups and fields one can define in various first order structures has had multiple applications within model theory and in other branches of mathematics.  We focus here on p-adically closed fields.
Let K be a p-adically closed field (for example, Q\_p). We will discuss some recent results regarding interpretable groups and interpretable fields in K:

1) Let G be an interpretable group. If G is definably semisimple (i.e.
G has no definable infinite normal abelian subgroups) group, then there exists a finite normal subgroup H such that G/H is definably isomorphic to a K-linear group.

2) Let F be an interpretable field. Then F is definably isomorphic to a finite extension of K.

No knowledge in model theory will be assumed, but some basic knowledge in logic will help.








% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
