diff --git a/lmfdb/artin_representations/templates/artin-representation-show.html b/lmfdb/artin_representations/templates/artin-representation-show.html index 16f3d6fc3e..09b1a14ca6 100644 --- a/lmfdb/artin_representations/templates/artin-representation-show.html +++ b/lmfdb/artin_representations/templates/artin-representation-show.html @@ -68,7 +68,7 @@

Defining polynomial

-

Generators of the action on the roots +

Generators of the {{KNOWL('gg.galois_group', 'action')}} on the roots {% if object.number_field_galois_group().degree() < 4 %} ${% for i in range(1, object.number_field_galois_group().degree()+1) %} r_{ {{i}} }{% if not loop.last %}, {% endif %} @@ -89,25 +89,27 @@

Generators of the action on the roots -

Character values on conjugacy classes

+

{{KNOWL('group.representation.character', 'Character values')}} on {{KNOWL('gg.conjugacy_classes', 'conjugacy classes')}}

- + {% endif %} {% for gen in object.number_field_galois_group().conjugacy_classes()%} - - + + + + {% endfor %}
SizeOrderAction on +
{{KNOWL('group.size_conjugacy_class', 'Size')}}{{KNOWL('group.order_conjugacy_class', 'Order')}}{{KNOWL('gg.galois_group', 'Action')}} on {% if object.number_field_galois_group().degree() < 4 %} ${% for i in range(1, object.number_field_galois_group().degree()+1) %} r_{ {{i}} }{% if not loop.last %}, {% endif %} {% endfor %}$ {% else %} $r_1, \ldots, r_{ {{object.number_field_galois_group().degree()}} }$ - {% endif %}Character value
{{KNOWL('group.representation.character', 'Character value')}}{{KNOWL('artin.trace_of_complex_conj', 'Complex conjugation')}}
${{gen.size()}}$${{gen.order()}}$${{cycle_string(gen.representative())}}$${{ object.character_formatted()[loop.index - 1] }}$
${{gen.size()}}$${{gen.order()}}$${{cycle_string(gen.representative())}}$${{ object.character_formatted()[loop.index - 1] }}$ + {% if loop.index == object.number_field_galois_group().index_complex_conjugation()%}✓{%endif%}
-

The blue line marks the conjugacy class containing complex conjugation.

{# For testing in progress