Editing Talk:Direct product of groups (section)

== Wikimarkup versus explicit HTML for list markup ==

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:

<div style="margin-left: 2em">
* Let {{math|'''R'''}} be the group of [[real number]]s under [[addition]].  Then the direct product {{math|'''R''' × '''R'''}} is the group of all two-component [[Euclidean vector|vectors]] {{math|(''x'', ''y'')}} under the operation of [[Euclidean vector#Addition and subtraction|vector addition]]:
::{{math|(''x''<sub>1</sub>, ''y''<sub>1</sub>) + (''x''<sub>2</sub>, ''y''<sub>2</sub>) &nbsp;{{=}}&nbsp; (''x''<sub>1</sub> + ''x''<sub>2</sub>, ''y''<sub>1</sub> + ''y''<sub>2</sub>)}}.
* Let {{math|''G''}} and {{math|''H''}} be [[cyclic group]]s with two elements each:

:{|
|-
|
<!-- G nested table -->
{| class="wikitable" style="text-align:center; width:90px; height:90px;"
|+ {{math|''G''}}
|-
! ∙
! {{math|1}}     !! {{math|''a''}}
|-
! {{math|1}}
| {{math|1}}     || {{math|''a''}}
|-
! {{math|''a''}}
| {{math|''a''}} || {{math|1}}
|}
<!-- / G nested table -->
| style="width:15px;" |
|
<!-- H nested table -->
{| class="wikitable" style="text-align:center; width:90px; height:90px;"
|+ {{math|''H''}}
|-
! ∙
! {{math|1}}     !! {{math|''b''}}
|-
! {{math|1}}
| {{math|1}}     || {{math|''b''}}
|-
! {{math|''b''}}
| {{math|''b''}} || {{math|1}}
|}
<!-- / H nested table -->
|}

Then the direct product {{math|''G'' × ''H''}} is [[group isomorphism|isomorphic]] to the [[Klein four-group]]:

{| class="wikitable" style="text-align:center; width:250px; height:175px;"
|+ {{math|''G'' × ''H''}}
|-
! ∙
! {{math|(1, 1)}}         !! {{math|(''a'', 1)}}     !! {{math|(1, ''b'')}}     !! {{math|(''a'', ''b'')}}
|-
! {{math|(1, 1)}}
| {{math|(1, 1)}}         || {{math|(''a'', 1)}}     || {{math|(1, ''b'')}}     || {{math|(''a'', ''b'')}}
|-
! {{math|(''a'', 1)}}
| {{math|(''a'', 1)}}     || {{math|(1, 1)}}         || {{math|(''a'', ''b'')}} || {{math|(1, ''b'')}}
|-
! {{math|(1, ''b'')}}
| {{math|(1, ''b'')}}     || {{math|(''a'', ''b'')}} || {{math|(1, 1)}}         || {{math|(''a'', 1)}}
|-
! {{math|(''a'', ''b'')}}
| {{math|(''a'', ''b'')}} || {{math|(1, ''b'')}}     || {{math|(''a'', 1)}}     || {{math|(1, 1)}}
|}
</div>

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:

<div style="margin-left: 2em">
<ul>
<li>Let {{math|'''R'''}} be the group of [[real number]]s under [[addition]].  Then the direct product {{math|'''R''' × '''R'''}} is the group of all two-component [[Euclidean vector|vectors]] {{math|(''x'', ''y'')}} under the operation of [[Euclidean vector#Addition and subtraction|vector addition]]:
:{{math|(''x''<sub>1</sub>, ''y''<sub>1</sub>) + (''x''<sub>2</sub>, ''y''<sub>2</sub>) &nbsp;{{=}}&nbsp; (''x''<sub>1</sub> + ''x''<sub>2</sub>, ''y''<sub>1</sub> + ''y''<sub>2</sub>)}}.
</li>
<li>Let {{math|''G''}} and {{math|''H''}} be [[cyclic group]]s with two elements each:

{|
|-
|
<!-- G nested table -->
{| class="wikitable" style="text-align:center; width:90px; height:90px;"
|+ {{math|''G''}}
|-
! ∙
! {{math|1}}     !! {{math|''a''}}
|-
! {{math|1}}
| {{math|1}}     || {{math|''a''}}
|-
! {{math|''a''}}
| {{math|''a''}} || {{math|1}}
|}
<!-- / G nested table -->
| style="width:15px;" |
|
<!-- H nested table -->
{| class="wikitable" style="text-align:center; width:90px; height:90px;"
|+ {{math|''H''}}
|-
! ∙
! {{math|1}}     !! {{math|''b''}}
|-
! {{math|1}}
| {{math|1}}     || {{math|''b''}}
|-
! {{math|''b''}}
| {{math|''b''}} || {{math|1}}
|}
<!-- / H nested table -->
|}

Then the direct product {{math|''G'' × ''H''}} is [[group isomorphism|isomorphic]] to the [[Klein four-group]]:

{| class="wikitable" style="text-align:center; width:250px; height:175px;"
|+ {{math|''G'' × ''H''}}
|-
! ∙
! {{math|(1, 1)}}         !! {{math|(''a'', 1)}}     !! {{math|(1, ''b'')}}     !! {{math|(''a'', ''b'')}}
|-
! {{math|(1, 1)}}
| {{math|(1, 1)}}         || {{math|(''a'', 1)}}     || {{math|(1, ''b'')}}     || {{math|(''a'', ''b'')}}
|-
! {{math|(''a'', 1)}}
| {{math|(''a'', 1)}}     || {{math|(1, 1)}}         || {{math|(''a'', ''b'')}} || {{math|(1, ''b'')}}
|-
! {{math|(1, ''b'')}}
| {{math|(1, ''b'')}}     || {{math|(''a'', ''b'')}} || {{math|(1, 1)}}         || {{math|(''a'', 1)}}
|-
! {{math|(''a'', ''b'')}}
| {{math|(''a'', ''b'')}} || {{math|(1, ''b'')}}     || {{math|(''a'', 1)}}     || {{math|(1, 1)}}
|}
</li></ul>
</div>

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. – [[User:Tea2min|Tea2min]] ([[User talk:Tea2min|talk]]) 11:22, 1 June 2016 (UTC)

:How about this -- no div-style, and just plain wiki markup:
:* Let {{math|''G''}} and {{math|''H''}} be [[cyclic group]]s with two elements each:

::{|
|-
|
<!-- G nested table -->
{| class="wikitable" style="text-align:center; width:90px; height:90px;"
|+ {{math|''G''}}
|-
! ∙
! {{math|1}}     !! {{math|''a''}}
|-
! {{math|1}}
| {{math|1}}     || {{math|''a''}}
|-
! {{math|''a''}}
| {{math|''a''}} || {{math|1}}
|}
<!-- / G nested table -->
| style="width:15px;" |
|
<!-- H nested table -->
{| class="wikitable" style="text-align:center; width:90px; height:90px;"
|+ {{math|''H''}}
|-
! ∙
! {{math|1}}     !! {{math|''b''}}
|-
! {{math|1}}
| {{math|1}}     || {{math|''b''}}
|-
! {{math|''b''}}
| {{math|''b''}} || {{math|1}}
|}
<!-- / H nested table -->
|}

Then the direct product {{math|''G'' × ''H''}} is [[group isomorphism|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)

</li></ul></dd></dl>
</li></ul></dd></dl>
</li></ul></dd></dl>