Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 06. 01. 2014 23:00

MaxDJs
Příspěvky: 144
Škola: FEL ČVUT
Pozice: student
Reputace:   
 

Důkaz, že těleso Zp splňuje axiomy komutativní grupy

Zdravím,

mohl by mi někdo poradit jak dokázat, že těleso $\mathbb{Z}_p$, kde p je prvočíslo splňuje tyto axiomy

1) $\mathbb{Z}_p$ s operací "+" je komutativní grupa. Neutrální prvek je 0.
2) $\mathbb{Z}_p$ s operací "$\cdot$" je komutativní grupa. Neutrální prvek je 1.
3) Operace "+" a "$\cdot$" splňují distributivní zákon: $a\cdot(b+c) = a \cdot b + a \cdot c$

1)
I)
$(x \oplus y) \oplus z   = ((x + y)\ mod\ p) + z\ mod\ p = ((y + x)\ mod\ p) + z\ mod\ p = ..... = x \oplus (y \oplus z)$
nevím jak postupovat dál
II)
$\mathrm{e} \oplus x = x \oplus \mathrm{e} = x$
jak dokázat, že neutrální prvek je 0?
III)
$x \oplus y = y \oplus x = \mathrm{e}$
Jak dokázat inverzní prvek?

2)
II)
$\mathrm{e} \otimes x = x \otimes \mathrm{e} = x$
jak dokázat, že neutrální prvek je 1?
III)
Inverzní prvek je totožný pro sčítání i násobení?

3)
$(x \oplus y) \otimes z = (x + y\ mod\ p) \otimes z\ mod\ p = .... = (x \otimes z) \oplus (y \oplus z)$
Nevím jak postupovat dál


Díky za odpověď

Offline

 

#2 06. 01. 2014 23:35 — Editoval Andrejka3 (06. 01. 2014 23:37)

Andrejka3
Moderátor
Příspěvky: 1994
Škola: PŘF UP Olomouc (2015)
Reputace:   119 
 

Re: Důkaz, že těleso Zp splňuje axiomy komutativní grupy

↑ MaxDJs:
Ahoj, co třeba zkusit dokázat:
$((a+b)\mathrm{mod}\:p+ c)\mathrm{mod}\:p=(a+b+c)\mathrm{mod} \:p$ ?
Tj.
$p\mid (a+b)\mathrm{mod}\:p+ c-(a+b+c)$.
Edit a jaké prvky jste si říkali, že to těleso má?


What does a drowning number theorist say?
'log log log log ...'

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson