Zgodność relacji ze strukturą algebraiczną.
: 15 lis 2022, o 22:50
Zadanie: Relacja równoważności \(\displaystyle{ \sim}\) w zbiorze \(\displaystyle{ A=\{p,q,r\}}\) określona przez rozbicie \(\displaystyle{ A/_\sim=\{\{p,q\},\{r\}\}}\).
Działania \(\displaystyle{ \circ}\) oraz \(\displaystyle{ \ast}\) są określone w \(\displaystyle{ A}\) przez tabelki:
\begin{tabular}{|r|l|}
\hline
\circ & p & q & r\\
\hline
p & r & r & r\\
\hline
q & r & r & r\\
\hline
r & q & p & r\\
\hline
\end{tabular}
\begin{tabular}{|r|l|}
\hline
\ast & p & q & r\\
\hline
p & p & q & r\\
\hline
q & q & q & r\\
\hline
r & r & r & q\\
\hline
\end{tabular}
Sprawdź, że relacja\(\displaystyle{ \sim}\) jest zgodna ze strukturą algebraiczną \(\displaystyle{ (A;\circ,\ast)}\) i utworzyć tabelki działań w strukturze ilorazowej \(\displaystyle{ A/_\sim}\).
Mógłby mi to ktoś wytłumaczyć jak sprawdzić po kolei tę zgodność?
Działania \(\displaystyle{ \circ}\) oraz \(\displaystyle{ \ast}\) są określone w \(\displaystyle{ A}\) przez tabelki:
\begin{tabular}{|r|l|}
\hline
\circ & p & q & r\\
\hline
p & r & r & r\\
\hline
q & r & r & r\\
\hline
r & q & p & r\\
\hline
\end{tabular}
\begin{tabular}{|r|l|}
\hline
\ast & p & q & r\\
\hline
p & p & q & r\\
\hline
q & q & q & r\\
\hline
r & r & r & q\\
\hline
\end{tabular}
Sprawdź, że relacja\(\displaystyle{ \sim}\) jest zgodna ze strukturą algebraiczną \(\displaystyle{ (A;\circ,\ast)}\) i utworzyć tabelki działań w strukturze ilorazowej \(\displaystyle{ A/_\sim}\).
Mógłby mi to ktoś wytłumaczyć jak sprawdzić po kolei tę zgodność?