Citat:
Ursprungligen postat av spudwish
En till favorit i repris. Har gått igenom dbshw:s svar igen men förstår inte.
Prop: An integral domain has characteristic 0 or p, for some prime number p.
Proof: [D integral domain, define f:Z->D as f(n)=n*1. f homomorphism. Z/ker(f) ~= f(Z)] Since f(Z) inherits the property that D has no nontrivial divisors of zero (b), this shows that Z/ker(f) must be an integral domain (c). Thus either ker(f) = 0 [{0}, antar jag de menar], in which case char(D) = 0, or ker(f) = nZ for some positive number n (d). Then Z/ker(f) ~= Z_n, and Cor (1) implies that n is prime, so in this case char(D) is a prime number.
[Cor (1): On the modulus n>0 these are equiv: i) n prime, ii) only divisor of Z_n is [0]_n, iii) every nonzero element of Z_n has a multipl. inverse]
a) Vad "är" Z/ker(f) ?
Jag förstår inte riktigt frågan.
Citat:
Ursprungligen postat av spudwish
b) no nontrivial divisors = inga icke-triviala delare = inga nollskilda delare = endast noll som delare. Finns väl inget som har 0 som delare?
Jo 0 har 0 som delare. I och för sig har också noll allting som delare, så om menar inte att det inte finns nollskilda delare till 0, för det finns det. Det dom menar här är helt enkelt definitionen av ett integralt område, att det inte går att skriva 0 = ab med a och b
båda nollskilda.
Citat:
Ursprungligen postat av spudwish
d) Varför måste det vara nån av de där båda?
Poängen är väl att vi vet exakt vad alla möjliga ringar på formen Z/ker(f) är, dessa är nämligen endast Z, Z_n för n heltal. Vi har alltså två fall
a) Z/ker(f) = Z, eller
b) Z/ker(f) = Z_n för något n.
I fall a) så vet vi att ker(f) = 0. I fall b) så vet vi att ker(f) = nZ.
I fall a) så finns det inget nollskilt m så att f(m) = 0, dvs det finns inget nollskilt m så att 1 + 1 + ... + 1 (m gånger) = 0. Därför är karakteristiken hos ringen 0.
I fall b) så betyder det att det minsta positiva m så att 1 + 1 + ... + 1(m gånger) = 0 är m = n. Detta betyder att karakteristiken är n.
[quote=spudwish]c) Varför visar det det?
Forts. Det är nu vi behöver veta att Z/ker(f) är ett integralt område. För enligt Cor (1) vet vi att Z_n är ett integralt område omm n är ett primtal. Eftersom Z/ker(f) = Z_n ska vara ett primtal, så måste n vara ett primtal. Men karakteristiken är just n, så karakteristiken är ett primtal.