hasRankOverℂ

P151472 predicate

Indicates that one entity has a specified (typically finite) linear-algebraic rank when considered over the field of complex numbers ℂ.

Sample triples (1)

Subject Object
orthogonal group O(n+1,2) ⌊(n+3)/2⌋