Talk:Direct product of groups

fibre product

edit

--Lendormi (talk) 11:28, 13 January 2012 (UTC)In the section Fiber product, I don't see any reason to require that the morphisms are epimorphisms.Reply

Wikimarkup versus explicit HTML for list markup

edit

There's an edit war about the right way to format certain parts of the article, specifically whether wikimarkup or explicit HTML must be used. The article contains several sections where to the best of my knowledge the intended and correct indentation cannot be created using wikimarkup alone. Examples (from section, well, "Examples"):

First with wikimarkup alone:

(x1, y1) + (x2, y2)  =  (x1 + x2, y1 + y2).
G
1 a
1 1 a
a a 1
H
1 b
1 1 b
b b 1

Then the direct product G × H is isomorphic to the Klein four-group:

G × H
(1, 1) (a, 1) (1, b) (a, b)
(1, 1) (1, 1) (a, 1) (1, b) (a, b)
(a, 1) (a, 1) (1, 1) (a, b) (1, b)
(1, b) (1, b) (a, b) (1, 1) (a, 1)
(a, b) (a, b) (1, b) (a, 1) (1, 1)

This is supposed to be a two-element unordered list. However, the second list entry is broken semantically and visually as the tables are not interpreted as part of the list entry, and their indentation is wrong. Now using HTML:

  • Let R be the group of real numbers under addition. Then the direct product R × R is the group of all two-component vectors (x, y) under the operation of vector addition:
    (x1, y1) + (x2, y2)  =  (x1 + x2, y1 + y2).
  • Let G and H be cyclic groups with two elements each:
    G
    1 a
    1 1 a
    a a 1
    H
    1 b
    1 1 b
    b b 1

    Then the direct product G × H is isomorphic to the Klein four-group:

    G × H
    (1, 1) (a, 1) (1, b) (a, b)
    (1, 1) (1, 1) (a, 1) (1, b) (a, b)
    (a, 1) (a, 1) (1, 1) (a, b) (1, b)
    (1, b) (1, b) (a, b) (1, 1) (a, 1)
    (a, b) (a, b) (1, b) (a, 1) (1, 1)

Here the indentation of the tables is correct, and the second list entry is not broken. I don't see how this can be accomplished using wikimarkup alone, and Help:List appears to agree, as far as I can see. – Tea2min (talk) 11:22, 1 June 2016 (UTC)Reply

How about this -- no div-style, and just plain wiki markup:
G
1 a
1 1 a
a a 1
H
1 b
1 1 b
b b 1

Then the direct product G × H is isomorphic to the Klein four-group:

And so on. Its wikimarkup, but I just put a single colon in front of the table to indent it. No raw html markup. 14:29, 3 August 2016 (UTC)