Change solvable length to derived length.

LMFDB · Dec 6, 2023 · 895b875 · 895b875
1 parent 814d6b4
commit 895b875
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/lmfdb/groups/abstract/templates/abstract-show-group.html b/lmfdb/groups/abstract/templates/abstract-show-group.html
@@ -30,7 +30,7 @@ <h2> Group information</h2>
 	{% if gp.nilpotent %}
     <tr><td>{{KNOWL('group.nilpotent', title='Nilpotency class:')}}</td><td>${{gp.nilpotency_class}}$  </td></tr>
 	{% endif %}
-    <tr><td>{{KNOWL('group.derived_series', title='Solvable length:')}}</td><td>${{gp.derived_length}}$  </td></tr>
+    <tr><td>{{KNOWL('group.derived_series', title='Derived length:')}}</td><td>${{gp.derived_length}}$  </td></tr>
   </table>
 </p>
 <p>

diff --git a/lmfdb/groups/abstract/templates/abstract-show-subgroup.html b/lmfdb/groups/abstract/templates/abstract-show-subgroup.html
@@ -35,7 +35,7 @@ <h2> Subgroup ($H$) information</h2>
 	  {% endif %}
 </td></tr>
 	{% endif %}
-    <tr><td>{{KNOWL('group.derived_series', title='Solvable
+    <tr><td>{{KNOWL('group.derived_series', title='Derived
 		length:')}}</td><td>
 		 {% if seq.sub.G %}
 		 ${{seq.sub.derived_length}}$
@@ -78,7 +78,7 @@ <h2> {{KNOWL('group.ambient', 'Ambient group ($G$) information')}} </h2>
     <tr><td>{{KNOWL('group.nilpotent', title='Nilpotency
     class:')}}</td><td>${{seq.amb.nilpotency_class}}$  </td></tr>
 	{% endif %}
-    <tr><td>{{KNOWL('group.derived_series', title='Solvable length:')}}</td><td>${{seq.amb.derived_length}}$  </td></tr>
+    <tr><td>{{KNOWL('group.derived_series', title='Derived length:')}}</td><td>${{seq.amb.derived_length}}$  </td></tr>
   </table>
 </p>
 
@@ -126,8 +126,7 @@ <h2> Quotient group ($Q$) structure </h2>
 	  {% endif %}
 </td></tr>
 	{% endif %}
-    <tr><td>{{KNOWL('group.derived_series', title='Solvable
-		length:')}}</td><td>
+    <tr><td>{{KNOWL('group.derived_series', title='Derived length:')}}</td><td>
 		 {% if seq.quo.G %}
 		 ${{seq.quo.derived_length}}$
 		 {% else %}