Citat:
Ursprungligen postat av matteyas
Jag har ingen koll på ringar. De är rätt generella vad jag förstått. Har den härledningen du talar om något gemensamt med konstruktionen av heltalen från de naturliga talen samt den definition av multiplikation som vanligen används? Kan ringar användas som ett substitut för den konstruktionen? Förklaringar uppskattas

En ring är egentligen en samling av grupper, närmare bestämt två stycken.
Men för att förklara det enkelt så är en grupp en samling av regler eller utgångspunkter (axiom) som beskriver vad som får och inte får vara en grupp. (ℕ,+) skulle kunna vara en abelsk grupp, för att den skall vara det så måste den uppfylla vissa kriterier med avseende på hur operationen addition fungerar inom just talmängden ℕ.
I grupper, ringar och kroppar så definierar man alltså inte hur själva operationen utförs, det är redan bestämt utan vi tittar på kriterier.
Se mer här:
http://sv.wikipedia.org/wiki/Ring_(matematik)
Och titta specifikt på
(S,+) är en abelsk grupp:
Ersätt mängden S med någon talmängd du tycker passar. Kanske då ℕ. Avgör om gruppen är abelsk. Om så är fallet så kan du gå vidare. Titta sedan på exakt samma mängd av tal fast en annan operation. T.ex. då multiplikation. Det står mer beskrivet i wikin om hur det fungerar.
Då skulle man kunna avgöra om (ℕ,+,·) är en ring. Att förstå själva kriterierna är inte så svårt egentligen, det är bara att läsa som det står beskrivet i wikin.
En kropp är egentligen bara att vi säger att operation (funktion) nummer två, i vårt exempel, multiplikation. Har en inversfunktion för alla element utom identitetselementet för operation 1 (i vårt fall addition).
Vi kan titta på kroppen:(ℝ,+,·)
Är en kropp för att
(ℝ,+,·)
är en ring och för att operationen · har en invers för alla element i ℝ. Vad vi dock inte behöver tänka på är att den skall ha en invers för identitetselementet för operation 1, alltså inversen behöver inte vara definierad för additionsoperationens identitetselement. Vi vet ju att 0 är identitetselementet för addition. Vi vet att multiplikationsfunktionens invers är definierad för alla tal i vår talmängd förutom just identitetselementet för addition, men det är ingen fara. Vi uppfyller kritieriet på kropp ändå.
Utöver detta så vet vi alltså att (ℝ,+) är en abelsk grupp och att (ℝ,·) är en semigrupp. Detta gör det till en ring.
Man kan titta på kroppar och ringar för i princip vilken operation (funktion) som helst. Värt att fundera på kan ju vara att studera följande algebraiska struktur:
(ℝⁿ,+,×)
Där + är vektoraddition och × är kryssprodukt. Är det en ring?
Mvh