Skip to content

Commit 4c5f66f

Browse files
authored
Merge pull request #6243 from jwj61/colorlessartin
Remove use of color to designate complex conjugation
2 parents 587adee + 4427a19 commit 4c5f66f

File tree

1 file changed

+9
-7
lines changed

1 file changed

+9
-7
lines changed

lmfdb/artin_representations/templates/artin-representation-show.html

Lines changed: 9 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -68,7 +68,7 @@ <h2>Defining polynomial</h2>
6868
</table>
6969
</div>
7070

71-
<h2>Generators of the action on the roots
71+
<h2>Generators of the {{KNOWL('gg.galois_group', 'action')}} on the roots
7272
{% if object.number_field_galois_group().degree() < 4 %}
7373
${% for i in range(1, object.number_field_galois_group().degree()+1) %}
7474
r_{ {{i}} }{% if not loop.last %}, {% endif %}
@@ -89,25 +89,27 @@ <h2>Generators of the action on the roots
8989
</tbody>
9090
</table>
9191

92-
<h2> Character values on conjugacy classes</h2>
92+
<h2> {{KNOWL('group.representation.character', 'Character values')}} on {{KNOWL('gg.conjugacy_classes', 'conjugacy classes')}}</h2>
9393
<table class="ntdata">
94-
<thead><tr><td>Size</td><td>Order</td><td>Action on
94+
<thead><tr><td>{{KNOWL('group.size_conjugacy_class', 'Size')}}</td><td>{{KNOWL('group.order_conjugacy_class', 'Order')}}</td><td>{{KNOWL('gg.galois_group', 'Action')}} on
9595
{% if object.number_field_galois_group().degree() < 4 %}
9696
${% for i in range(1, object.number_field_galois_group().degree()+1) %}
9797
r_{ {{i}} }{% if not loop.last %}, {% endif %}
9898
{% endfor %}$
9999
{% else %}
100100
$r_1, \ldots, r_{ {{object.number_field_galois_group().degree()}} }$
101-
{% endif %}</td><td>Character value</td></tr></thead>
101+
{% endif %}</td><td>{{KNOWL('group.representation.character', 'Character value')}}</td><td>{{KNOWL('artin.trace_of_complex_conj', 'Complex conjugation')}}</td></tr></thead>
102102

103103
<tbody>
104104
{% for gen in object.number_field_galois_group().conjugacy_classes()%}
105-
<tr {% if loop.index == object.number_field_galois_group().index_complex_conjugation()%}class="bluehighlight"{%endif%}>
106-
<td align="center">${{gen.size()}}$</td><td align="center">${{gen.order()}}$</td><td align="center">${{cycle_string(gen.representative())}}$</td><td align="center">${{ object.character_formatted()[loop.index - 1] }}$</td></tr>
105+
<tr>
106+
<td align="center">${{gen.size()}}$</td><td align="center">${{gen.order()}}$</td><td align="center">${{cycle_string(gen.representative())}}$</td><td align="center">${{ object.character_formatted()[loop.index - 1] }}$</td>
107+
<td align="center">
108+
{% if loop.index == object.number_field_galois_group().index_complex_conjugation()%}&#x2713;{%endif%}</td>
109+
</tr>
107110
{% endfor %}
108111
</tbody>
109112
</table>
110-
<p>The blue line marks the conjugacy class containing complex conjugation.</p>
111113
{# For testing in progress
112114
<div>
113115
<br>

0 commit comments

Comments
 (0)