The term allele (UK: //, //; US: //; modern formation from Greek ἄλλος állos, "other")   denotes the variant of a given gene. In genetics it is normal for genes to show deviations or diversity − all alleles together make up the set of genetic information that defines a gene. For example, the ABO blood grouping is controlled by the ABO gene, which has six common variants (alleles). In population genetics nearly every living human's phenotype for the ABO gene is some combination of just these six alleles. 
An allele is a variation of the same sequence of nucleotides that encodes the synthesis of a gene product at the same place on a long DNA molecule. At the lowest extreme, an allele can be based on a single nucleotide polymorphism (SNP). At higher extremes, it can be based on differences up to several thousand base-pairs long. 
Most alleles observed result in little or no change in the function of the gene product it codes for. However, sometimes, different alleles can result in different observable phenotypic traits, such as different pigmentation. A notable example of this is Gregor Mendel's discovery that the white and purple flower colors in pea plants were the result of a single gene with two alleles.
Nearly all multicellular organisms have two sets of chromosomes at some point in their life cycle; that is, they are diploid. In this case, the chromosomes can be paired. Each chromosome in the pair contains the same genes in the same order, and place, along the length of the chromosome. For a given gene, if the two chromosomes contain the same allele, they, and the organism, are homozygous with respect to that gene. If the alleles are different, they, and the organism, are heterozygous with respect to that gene.
The word "allele" is a short form of allelomorph ("other form", a word coined by British geneticists William Bateson and Edith Rebecca Saunders), which was used in the early days of genetics to describe variant forms of a gene detected as different phenotypes. It derives from the Greek prefix ἀλληλο-, allelo-, meaning "mutual", "reciprocal", or "each other", which itself is related to the Greek adjective ἄλλος, allos (cognate with Latin alius), meaning "other".
Main article: Dominance (genetics)
In many cases, genotypic interactions between the two alleles at a locus can be described as dominant or recessive, according to which of the two homozygous phenotypes the heterozygote most resembles. Where the heterozygote is indistinguishable from one of the homozygotes, the allele expressed is the one that leads to the "dominant" phenotype, and the other allele is said to be "recessive". The degree and pattern of dominance varies among loci. This type of interaction was first formally-described by Gregor Mendel. However, many traits defy this simple categorization and the phenotypes are modeled by co-dominance and polygenic inheritance
The term "wild type" allele is sometimes used to describe an allele that is thought to contribute to the typical phenotypic character as seen in "wild" populations of organisms, such as fruit flies (Drosophila melanogaster). Such a "wild type" allele was historically regarded as leading to a dominant (overpowering – always expressed), common, and normal phenotype, in contrast to "mutant" alleles that lead to recessive, rare, and frequently deleterious phenotypes. It was formerly thought that most individuals were homozygous for the "wild type" allele at most gene loci, and that any alternative "mutant" allele was found in homozygous form in a small minority of "affected" individuals, often as genetic diseases, and more frequently in heterozygous form in "carriers" for the mutant allele. It is now appreciated that most or all gene loci are highly polymorphic, with multiple alleles, whose frequencies vary from population to population, and that a great deal of genetic variation is hidden in the form of alleles that do not produce obvious phenotypic differences.
A population or species of organisms typically includes multiple alleles at each locus among various individuals. Allelic variation at a locus is measurable as the number of alleles (polymorphism) present, or the proportion of heterozygotes in the population. A null allele is a gene variant that lacks the gene's normal function because it either is not expressed, or the expressed protein is inactive.
For example, at the gene locus for the ABO blood type carbohydrate antigens in humans, classical genetics recognizes three alleles, IA, IB, and i, which determine compatibility of blood transfusions. Any individual has one of six possible genotypes (IAIA, IAi, IBIB, IBi, IAIB, and ii) which produce one of four possible phenotypes: "Type A" (produced by IAIA homozygous and IAi heterozygous genotypes), "Type B" (produced by IBIB homozygous and IBi heterozygous genotypes), "Type AB" produced by IAIB heterozygous genotype, and "Type O" produced by ii homozygous genotype. (It is now known that each of the A, B, and O alleles is actually a class of multiple alleles with different DNA sequences that produce proteins with identical properties: more than 70 alleles are known at the ABO locus. Hence an individual with "Type A" blood may be an AO heterozygote, an AA homozygote, or an AA heterozygote with two different "A" alleles.)
Main article: Allele frequency
The frequency of alleles in a diploid population can be used to predict the frequencies of the corresponding genotypes (see Hardy–Weinberg principle). For a simple model, with two alleles;
where p is the frequency of one allele and q is the frequency of the alternative allele, which necessarily sum to unity. Then, p2 is the fraction of the population homozygous for the first allele, 2pq is the fraction of heterozygotes, and q2 is the fraction homozygous for the alternative allele. If the first allele is dominant to the second then the fraction of the population that will show the dominant phenotype is p2 + 2pq, and the fraction with the recessive phenotype is q2.
With three alleles:
In the case of multiple alleles at a diploid locus, the number of possible genotypes (G) with a number of alleles (a) is given by the expression:
A number of genetic disorders are caused when an individual inherits two recessive alleles for a single-gene trait. Recessive genetic disorders include albinism, cystic fibrosis, galactosemia, phenylketonuria (PKU), and Tay–Sachs disease. Other disorders are also due to recessive alleles, but because the gene locus is located on the X chromosome, so that males have only one copy (that is, they are hemizygous), they are more frequent in males than in females. Examples include red-green color blindness and fragile X syndrome.
Other disorders, such as Huntington's disease, occur when an individual inherits only one dominant allele.
While heritable traits are typically studied in terms of genetic alleles, epigenetic marks such as DNA methylation can be inherited at specific genomic regions in certain species, a process termed transgenerational epigenetic inheritance. The term epiallele is used to distinguish these heritable marks from traditional alleles, which are defined by nucleotide sequence. A specific class of epiallele, the metastable epialleles, has been discovered in mice and in humans which is characterized by stochastic (probabilistic) establishment of epigenetic state that can be mitotically inherited.
The term “idiomorph”, from Greek ‘morphos’ (form) and ‘idio’ (singular, unique), was introduced in 1990 in place of “allele” to denote sequences at the same locus in different strains that have no sequence similarity and probably do not share a common phylogenetic relationship. It is used mainly in the genetic research of mycology.