hasMaximalTorusDimension

P78093 predicate

Indicates that the associated group or algebraic structure has a maximal torus whose dimension equals the specified value or satisfies a given dimensional property.

Observed surface forms (1)

Sample triples (3)

Subject Object
SU(3) 2
special unitary group SU(n)
surface form: SU(n)
n − 1 via predicate surface "maximalTorusDimension"
orthogonal group O(n+1,2) ⌊(n+3)/2⌋