isMaximalSubgroupOf
P76335
predicate
Indicates that one group is a proper subgroup of another that is not contained in any larger proper subgroup of that group.
All labels observed (3)
| Label | Occurrences |
|---|---|
| hasMaximalSubgroup | 24 |
| hasMaximalSubgroupIsomorphicTo | 8 |
| isMaximalSubgroupOf canonical | 1 |
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: isMaximalSubgroupOf
Generated description
Indicates that one group is a proper subgroup of another that is not contained in any larger proper subgroup of that group.
Sample triples (33)
| Subject | Object |
|---|---|
| Co3 | Co1 ⓘ |
| McLaughlin group | U4(3) via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | M22 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | M22:2 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | 2·A8 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | 3^4:2·S5 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | 3^2:2S5 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | 5^2:4S4 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | L2(11) via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | A7 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | 7:6 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | 11:5 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | 2^4:A7 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | 2^6:3·S6 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | 2^3+6:3^2:2 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | 3^1+4:2·S4 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | 3^2+4:2^2·S4 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | 5^1+2:4A4 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| Janko group J4 | 2^{1+12}.3.M22.2 via predicate surface "hasMaximalSubgroup" ⓘ |
| Janko group J4 | 2^{4+12}.(3×A6).2 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| Janko group J4 | 11^{1+2}.(5×2S4) via predicate surface "hasMaximalSubgroup" ⓘ |
| Janko group J4 | 29:28 via predicate surface "hasMaximalSubgroup" ⓘ |
| Janko group J4 | 31:15 via predicate surface "hasMaximalSubgroup" ⓘ |
| Janko group J4 | 37:18 via predicate surface "hasMaximalSubgroup" ⓘ |
| Janko group J4 | 43:14 via predicate surface "hasMaximalSubgroup" ⓘ |
| McL | U_4(3) via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | M_{22} via predicate surface "hasMaximalSubgroupIsomorphicTo" NERFINISHED ⓘ |
| McL | M_{23} via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | 2^4:A_7 via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | 2^{4+6}:3A_6 via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | 2^6:U_4(2) via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | 3^2:2S_5 via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | A_8 via predicate surface "hasMaximalSubgroupIsomorphicTo" NERFINISHED ⓘ |