hasMaximalSubgroupOrder

P97231
predicate

Indicates that the subgroup in question has the greatest possible order (size) among all proper subgroups of the given group.

All labels observed (1)

Label Occurrences
hasMaximalSubgroupOrder canonical 3

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: hasMaximalSubgroupOrder
Generated description
Indicates that the subgroup in question has the greatest possible order (size) among all proper subgroups of the given group.

Sample triples (3)

Subject Object
PSL(2,7) 24
PSL(2,7) 21
PSL(2,7) 7⋊3