84:
74:
53:
165:
22:
140:
317:
353:
that shows that the set of products of one of the two left cosets of one of the subgroups of order 2 (all of which are non-normal) with itself consists of
589:
130:
584:
106:
97:
58:
561:
In the definitions section, there is both -g H g = H and -g H g included in H but they are not equivalent in infinite groups.
178:
33:
208:
187:
228:
21:
338:
Example in which the set of products of two left cosets of a non-normal coset does not even equal a coset
39:
566:
83:
542:
looks a bit like original research, but a very similar proof is given in Dummit & Foote 3ed, p81.
519:(this relationship obviously holds for normal subgroups, and in that case even if the right factor
328:
562:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
503:, as expected; I suspect that the product set of two left cosets of a finite non-normal subgroup
193:
89:
73:
52:
455:={(),(1 2 3),(1 3 2)} (which is normal because it has index 2), then the other coset is (1 2)
189:
164:
547:
395:
The StackExchange answer goes on to show how, if the operation were instead defined as (
324:
578:
459:={(1 2),(1 3),(2 3)} and the products of elements of this coset with itself are
102:
543:
79:
342:
I'm not sure about how useful it would be in the main article, but I found
191:
343:
570:
551:
332:
194:
158:
15:
223:
I'm trying to find something to support/refute the idea that
392:(or of any other subgroup, because 4 does not divide 6).
231:
101:, a collaborative effort to improve the coverage of
411:, then it would not be well defined: Clearly, (1 3)
388:={(),(1 2),(2 3),(1 3 2)}, which is not a coset of
311:
321:I can't find it on this page, is it anywhere?
515:| divided by the order of the normal core of
202:This page has archives. Sections older than
8:
380:={(1 3),(1 2 3)}, and the product set (1 3)
19:
47:
312:{\displaystyle Rank(N/G)=Rank(N)-Rank(G)}
250:
230:
49:
557:Do we assume that G is a finite group?
376:={(),(1 2)}; then the left coset (1 3)
212:when more than 3 sections are present.
7:
526:Also, the proof in the article that
95:This article is within the scope of
507:, in which the right factor is not
38:It is of interest to the following
511:itself, has cardinality equal to |
451:As a bit of original research, if
14:
590:Mid-priority mathematics articles
206:may be automatically archived by
115:Knowledge:WikiProject Mathematics
585:Start-Class mathematics articles
491:from which the product set (1 2)
163:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
306:
300:
282:
276:
258:
244:
1:
109:and see a list of open tasks.
372:generated by (1 2), meaning
333:11:53, 23 January 2022 (UTC)
606:
552:04:34, 26 March 2022 (UTC)
571:05:30, 12 June 2024 (UTC)
134:
67:
46:
219:Rank of a quotient group
141:project's priority scale
98:WikiProject Mathematics
523:the subgroup itself).
313:
209:Lowercase sigmabot III
28:This article is rated
314:
229:
121:mathematics articles
365:be the subgroup of
484:(2 3)(1 3)=(1 3 2)
481:(2 3)(1 2)=(1 2 3)
478:(1 3)(2 3)=(1 3 2)
472:(1 3)(1 2)=(1 2 3)
469:(1 2)(2 3)=(1 2 3)
466:(1 2)(1 3)=(1 3 2)
309:
90:Mathematics portal
34:content assessment
216:
215:
155:
154:
151:
150:
147:
146:
597:
318:
316:
315:
310:
254:
211:
195:
167:
159:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
605:
604:
600:
599:
598:
596:
595:
594:
575:
574:
559:
534:is a group iff
431:, while (1 2 3)
371:
352:
340:
227:
226:
221:
207:
196:
190:
172:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
603:
601:
593:
592:
587:
577:
576:
558:
555:
489:
488:
485:
482:
479:
476:
473:
470:
467:
464:
449:
448:
393:
369:
350:
339:
336:
308:
305:
302:
299:
296:
293:
290:
287:
284:
281:
278:
275:
272:
269:
266:
263:
260:
257:
253:
249:
246:
243:
240:
237:
234:
220:
217:
214:
213:
201:
198:
197:
192:
188:
186:
183:
182:
174:
173:
168:
162:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
602:
591:
588:
586:
583:
582:
580:
573:
572:
568:
564:
556:
554:
553:
549:
545:
541:
537:
533:
529:
524:
522:
518:
514:
510:
506:
502:
498:
494:
487:(2 3)(2 3)=()
486:
483:
480:
477:
475:(1 3)(1 3)=()
474:
471:
468:
465:
463:(1 2)(1 2)=()
462:
461:
460:
458:
454:
446:
442:
438:
434:
430:
426:
422:
418:
414:
410:
406:
402:
398:
394:
391:
387:
383:
379:
375:
368:
364:
360:
359:
358:
356:
349:
345:
337:
335:
334:
330:
326:
322:
319:
303:
297:
294:
291:
288:
285:
279:
273:
270:
267:
264:
261:
255:
251:
247:
241:
238:
235:
232:
224:
218:
210:
205:
200:
199:
185:
184:
181:
180:
176:
175:
171:
166:
161:
160:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
560:
539:
535:
531:
527:
525:
520:
516:
512:
508:
504:
500:
496:
492:
490:
456:
452:
450:
444:
440:
436:
432:
428:
424:
420:
416:
412:
408:
404:
400:
396:
389:
385:
381:
377:
373:
366:
362:
354:
347:
341:
323:
320:
225:
222:
203:
177:
169:
156:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
419:, but (1 3)
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
579:Categories
357:elements:
344:an example
325:Darcourse
439:=(1 3 2)
415:=(1 2 3)
204:365 days
170:Archives
563:Ahsiwje
435:(1 2 3)
139:on the
346:using
36:scale.
544:Julyo
495:(1 2)
423:(1 3)
384:(1 3)
567:talk
548:talk
361:Let
355:four
329:talk
403:)=(
131:Mid
581::
569:)
550:)
521:is
405:ab
401:bH
399:)(
397:aH
331:)
286:−
565:(
546:(
540:G
538:◁
536:H
532:H
530:/
528:G
517:H
513:H
509:H
505:H
501:N
499:=
497:N
493:N
457:N
453:N
447:.
445:H
443:≠
441:H
437:H
433:H
429:H
427:=
425:H
421:H
417:H
413:H
409:H
407:)
390:H
386:H
382:H
378:H
374:H
370:3
367:S
363:H
351:3
348:S
327:(
307:)
304:G
301:(
298:k
295:n
292:a
289:R
283:)
280:N
277:(
274:k
271:n
268:a
265:R
262:=
259:)
256:G
252:/
248:N
245:(
242:k
239:n
236:a
233:R
179:1
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.