Springen naar inhoud

Schrappingwet en groep


  • Log in om te kunnen reageren

#1

Box

    Box


  • >25 berichten
  • 100 berichten
  • Ervaren gebruiker

Geplaatst op 12 november 2009 - 20:44

Uit (V,o) is een groep volgt dat voor deze verzameling en de erop gedefinieerde bewerking de schrappingswetten gelden.

Als de schrappingswetten gelden voor een bepaalde verzameling en bewerking, volgt daar dan uit die structuur een groep is?

Ik denk van niet: tegenvoorbeeld: Stel V={2^n | n is een natuurlijk getal en niet nul}
(V,*) is geen groep, 't is een semigroep, en de schrappingswetten gelden...

Klopt m'n tegenvoorbeeld?
Das ist nicht einmal falsch. - Wolfgang Pauli

Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.

#2

Phys

    Phys


  • >5k berichten
  • 7556 berichten
  • VIP

Geplaatst op 12 november 2009 - 21:07

Je zegt niet wat * is, waarschijnlijk de standaard vermenigvuldiging van natuurlijke getallen? Inderdaad is dit een tegenvoorbeeld. Er zijn ontzettend veel tegenvoorbeelden te geven.

De (omgekeerde) bewering "Als de schrappingswetten gelden voor een bepaalde verzameling en bewerking, volgt dat die structuur een groep is" kan ook haast net waar zijn als je je het volgende bedenkt:
Een groep is een verzameling met een bewerking die aan drie eigenschappen voldoet (associativiteit, ieder element heeft inverse, er is een neutraal element). Om de 'schrappingswetten' te bewijzen gebruik je niet al die eigenschappen, dus de 'schrappingswet' kan geen karakterisatie voor een groep zijn.
Never express yourself more clearly than you think.
- Niels Bohr -

#3

Box

    Box


  • >25 berichten
  • 100 berichten
  • Ervaren gebruiker

Geplaatst op 12 november 2009 - 21:13

Ik dacht dat je wel al die eigenschappen nodig had:

a*b=a*c => a^-1 * (a * b) =a^-1 * (a* c) (inverse bestaat) => (a^-1 * a) * b =(a^-1 * a)* c (associativiteit) => e * b = e * c (eenheidselement) => b = c

Dat zijn ze toch? O, ja en * is een binaire bewerking...
Das ist nicht einmal falsch. - Wolfgang Pauli

#4

Box

    Box


  • >25 berichten
  • 100 berichten
  • Ervaren gebruiker

Geplaatst op 17 november 2009 - 19:50

* is een binaire bewerking
a*b=a*c => a^-1 * (a * b) =a^-1 * (a* c) (inverse bestaat) => (a^-1 * a) * b =(a^-1 * a)* c (associativiteit) => e * b = e * c (eenheidselement) => b = c


Mocht ik mij niet klaar hebben uitgedrukt:

hierboven bewees ik dat als (V,*) een groep is, dat dan de schrappingswet geldt. Ik gebruikte hierbij de volledige set eigenschappen van een groep. Geldt deze eigenschap dan ook omgekeerd? Omgekeerd kunt ge toch niet zeker zijn dat al deze eigenschappen gelden, als de schrappingswet geldt? Is mijn bovenstaand tegenvoorbeeld DAAR een goed voorbeeld van?

Groeten Box
Das ist nicht einmal falsch. - Wolfgang Pauli





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures