Frobenius formula

In mathematics, specifically in representation theory, the Frobenius formula, introduced by G. Frobenius, computes the characters of irreducible representations of the symmetric group Sn. Among the other applications, the formula can be used to derive the hook length formula.

Correspondence (algebraic geometry)

In algebraic geometry, a correspondence between algebraic varieties V and W is a subset R of V×W, that is closed in the Zariski topology. In set theory, a subset of a Cartesian product of two sets is called a binary relation or correspondence; thus, a

Quasi-unmixed ring

In algebra, specifically in the theory of commutative rings, a quasi-unmixed ring is a Noetherian ring such that for each prime ideal p, the completion of the localization Ap is equidimensional, i.e. for each minimal prime ideal q in the completion

Bundle of principal parts

In algebraic geometry, given a line bundle L on a smooth variety X, the bundle of n-th order principal parts of L is a vector bundle of rank that, roughly, parametrizes n-th order Taylor expansions of sections of L

S-object

In algebraic topology, an -object is a sequence of objects such that each comes with an action of the symmetric group

Central polynomial

In algebra, a central polynomial for n-by-n matrices is a polynomial in non-commuting variables that is non-constant but yields a scalar matrix whenever it is evaluated at n-by-n matrices. That such polynomials exist for any square matrices was discovered

Sheaf of algebras

In algebraic geometry, a sheaf of algebras on a ringed space X is a sheaf of commutative rings on X that is also a sheaf of -modules. It is quasi-coherent if it is so as a module

Globular set

In category theory, a branch of mathematics, a globular set is a higher-dimensional generalization of a directed graph. Precisely, it is a sequence of sets equipped with pairs of functions such that

Kaplansky's theorem on projective modules

In abstract algebra, Kaplansky's theorem on projective modules, first proven by Irving Kaplansky, states that a projective module over a local ring is free; where a not-necessary-commutative ring is called local if for each element x, either x or 1 − x

Complex-oriented cohomology theory

In algebraic topology, a complex-orientable cohomology theory is a multiplicative cohomology theory E such that the restriction map is surjective. An element of that restricts to the canonical generator of the reduced theory is called a complex

Cohl Furey

Cohl Furey, also known as Nicohl Furey, is a Canadian mathematical physicist