finiteDedekindGroup

URI: https://gptkb.org/prop/finiteDedekindGroup
1 triples
GPTKB property
Random triples
Subject Object
gptkb:Dedekind_group direct product of a quaternion group of order 8 and an abelian group of odd order