Komutant jest normalną podgrupą

Pochodzenie:

Lawrence Myers, Normality of the Commutator Subgroup, Math.Magazine 68(1995), 49

g∊G ⋀ c∊ G' ⇒ gcg^-1∊G' ?

Komutant G' grupy G to podgrupa wygenerowana przez wszystkie komutatory, elementy postaci

[a,b]=aba^-1b^-1.

Jedna linijka czyni oczywistym, że sprzężenie elementu z G' należy do tej podgrupy:

gcg^-1 = gcg^-1·(c^-1c) = [g,c]·c ,

bo oba czynniki są w G' .

Nowe koty za płoty, stare do roboty

Olśniło mnie: właśnie tu można będzie wstawiać okruchy matematyki (całe szczęście, że Tichy słowa okruchy nie opatentował), które są zbyt techniczne na mój blog codzienny. Za chwilę położę tu pierwszy okruch.

Kolejność

Najpierw wymyśliłem tytuł tego blog; potem wpadła mi do ręki dwutomowa kobyła napisana przez Domenico de Masi, której motto to dwa cytaty: Le Corbusier chwalący prostą i Oscar Niemeyer sławiący krzywą...

Do Wędrowników i Przechodniów

Droga, nieznana mi Osobo. Jeśli jesteś tu z ciekawości co wypisuję, wiedz, że to jednak nie tu. Założyłem to konto kiedyś, gdy Blox bardziej niż zwykle kością w gardle mi stanął i intensywniej myślałem o przeprowadzce. A ja tak nie znoszę przeprowadzek... Za dużo ich miałem. Więc póki mogę to wytrzymuję na starych śmieciach i może tam zechcesz mnie odwiedzić?
A żeby nie zostawiać Cię w stanie rozczarowania, że niczego ładnego tu nie ma, popatrz na te kwiatki
(przy okazji sprawdzę jaki wymiar obrazka mogę sensownie wstawiać tutaj). Tu bouganville nazywają primavera czyli wiosna i to zabawne, że zimą czyli w sierpniu wiosna jest tak kolorowa...