%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass[12pt,a4paper,oneside]{amsart}
\usepackage[a4paper]{geometry}
\geometry{hmargin=1.8cm,top=2cm,bottom=2.5cm}

\usepackage{mathptmx} % Times font
%\DeclareMathAlphabet{\mathcal}{OMS}{cmsy}{m}{n} % but do not change mathcal symbols

\setlength{\parindent}{0pt}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}

\title{
Exam for ``Algebraic Structures'' (6ALGS) 
\\ 
summer semester 2023/2024
}

\maketitle

\thispagestyle{empty}

\section*{Questions set no. 1}

\vskip 20pt

\textbf{1.} 

\textbf{1.1}. 
Define normal subgroup of a group. Is each subgroup normal?


\textbf{1.2}. 
Define group homomorphism, and its kernel and image. Illustrate these notions by
examples.

\textbf{1.3}.
What is the relationship between the kernel of a group homomorphism, and a
normal subgroup? Formulate the corresponding theorem and prove it.


\vskip 20pt 

\textbf{2.}

Find two finite groups of the same order that are not isomorphic. Show that they
are not isomorphic. What is the smallest number $n$ such that there exist two 
non-isomorphic groups of order $n$?

\vskip 20pt

\textbf{3.}

Recall that the center $Z(R)$ of a ring $R$ is defined as the set of all 
elements $z \in R$ which commute with any other element $x \in R$: $xz = zx$. 
Prove that if $x^2 - x \in Z(R)$ holds for every $x \in R$, then $R$ is 
commutative.


\end{document}
