isOfLieType

P160151 predicate

Indicates that something belongs to, or is characterized by, a structure or behavior associated with a Lie type (e.g., Lie groups, Lie algebras, or related algebraic classifications).

Sample triples (1)

Subject Object
PSL(2,ℤ/Nℤ) A₁ over ℤ/Nℤ (for N prime power, via corresponding field)