\documentclass[11pt , a4paper]{report}
\usepackage[all]{xy}
\usepackage{amsthm, amssymb, amsmath,amsfonts,fancyhdr,color,xspace,hyperref,latexsym,amscd,tikz}
%\usepackage{amsthm, amssymb, amsmath,amsfonts,fancyhdr,color,xspace,hyperref,latexsym,amscd,tikz} 
%\usepackage{glossaries}
\usepackage[xindy]{glossaries}
\usepackage{fancyhdr}
\pagestyle{fancy}
%\fancyhead{} 
%\fancyhead[L]{\slshape \rightmark}
%\fancyhead[R]{\slshape \leftmark}
\usepackage{graphicx}
\fancyfoot{} 
\fancyfoot[C]{\thepage}
\renewcommand{\headrulewidth}{0.6pt}
\usepackage{tocbibind}
\usepackage{makeidx}
\makeindex
\usepackage{xepersian}
\numberwithin{equation}{section}
\settextfont[Scale=1.2]{Yas} 
\setdigitfont[Scale=1.2]{Yas}
\setlatintextfont{Yas}
\linespread{2}
%\def\e{\eta}
%\def\x{\overline{x}}
%\def\n{\frac{1}{n}}
%\def\a{\alpha}
%\def\t{\theta}
%\def\d{\delta}
%\def\la{\lambda}
%\def\m{\mu}
%\def\o{\Omega}
%\def\p{\partial}
%\def\l{\partial_{L}
\newcommand\persiangloss[2]{#1\dotfill\lr{#2}\\}
\newcommand\englishgloss[2]{#2\dotfill\lr{#1}\\}
\def\addsymbol #1:#2#3{$#1$ \> \parbox{4in}{#2 \dotfill \pageref{#3}}\\} 
\def\symboldisplay#1{\label{#1}} 
\theoremstyle{definition}\newtheorem{de}{تعریف}[section]
\theoremstyle{plain}\newtheorem{thh}[de]{قضیه}
\theoremstyle{plain}\newtheorem{pr}[de]{گزاره}
\theoremstyle{plain}\newtheorem{rem}[de]{نکته}
\theoremstyle{plain}\newtheorem{lee}[de]{لم}
\theoremstyle{plain}\newtheorem{cor}[de]{نتیجه}
\theoremstyle{definition}\newtheorem{exa}[de]{مثال}
\theoremstyle{plain}\newtheorem{qu}[de]{سوال}
%renewcommand\proofname{\textbf{برهان}}
\renewcommand{\bibname}{\textbf{مراجع}}
\pagenumbering{arabic}
\begin{document}
فرض کنید $o_\xi \in \mathcal{T}(A^{n_\xi})$ یک عملگر دلخواه باشد و $\rho_n \in \mathfrak{B}(A^{m_\eta})$ یک رابطه دلخواه تعریف شده روی مجموعه $A$ باشد. آن‌گاه $n_\xi$ و $m_\eta$ را به ترتیب $arity$ از $o_\xi$ و $\rho_\eta$ می‌نامند.\\
تلاش برای انتقال مفهوم کلاسیک گروه به جبرهای $ n $-تایی سال‌ها پیش و توسط نویسندگان زیادی آغاز شد. دو جهت اصلی در انتقال چنین مفهومی وجود دارد. اولی در ارتباط با تعمیم شرکت پذیری و دومی در ارتباط با تعمیم حل پذیری یک معادله است. جبرهای منگر، شرکت پذیری  $ n $-تایی را توجیه می‌کنند. تعمیم حل‌پذیری یک معادله با استفاده از مطالب بخش دوم این فصل توجیه می‌شود.
در نتیجه  $ b=c $ است. حال فرض کنید  $ b_1 $ یکه قطری چپ و $ c_1 $ یکه قطری راست و متمایز از $ b,c $ باشند. بنابر مطلب ثابت شده در خط بالا $ b_1 = c_1 $ است. از طرفی با توجه به آنچه در ابتدا گفتیم حداکثر یک عنصر یکه قطری وجود دارد. پس $ b_1 = c_1 = b = c $ است.\\
\begin{align*}
x[y_1...y_n][z_1...z_n] &= (x \cdot f(y_1,...,y_n)) \cdot f(z_1,...,z_n)\\
&= x \cdot (f(y_1,...,y_n) \cdot f(z_1,...,z_n))\\
&= x \cdot f(y_1\cdot f(z_1,...,z_n) , y_2 \cdot f(z_1,...,z_n),...,y_n\cdot f(z_1,...,z_n))\\
&= x \cdot f(y_1 [z_1...z_n],y_2 [z_1...z_n],...,y_n [z_1...z_n])\\
&= x[y_1 [z_1...z_n] y_2[z_1...z_n]...y_n[z_1...z_n]] ,
\end{align*}
%\documentclass[10pt,a4paper]{article}
%\usepackage[latin1]{inputenc}
%\usepackage{amsmath}
%\usepackage{amsfonts}
%\usepackage{amssymb}
%\begin{document}
\end{document}