minimalFaithfulComplexRepresentationDimension

P77170
predicate

Indicates the smallest possible dimension of a complex vector space in which a faithful (injective) representation of the given structure can be realized.

Sample triples (2)

Subject Object
Monster group 196883
Fischer–Griess Monster 196883