Definujte ideál na okruhu R. Koľko prvkov má okruh {: alt="\mathbb{Z}_5[x]/(x^3+2x+3)\mathbb{Z}_5[x]" type="image/"}? Ide o teleso?
Nájdite všetky {: alt="n \in \mathbb{N}" type="image/"} také, že {: alt="\phi(n) = 18" type="image/"} (kde {: alt="\phi" type="image/"} je Eulerova funkcia).
Nájdite všetky generátory multiplikatívnej grupy telesa {: alt="\mathbb{Z}{13}" type="image/"}, teda {: alt="\forall a \in \mathbb{Z}{13}^:<a> = \mathbb{Z}_{13}^" type="image/"}.
Dokážte, že všetky ideály v okruhu {: alt="\mathbb{T}[x]" type="image/"}, kde {: alt="\mathbb{T}" type="image/"} je komutatívne teleso, sú hlavné.
Spočítajte 2 posledné cifry {: alt="87^{85^{83}}" type="image/"}.
Uvažujme aditívnu grupu racionálnych čísel {: alt="(\mathbb{Q},+,-,0)" type="image/"}. Overte, že pre {: alt="p" type="image/"} prvočíslo je množina {: alt="L_p={ m/n; m \in \mathbb{Z}, n \in \mathbb{N}, p \nmid n }" type="image/"} jej podgrupou. Ďalej dokážte, že okrem zobrazenia {: alt="f_0:\mathbb{Q}\rightarrow L_p" type="image/"}, ktoré priraďuje nulu každému racionálnemu číslu, neexistuje iný grupový homomorfizmus z {: alt="\mathbb{Q}" type="image/"} do {: alt="L_p" type="image/"}.
Koľko obsahuje symetrická grupa {: alt="S_5" type="image/"} prvkov rádu 6?
Šaroch 23.1.2020
(?) 125; nejde o teleso, lebo napr. daný polynóm nie je ireducibilný.
Skúšaním 19,38,27,54 - tu trik, že ak fí(n) je nepárne číslo, tak jeho dvojnásobok má rovnaké fí, keďže *2 -> *(2-1)*2^0.
Skúšaním je 2 jeden z generátorov, následne existuje prirodzený homomorfizmus medzi Z13* a Z12+, teda stačí dosadiť 1 v Z12+ -> 2 v Z13* (1 triviálny generátor aditívnej grupy), potom nájsť generátory Z12+ (GCD(a,12) = 1), teda 1,5,7,11 a tie cez homomorfizmus vyrátať v Z13*, teda 2^1,2^5,2^7,2^11 (mod 13), čo je 2,6,11,7.
?
skrz eulerovu vetu ... 7
Na overenie dokázať uzavretosť na +, neutr. prvok, inverzy prvkov. Druhá časť sporom (?).
Permutácia má rád veľkosti rovnej LCM veľkostí jej cyklov. (eg. (123)(4567)(89) má rád veľkosti LCM(3,4,2) = 12), teda rád 6 majú permutácie s cyklami veľkosti 6 (nie sú v S5) a veľkosti 3 a 2. Počet takých cyklov je potom {: alt="{5 \choose 3} * 3! / 3 = 20" type="image/"}, resp. prvky_v_trojcykle * usporiadanie_vrámci_cyklu / rotácie_v_cykle ( (123) = (312) = (231) ).
Za správnosť neručím, no postup by mohol viac-menej sedieť. Keby dačo, nech ma nejaká dobrá duša opraví, prinajlepšom doplní uspokojivé odpovede za otázničky. Zdar! :D
Doplním:
Abychom zdůvodnili, že jiná řešení neexistují, můžeme provést rozbor případů, kdy si zapíšeme {: alt="18 = 2 \cdot 3^2" type="image/"} a uvážíme, že {: alt="n" type="image/"} může být součin nějakých mocnin prvočísla, takže by se mohlo stát třeba {: alt="n = a \cdot b, \phi(n) = \phi(a) \cdot \phi(b) = 2 \cdot 9" type="image/"}, takže by stačilo najít dvě nesoudělná čísla s {: alt="\phi(a) = 2" type="image/"}, {: alt="\phi(b) = 9" type="image/"}. Ukáže se ale, že taková neexistují ({: alt="\phi(n)=9" type="image/"} ani {: alt="\phi(n)=3" type="image/"} nenastane).
viz skripta, Důsledek 10.3
Wolfram souhlasí
{: alt="L_p" type="image/"} jsou zlomky, jejichž jmenovatel není násobek p. Jaká je hodnota {: alt="\phi(\frac{1}{p})" type="image/"}? Protože {: alt="\phi" type="image/"} je homomorfismus, platí pro {: alt="a \in \mathbb{N}" type="image/"}identita {: alt="a \cdot \phi(\frac{1}{ap}) = \phi(\frac{1}{p})" type="image/"} (trochu neformálně, protože násobení "nemám"). Proto pro každé {: alt="k \in \mathbb{N}" type="image/"} platí {: alt="\phi(\frac{1}{p^k}) = \frac{\phi(\frac{1}{p})}{p^{k-1}}" type="image/"}. Když zvolíme dostatečně velké k, je pravá strana zlomek, jehož jmenovatel je násobek p. Aby tohle neznamenalo spor, musí platit {: alt="\phi(\frac{1}{p}) = 0" type="image/"}. Z toho už snadno plyne, že všechny zlomky, jejichž jmenovatel je násobek p, se musí také zobrazit na 0.
Nyní vezmeme {: alt="\phi(\frac{1}{p}) + \phi(\frac{a}{b}) = 0 + \phi(\frac{a}{b}) = \phi(\frac{b+ap}{pb})" type="image/"}, kde jmenovatel b není násobek p. Jmenovatel pravé strany je tedy opět násobek p, takže {: alt="\phi(\frac{a}{b}) = 0" type="image/"}.
Souhlas.