In mathematics, a Sylvester domain, named after James Joseph Sylvester by Dicks & Sontag (1978), is a ring in which Sylvester's law of nullity holds.
This means that if A is an m by n matrix, and B is an n by s matrix over R, then where ρ is the inner rank of a matrix.
Sylvester (1884) showed that fields satisfy Sylvester's law of nullity and are, therefore, Sylvester domains.
This abstract algebra-related article is a stub.
You can help Wikipedia by expanding it.