Semantic search

Jump to: navigation, search
Search

Edit query Show embed code

The query [[Fact about.Page::External direct product]] was answered by the SMWSQLStore3 in 0.0084 seconds.


Results 1 – 16    (Previous 50 | Next 50)   (20 | 50 | 100 | 250 | 500)   (JSON | CSV | RSS | RDF)
 Difficulty levelFact about
1-isomorphism is direct product-closed1-isomorphic groups (?)
External direct product (?)
Chief length of direct product is sum of chief lengthsChief length (2)
External direct product (2)
Sum (2)
Commuting fraction of direct product is product of commuting fractionsExternal direct product (2)
Commuting fraction (1)
Composition length of direct product is sum of composition lengthsComposition length (2)
External direct product (2)
Sum (2)
Direct product is cancellative up to order statistics-equivalenceOrder statistics-equivalent finite groups (?)
External direct product (?)
Exponent of direct product is lcm of exponents1Exponent of a group (2)
External direct product (1)
Least common multiple (2)
Exponent of a group (1)
Internal direct product (1)
Formula for universal quadratic functor of direct productUniversal quadratic functor (1)
External direct product (3)
Tensor product of abelian groups (3)
Minimum size of generating set of direct product is bounded below by maximum of minimum size of generating set of each factorMinimum size of generating set (2)
External direct product (1)
Maximum (2)
Minimum size of generating set (1)
Generating set of a group (2)
Minimum size of generating set of direct product is bounded by sum of minimum size of generating set of each factorMinimum size of generating set (1)
External direct product (1)
Sum (2)
Generating set of a group (2)
Minimum size of generating set of direct product of groups of coprime order equals maximum of minimum size of generating set of each factorMinimum size of generating set (1)
Generating set of a group (2)
External direct product (1)
Number of conjugacy classes in a direct product is the product of the number of conjugacy classes in each factorNumber of conjugacy classes (2)
External direct product (2)
Product (2)
Order of direct product is product of orders0Order of a group (2)
External direct product (2)
Product (2)
Internal direct product (?)
Order statistics-equivalence is finite-direct product-closedOrder statistics-equivalent finite groups (?)
External direct product (?)
Order statistics of a finite group (?)
Presentation of direct product is disjoint union of presentations plus commutation relationsPresentation of a group (?)
External direct product (?)
Second cohomology group for trivial group action commutes with direct product in second coordinateSecond cohomology group for trivial group action (?)
External direct product (?)
Unique factorization does not hold up to order statistics-equivalenceOrder statistics-equivalent finite groups (?)
Directly indecomposable group (?)
External direct product (?)