hasDeterminantMapKernelOf

P154609 predicate

Indicates that the kernel of a given map is characterized or determined by a determinant-related condition or construction.

Sample triples (1)

Subject Object
special linear group SL(n,C)
surface form: SL(n,ℂ)
det : GL(n,ℂ) → ℂ*