isSemidirectProductOf
P28829
predicate
Indicates that a group is constructed as a semidirect product of two subgroups, where one subgroup acts on the other via automorphisms in a way that generalizes the direct product.
Sample triples (2)
| Subject | Object |
|---|---|
| Poincaré group | Lorentz group → |
| Poincaré group | translation group of Minkowski space → |