28206: Difference between revisions

Latest revision as of 11:01, 3 January 2025

28206 (Dana Heuberger)

Fie $\left(G,\cdot \right)$ un grup cu elementul neutru $e$ care conține subgrupurile proprii, distincte, finite $H_{1}$ , $H_{2}$ și $H_{3}$ , astfel încât pentru orice permutare $\sigma \in S_{3}$ și orice $a\in H_{\sigma \left(1\right)}\setminus \left\{e\right\}$ , $b\in H_{\sigma \left(2\right)}\setminus \left\{e\right\}$ , rezultă că $ab\in H_{\sigma \left(3\right)}$ .

Arătați că subgrupurile $H_{1}$ , $H_{2}$ și $H_{3}$ au același număr de elemente.
Dacă $G=H_{1}\cup H_{2}\cup H_{3}$ , arătați că grupul $G$ este de tip Klein.

Soluție.

a) Pentru orice subgrup $H$ a lui $G$ , notăm $H^{\ast }=H\setminus \left\{e\right\}$ .

Arătăm mai întâi că $H_{1}\cap H_{2}\cap H_{3}=\left\{e\right\}$ .

Presupunem că există $a\in H_{1}\cap H_{2}\cap H_{3}$ , cu $a\neq e$ . Din ipoteză, rezultă că $H_{1}^{\ast }\cdot H_{2}^{\ast }\subset H_{3}$ , deci $H_{1}^{\ast }\cdot H_{2}^{\ast }\cdot H_{3}^{\ast }\subset H_{3}\cdot H_{3}^{\ast }=H_{3}$ . Cum $a\in H_{2}^{\ast }$ și $a^{-1}\in H_{3}^{\ast }$ , rezută că $e=a\cdot a^{-1}\in H_{2}^{\ast }\cdot H_{3}^{\ast }$ , deci $H_{1}^{\ast }\subset H_{1}^{\ast }\cdot H_{2}^{\ast }\cdot H_{3}^{\ast }\subset H_{3}$ , așadar $H_{1}^{\ast }\subset H_{3}$ , adică $H_{1}\subset H_{3}$ . În mod analog, se arată că $H_{3}\subset H_{1}$ . Rezultă că $H_{1}=H_{3}$ , ceea ce contrazice ipoteza. În consecință, $H_{1}\cap H_{2}\cap H_{3}=\left\{e\right\}$ .

Arătăm, mai departe, că $H_{1}\cap H_{2}=H_{2}\cap H_{3}=H_{1}\cap H_{3}=\left\{e\right\}$ .

Presupunem că există $a\in H_{1}\cap H_{2}$ , cu $a\neq e$ . Dacă $H_{1}$ are cel puțin trei elemente, alegem $x\in H_{1}\setminus \left\{e,a\right\}$ . Cum $xa^{-1}\in H_{1}^{\ast }$ și $a\in H_{2}^{\ast }$ , rezultă că $xa^{-1}a=x\in H_{3}$ , deci $H_{1}\setminus \left\{e,a\right\}\subset H_{3}$ , așadar $H_{1}\setminus \left\{a\right\}\subset H_{3}$ . Subgrupul $\langle H_{1}\setminus \{a\}\rangle$ generat de $H_{1}\setminus \{a\}$ este un grup al lui $H_{1}$ . Deoarece ordinul lui $\langle H_{1}\setminus \{a\}\rangle$ este cel puțin $2$ și trebuie să dividă ordinul lui $H_{1}$ , rezultă că $\langle H_{1}\setminus \{a\}\rangle =H_{1}$ . Cum $H_{3}$ este subgrup al lui $G$ , iar $H_{1}\setminus \left\{a\right\}\subset H_{3}$ , rezultă că și $\langle H_{1}\setminus \{a\}\rangle =H_{1}$ este inclus în $H_{3}$ , deci $a\in H_{1}\cap H_{2}\cap H_{3}=\left\{e\right\}$ , fals. Așadar, $H_{1}$ nu poate avea cel puțin trei elemente. Dacă $H_{1}=\{e,a\}$ , atunci $H_{2}$ are cel puțin trei elemente, pentru că $H_{2}\neq H_{1}$ , și, ca mai înainte, rezultă că $H_{2}\subset H_{3}$ , așadar $a\in H_{1}\cap H_{2}\cap H_{3}=\left\{e\right\}$ , fals. În consecință, $H_{1}\cap H_{2}=\{e\}$ . La fel se arată că $H_{2}\cap H_{3}=H_{1}\cap H_{3}=\left\{e\right\}$ . Fie $|H_{1}|=m$ , $|H_{2}|=n$ , $|H_{3}|=p$ , cu $H_{1}=\{a_{1},a_{2},\ldots ,a_{m}\}$ , $H_{2}=\{b_{1},b_{2},\ldots ,b_{n}\}$ și $H_{3}=\{c_{1},c_{2},\ldots ,c_{p}\}$ . Cum elementele distincte $a_{1}b_{1},a_{2}b_{1},\ldots ,a_{m}b_{1}$ aparțin mulțimii $H_{1}^{\ast }$ , rezultă că $p\leq m$ , deci $m=p$ . Analog se arată că $m=n$ , deci $m=n=p$ . Așadar, $|H_{1}|=|H_{2}|=|H_{3}|=n+1$ .

b) Fie $i,j\in \{1,2,\ldots ,n\}$ și $a_{i},a_{j}\in H_{1}^{\ast }$ .

Atunci $H_{3}^{\ast }=\left\{a_{i}b_{1},a_{i}b_{2},\ldots ,a_{i}b_{n}\}=\{a_{j}^{-1}b_{1},a_{j}^{-1}b_{2},\ldots ,a_{j}^{-1}b_{n}\right\}$ , așadar există $s,t\in \{1,2,\ldots ,n\}$ pentru care $a_{i}b_{s}=a_{j}^{-1}b_{t}$ , deci Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_ja_i = b_tb_s^{-1} \in H_2} . Dar Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_1 \cap H_2 = \{e\}} , astfel că pentru orice Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i,j \in \{1,2,\ldots,n\}} avem $a_{j}a_{i}=e$ . În consecință, subgrupurile Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_1} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_2} și Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_3} pot avea câte două sau câte trei elemente. Dacă Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |H_1| = |H_2| = |H_3| = 3 } , atunci Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G = H_1 \cup H_2 \cup H_3} are șapte elemente, iar Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle | H_1 | } nu divide Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle . | G | } , contradicție. Așadar, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_1 = \{e,a\}} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_2 = \{e,b\}} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H_3 = \{e,c\}} , cu Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a^2 = b^2 = c^2 = e} , deci grupul Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G = \{e,a,b,c\}} este de tip Klein.

Revision as of 10:59, 3 January 2025 view source Andrei.Horvat (talk \| contribs) 700 edits No edit summary Tag: Visual edit ← Older edit		Latest revision as of 11:01, 3 January 2025 view source Andrei.Horvat (talk \| contribs) 700 edits No edit summary
Line 21:		Line 21:
	b) Fie <math> i,j \in \{1,2,\ldots,n\}</math> și <math>a_i, a_j \in H_1^\ast</math>.		b) Fie <math> i,j \in \{1,2,\ldots,n\}</math> și <math>a_i, a_j \in H_1^\ast</math>.

	Atunci <math>H_3^\ast = \{ ~~a_ib_1~~, ~~a_b_2~~, \ldots, a_ib_n \} = \{ a_j^{-1}b_1, a_j^{-1}b_2, \ldots , a_j^{-1}b_n \}</math>, așadar există <math>s,t \in \{1,2, \ldots, n\}</math> pentru care <math>a_ib_s = a_j^{-1}b_t</math>, deci <math>a_ja_i = b_tb_s^{-1} \in H_2</math>. Dar <math>H_1 \cap H_2 = \{e\}</math>, astfel că pentru orice <math> i,j \in \{1,2,\ldots,n\}</math> avem <math>a_ja_i = e</math>. În consecință, subgrupurile <math>H_1</math>, <math>H_2</math> și <math>H_3</math> pot avea câte două sau câte trei elemente. Dacă <math> \|H_1\| = \|H_2\| = \|H_3\| = 3 </math>, atunci <math>G = H_1 \cup H_2 \cup H_3</math> are șapte elemente, iar <math>\| H_1 \| </math> nu divide <math>. \| G \| </math>, contradicție. Așadar, <math>H_1 = \{e,a\}</math>, <math>H_2 = \{e,b\}</math>, <math>H_3 = \{e,c\}</math>, cu <math>a^2 = b^2 = c^2 = e</math>, deci grupul <math> G = \{e,a,b,c\}</math> este de [[wikipedia:Klein_four-group\|tip Klein]].		Atunci <math>H_3^\ast = \left\{ a_i b_1, a_ib_2, \ldots, a_ib_n \} = \{ a_j^{-1}b_1, a_j^{-1}b_2, \ldots , a_j^{-1}b_n \right\}</math>, așadar există <math>s,t \in \{1,2, \ldots, n\}</math> pentru care <math>a_ib_s = a_j^{-1}b_t</math>, deci <math>a_ja_i = b_tb_s^{-1} \in H_2</math>. Dar <math>H_1 \cap H_2 = \{e\}</math>, astfel că pentru orice <math> i,j \in \{1,2,\ldots,n\}</math> avem <math>a_ja_i = e</math>. În consecință, subgrupurile <math>H_1</math>, <math>H_2</math> și <math>H_3</math> pot avea câte două sau câte trei elemente. Dacă <math> \|H_1\| = \|H_2\| = \|H_3\| = 3 </math>, atunci <math>G = H_1 \cup H_2 \cup H_3</math> are șapte elemente, iar <math>\| H_1 \| </math> nu divide <math>. \| G \| </math>, contradicție. Așadar, <math>H_1 = \{e,a\}</math>, <math>H_2 = \{e,b\}</math>, <math>H_3 = \{e,c\}</math>, cu <math>a^2 = b^2 = c^2 = e</math>, deci grupul <math> G = \{e,a,b,c\}</math> este de [[wikipedia:Klein_four-group\|tip Klein]].