Mathematik: pq-Gruppen
Released by matroid on Di. 29. Juni 2004 11:07:43 [Statistics]
Written by Martin_Infinite - 10053 x read [Outline] Printable version Printer-friendly version -  Choose language   
Mathematik

\(\begingroup\)
Bild

 
fed-Code einblenden



fed-Code einblenden

fed-Code einblenden

fed-Code einblenden

fed-Code einblenden

Damit ist die Klassifikation abgeschlossen.

Bild

fed-Code einblenden


fed-Code einblenden

p=2, q=3, r = 2qp=2, q=5, r = 4qp=2, q=7, r = 6q
p=3, q=7, r = 2qp=3, q=13, r = 3qp=5, q=11, r = 3q



p = 7, q = 43, r = 4q





Dabei wurde die Struktur durch die Bijektion

{0,...,p−1} x {0,...,q−1} -> {0,...,pq−1} , (i,j) -> i + jp

auf {0,...,pq−1} übertragen. Der Eintrag in der (i + 1)-ten Zeile und (j + 1)-ten Spalte ist i + j, nicht andersrum. Die Colorierung der Zahlen erfolgte im HSB-System. Dabei durchläuft H bei jeder Tafel eine arithmetische Folge, wogegen S=B=100 konstant ist.

In Derive erhält man die zugehörigen Zahlentafeln jeweils mit dem Befehl

VECTOR(VECTOR(MOD(n+m,p)+p MOD(r^MOD(m, p)
FLOOR(n/p)+FLOOR(m/p),q),m,0,pq-1),n,0,pq-1)


Für p = 5, q = 11, r = 3 sieht das etwa so aus:

Bild

Vergrößerung




Beweisgedanken und viele Anregungen, insb. zum Teil 2b - Buri
Literatur: M. Hall, Jr., The theory of groups, Chelsea Publ. Co., 1959, 1976

Ausarbeitung, Präsentation, Gruppentafeln - Martin_Infinite
Weitere Helfer Matheplaneten - Sastra, Fabi, Zaos

0 HIER die pdf-Version dieses Artikels.
1 Siehe HIER.
\(\endgroup\)
Get link to this article Get link to this article  Printable version Printer-friendly version -  Choose language     Kommentare zeigen Comments  
pdfFür diesen Artikel gibt es keine pdf-Datei


Arbeitsgruppe Alexandria Dieser Artikel ist im Verzeichnis der Arbeitsgruppe Alexandria eingetragen:
: Algebra :: Gruppentheorie :: Interessierte Studenten :: Primzahlen :: Reine Mathematik :: Mathematik :
pq-Gruppen [von Martin_Infinite]  
Vollstänige Klassifizierung der endlichen Gruppen der Ordnung pq mit Primzahlen p und q.
[Die Arbeitsgruppe Alexandria katalogisiert die Artikel auf dem Matheplaneten]

 
 
Aufrufzähler 10053
 
Aufrufstatistik des Artikels
Insgesamt 846 externe Seitenaufrufe zwischen 2012.01 und 2021.05 [Anzeigen]
DomainAnzahlProz
https://google.com617.2%7.2 %
https://matheplanet.com111.3%1.3 %
https://www.bing.com91.1%1.1 %
https://duckduckgo.com80.9%0.9 %
https://google.de11813.9%13.9 %
https://www.startpage.com10.1%0.1 %
https://www.ecosia.org60.7%0.7 %
http://google.de50659.8%59.8 %
http://google.nl465.4%5.4 %
http://google.se253%3 %
http://gruppentheorie.de161.9%1.9 %
http://google.com121.4%1.4 %
http://www.ecosia.org40.5%0.5 %
http://de.search.yahoo.com60.7%0.7 %
http://google.ch30.4%0.4 %
http://www.bing.com80.9%0.9 %
http://nortonsafe.search.ask.com10.1%0.1 %
https://www.qwant.com10.1%0.1 %
http://search.yahoo.co.jp10.1%0.1 %
http://www.benefind.de20.2%0.2 %
http://de.yhs4.search.yahoo.com10.1%0.1 %

Aufrufer der letzten 5 Tage im Einzelnen
Insgesamt 49 Aufrufe in den letzten 5 Tagen. [Anzeigen]
DatumAufrufer-URL
2021.05.08-2021.05.18 (23x)https://google.com/
2021.05.12-2021.05.18 (8x)https://google.com
2021.05.17-2021.05.18 (4x)viewtopic.php?topic=202017
2021.05.17-2021.05.18 (2x)https://www.bing.com/
2021.05.17-2021.05.18 (4x)viewtopic.php?topic=101496
2021.05.17 18:19-20:14 (2x)https://duckduckgo.com/
2021.05.13-2021.05.17 (3x)https://google.de
2021.05.16 18:12https://www.startpage.com/
2021.05.15 12:47https://www.ecosia.org
2021.05.14 13:49viewtopic.php?topic=66916

Häufige Aufrufer in früheren Monaten
Insgesamt 752 häufige Aufrufer [Anzeigen]
DatumAufrufer-URL
2012-2018 (169x)http://google.de/url?sa=t&rct=j&q=
201311-11 (95x)http://google.de/url?sa=t&rct=j&q=es gibt nur eine gruppe der ordnung pq mit ...
2020-2021 (69x)https://google.de/
201212-12 (46x)http://google.nl/imgres?tbo=d&authuser=0&biw=1280&bih=675&tbm=isch&tbnid=L8pN...
2020-2021 (45x)https://google.de
201201-01 (41x)http://google.de/url?sa=t&rct=j&q=p,q primzahlen p 1 mod(p) g gruppe
2020-2021 (30x)https://google.com/
201411-11 (25x)http://google.se/url?sa=t&rct=j&q=
201305-05 (24x)http://google.de/url?sa=t&rct=j&q=|g|= pq primzahlen g ist nicht einfach
201401-01 (24x)http://google.de/url?sa=t&rct=j&q=pq prim ordnung pq g einfach
201211-11 (18x)http://google.de/url?sa=t&rct=j&q=p
201302-02 (17x)http://google.de/url?sa=t&rct=j&q=p q prim p q-1 g einfach
201202-02 (17x)http://google.de/url?sa=t&rct=j&q=|g| = pg p teilt nicht q-1 einfach
201207-07 (16x)http://google.de/url?sa=t&rct=j&q=gruppe der ordnung p^2*q ist abelsch
2012-2020 (16x)http://gruppentheorie.de/
201301-01 (15x)http://google.de/url?sa=t&rct=j&q=p/q ist abelsche gruppe
201205-05 (13x)http://google.de/url?sa=t&rct=j&q=semidirektes produkt primzahlordnung
201303-03 (9x)http://google.de/url?sa=t&rct=j&q=ggT(p,q)>1 dann nicht isomorph
201206-06 (8x)http://google.de/url?sa=t&rct=j&q=gruppen der ordnung pq
201210-10 (7x)http://google.de/url?sa=t&rct=j&q=p,q primzahlen mit p teilt nicht q-1 dann i...
2020-2021 (6x)https://www.bing.com/
2020-2021 (5x)https://www.ecosia.org/
201511-11 (5x)http://google.de/url?sa=t&rct=j&q=pq gruppe zyklisch
201804-06 (4x)http://google.com/
201705-05 (4x)http://google.de/
201601-01 (4x)http://google.de/url?sa=t&rct=j&q=pq -formel mathe
202005-10 (4x)https://duckduckgo.com
201208-08 (4x)http://google.de/url?sa=t&rct=j&q=gruppe der ordnung pq
2016-2019 (4x)http://google.com/search?q=Gruppen der Ordnung pq
201311-11 (4x)http://www.ecosia.org/search?q=Gruppe G Ordnung p^2 G ist abelsch&start=10
201306-06 (4x)http://google.de/url?sa=t&rct=j&q=ordnung pq^2

[Top of page]

"Mathematik: pq-Gruppen" | 3 Comments
The authors of the comments are responsible for the content.

Re: pq-Gruppen
von: Martin_Infinite am: So. 28. November 2004 23:56:51
\(\begingroup\)
Wogegen die obigen Gruppentafeln noch in Notepad mittels Suchen&Ersetzen entstanden sind, kann man sie jetzt 1000 mal so schnell automatisch generieren lassen:

[Link entfernt.]\(\endgroup\)
 

Re: pq-Gruppen
von: Martin_Infinite am: Do. 17. Juli 2014 09:30:55
\(\begingroup\)
Hier mal ein Update (der Beweis im Artikel ist umständlich).

Sei <math>p<q</math> und <math>p \mid q-1</math>. Dann hat <math>\mathrm{Aut}(\mathds{Z}/q) \cong (\mathds{Z}/q)^* \cong \mathds{Z}/(q-1) </math> ein Element <math>r</math> der Ordnung <math>p</math>. Das liefert eine Wirkung von <math>\mathds{Z}/p</math> auf <math>\mathds{Z}/q</math> und damit ein semidirektes Produkt <math>\Gamma_r = \mathds{Z}/q \rtimes_r \mathds{Z}/p</math>, eine nicht-abelsche Gruppe der Ordnung <math>pq</math>. Sie lässt sich durch Erzeuger und Relationen als <math>\Gamma_r = \langle x,y : x^p = y^q = 1, x y x^{-1} = y^r \rangle</math> beschreiben. Es besteht also die universelle Eigenschaft

<math>\hom(\Gamma_r,G) \cong \{a,b \in G : a^p=b^q=1, a b a^{-1} = b^r\}</math>.

Diese Gruppe hängt bis auf Isomorphie nicht von <math>r</math> ab: Ist <math>r" \in (\mathds{Z}/q)^*</math> ein weiteres Element der Ordnung <math>p</math>, so gibt es (weil <math>(\mathds{Z}/q)^*</math> zyklisch ist) ein <math>k \in \mathds{Z}</math> mit <math>r" = r^k</math>. Aus <math>x^p=y^q=1</math>, <math>x y x^{-1} = y^r</math>  folgt <math>(x^k)^p = y^q=1</math>, <math>x^k y (x^k)^{-1} = y^{r^k}=y^{r"}</math>. Also definiert <math>x \mapsto x^k</math>, <math>y \mapsto y</math> nach der universellen Eigenschaft einen Homomorphismus <math>\Gamma_r \to \Gamma_{r"}</math>. Indem wir die Rollen von <math>r,r"</math> vertauschen, erhalten wir einen inversen Homomorphismus. Daher ist <math>\Gamma_r \cong \Gamma_{r"}</math>.

Nun sei <math>G</math> eine nicht-abelsche Gruppe der Ordnung <math>pq</math>. Wähle eine <math>p</math>-Sylowgruppe <math>\langle x \rangle</math> und eine <math>q</math>-Sylowgruppe <math>\langle y \rangle</math>; letztere ist nach den Sylowsätzen ein Normalteiler. Wir können daher <math>x y x^{-1} = y^r</math> für ein <math>r \in (\mathds{Z}/q)^*</math> schreiben. Für <math>k \in \mathds{Z}</math> ist <math>x^k y x^{-k} = y^{r^k}</math> genau dann <math>=y</math>, wenn <math>x^k</math> mit <math>y</math> kommutiert, was nur für <math>x^k=1</math> d.h. <math>p|k</math> der Fall ist. Daher hat <math>r</math> die Ordnung <math>p</math>, und wir bekommen nach der universellen Eigenschaft einen surjektiven Homomorphismus <math>\Gamma_r \to G</math>, der aus Ordnungsgründen schon injektiv ist. Also ist <math>G \cong \Gamma_r</math>.
 
Eine vollständige Klassifikation müsste übrigens auch noch die Automorphismengruppe von <math>\Gamma_r</math> beinhalten - vielleicht kann das noch jemand ergänzen.\(\endgroup\)
 

Re: pq-Gruppen
von: Red_ am: Sa. 07. Januar 2017 02:03:21
\(\begingroup\)
Hi,
auch wenn der Artikel schon lange her ist, habe ich paar andere Ansätze:
1.Fall <math>|G|=p^2</math>:
Da <math>G</math> eine <math>p</math>-Gruppe ist, folgt, dass das Zentrum <math>Z(G)</math> durch <math>p</math> teilbar ist (Klassengleichung). Also <math>Z(G)=p^2</math> oder <math>Z(G)=p</math> (Satz von Lagrange), aber im letzten Fall folgt, dass <math>G/Z(G)</math> zyklisch ist, demnach ist <math>G</math> abelsch, Widerspruch. Also haben wir insgesamt, dass <math>G</math> abelsch ist. Nach dem Hauptsatz für endlich-erzeugte abelsche Gruppen ist <math>G\simeq \mathbb{Z}/p^2\mathbb{Z}</math> oder <math>G\simeq \mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/p\mathbb{Z}</math> und diese beiden Gruppen sind nicht isomorph zueinander, denn sonst folgt mit dem chinesischen Restsatz <math>ggT(p,p)=1</math>, Widerspruch.
2.Fall <math>|G|=p\cdot q</math> mit <math>p<q</math>.
Wie oben folgt <math>Z(G)=pq</math> oder <math>Z(G)=1</math>.
Nun kann man zeigen, dass wenn <math>H</math> eine endliche abelsche Gruppe ist, gilt: <math>Exp(H)=|H| \Leftrightarrow H </math> ist zyklisch. Außerdem kann man mit starker Induktion zeigen, dass ein <math>k</math> existiert, sodass <math>|H| \, | \, Exp(H)^k</math>. Ferner kann man leicht zeigen, dass <math>Exp(H) \, | \, |H|</math>. Hieraus folgt, dass der Gruppenexponent und die Gruppenordnung die gleichen Primteiler haben.
Wir betrachten nun den Fall <math>Z(G)=pq</math>, dann ist <math>G</math> abelsch, außerdem gilt <math>Exp(G)=pq=|G|</math>, demnach ist <math>G</math> zyklisch.

Für den Fall <math>Z(G)=1</math> habe ich mich noch nie beschäftigt.

Red\(\endgroup\)
 

 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2021 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]