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.
Observed surface forms (2)
- hasMaximalSubgroup ×24
- hasMaximalSubgroupIsomorphicTo ×8
Sample triples (33)
| Subject | Object |
|---|---|
| Co3 | Co1 ⓘ |
| Janko group J4 | 11^{1+2}.(5×2S4) via predicate surface "hasMaximalSubgroup" ⓘ |
| Janko group J4 | 29:28 via predicate surface "hasMaximalSubgroup" ⓘ |
| 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 | 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 | 2^4:A_7 via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | 2^6:U_4(2) via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | 2^{4+6}:3A_6 via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | 3^2:2S_5 via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | A_8 via predicate surface "hasMaximalSubgroupIsomorphicTo" NERFINISHED ⓘ |
| McL | M_{22} via predicate surface "hasMaximalSubgroupIsomorphicTo" NERFINISHED ⓘ |
| McL | M_{23} via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McL | U_4(3) via predicate surface "hasMaximalSubgroupIsomorphicTo" ⓘ |
| McLaughlin group | 11:5 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | 2^3+6:3^2:2 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·A8 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 | 3^2:2S5 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | 3^4:2·S5 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | 5^1+2:4A4 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | 5^2:4S4 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | 7:6 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | A7 via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | L2(11) via predicate surface "hasMaximalSubgroup" ⓘ |
| McLaughlin group | M22 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | M22:2 via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |
| McLaughlin group | U4(3) via predicate surface "hasMaximalSubgroup" NERFINISHED ⓘ |