HOME

TheInfoList



OR:

Everett Clarence Dade is a
mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
at
University of Illinois at Urbana–Champaign The University of Illinois Urbana-Champaign (UIUC, U of I, Illinois, or University of Illinois) is a public land-grant research university in the Champaign–Urbana metropolitan area, Illinois, United States. Established in 1867, it is the f ...
working on
finite group In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a finite number of structure-preserving tra ...
s and
representation theory Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), ...
, who introduced the
Dade isometry In mathematical finite group theory, the Dade isometry is an isometry from class function on a subgroup ''H'' with support on a subset ''K'' of ''H'' to class functions on a group ''G'' . It was introduced by as a generalization and simplification ...
and
Dade's conjecture In finite group theory, Dade's conjecture is a conjecture relating the numbers of characters of blocks of a finite group to the numbers of characters of blocks of local subgroup In group theory, a branch of mathematics, a subset of a group G is ...
. While an undergraduate at
Harvard University Harvard University is a Private university, private Ivy League research university in Cambridge, Massachusetts, United States. Founded in 1636 and named for its first benefactor, the History of the Puritans in North America, Puritan clergyma ...
, he became a
Putnam Fellow The William Lowell Putnam Mathematical Competition, often abbreviated to Putnam Competition, is an annual mathematics competition for undergraduate college students enrolled at institutions of higher learning in the United States and Canada (regar ...
twice, in 1955 and 1957.


Work

The
Dade isometry In mathematical finite group theory, the Dade isometry is an isometry from class function on a subgroup ''H'' with support on a subset ''K'' of ''H'' to class functions on a group ''G'' . It was introduced by as a generalization and simplification ...
is an
isometry In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' me ...
from
class function In mathematics, especially in the fields of group theory and representation theory of groups, a class function is a function on a group ''G'' that is constant on the conjugacy classes of ''G''. In other words, it is invariant under the conjugati ...
s on a
subgroup In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G. Formally, given a group (mathematics), group under a binary operation  ...
''H'' with support on a subset ''K'' of ''H'' to class functions on a group ''G'' . It was introduced by as a generalization and simplification of an isometry used by in their
proof Proof most often refers to: * Proof (truth), argument or sufficient evidence for the truth of a proposition * Alcohol proof, a measure of an alcoholic drink's strength Proof may also refer to: Mathematics and formal logic * Formal proof, a co ...
of the
odd order theorem Odd means unpaired, occasional, strange or unusual, or a person who is viewed as eccentric. Odd may also refer to: __NOTOC__ Mathematics * Even and odd numbers, an integer is odd if dividing by two does not yield an integer * Even and odd functio ...
, and was used by in his revision of the
character theory In mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information a ...
of the odd order theorem.
Dade's conjecture In finite group theory, Dade's conjecture is a conjecture relating the numbers of characters of blocks of a finite group to the numbers of characters of blocks of local subgroup In group theory, a branch of mathematics, a subset of a group G is ...
is a
conjecture In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or Fermat's conjecture (now a theorem, proven in 1995 by Andrew Wiles), ha ...
relating the numbers of characters of blocks of a finite group to the numbers of characters of blocks of local subgroups.


References

Sources * * * * * Citations


External links


Everett C. Dade
* {{DEFAULTSORT:Dade, Everett Clarence 20th-century American mathematicians 21st-century American mathematicians Living people Year of birth missing (living people) Group theorists Princeton University alumni University of Illinois Urbana-Champaign faculty Putnam Fellows Harvard College alumni