This article includes a list of references, but its sources remain unclear because it has insufficient inline citations. (July 2013) (Learn how and when to remove this template message)
A morpheme is the smallest meaningful unit in a language. A morpheme is not identical to a word. The main difference between them is that a morpheme sometimes does not stand alone, but a word, by definition, always stands alone. The linguistics field of study dedicated to morphemes is called morphology. When a morpheme stands by itself, it is considered as a root because it has a meaning of its own (such as the morpheme cat). When it depends on another morpheme to express an idea, it is an affix because it has a grammatical function (such as the -s in cats to indicate that it is plural). Every word comprises one or more morphemes.
Every morpheme can be classified as either free or bound. Since the categories are mutually exclusive, a given morpheme will belong to exactly one of them.
Bound morphemes can be further classified as derivational or inflectional morphemes. The main difference between derivational morphemes and inflectional morphemes is their function for words.
Allomorphs are variants of a morpheme that differ in pronunciation but are semantically identical. For example, the English plural marker -(e)s of regular nouns can be pronounced /-s/ (bats), /-z/, (bugs), or /-?z, -?z/, (buses), depending on the final sound of the noun's plural form.
This section needs expansion with: at least a proper definition of the term. You can help by adding to it. (December 2019)
 Generally, these types of morphemes have no visible changes. For instance, sheep is both the singular and the plural form. The intended meaning is thus derived from the Co-occurrence determiner (in this case, "some-" or "a-").
Content morphemes express a concrete meaning or content, and function morphemes have more of a grammatical role. For example, the morphemes fast and sad can be considered content morphemes. On the other hand, the suffix -ed is a function morpheme since it has the grammatical function of indicating past tense.
Both categories may seem very clear and intuitive, but the idea behind them is occasionally harder to grasp since they overlap with each other. Examples of ambiguous situations are the preposition over and the determiner your, which seem to have concrete meanings but are considered function morphemes since their role is to connect ideas grammatically. Here is a general rule to determine the category of a morpheme:
Roots are composed of only one morpheme, while stems can be composed of more than one morpheme. Any additional affixes are considered morphemes. For example, in the word quirkiness, the root is quirk, but the stem is quirky, which has two morphemes.
Moreover, some pairs of affixes have the same phonological form but have a different meaning. For example, the suffix -er can be either derivative (e.g. sell => seller) or inflectional (e.g. small => smaller). Such morphemes are called homophonous.
Some words might seem to be composed of multiple morphemes but are not. Therefore, not only form but also meaning must be considered when identifying morphemes. For example, the word relate might seem to be composed of two morphemes, re- (prefix) and the word late, but it is not. Those morphemes have no relationship with the definitions relevant to the word like "to feel sympathy," "to narrate," or "to be connected by blood or marriage."
Furthermore, the length of a word does not determine whether or not it has multiple morphemes. The word Madagascar is long and might seem to have morphemes like mad, gas, and car, but it does not. Conversely, some short words have multiple morphemes (e.g. dogs = dog + s).
In natural language processing for Korean, Japanese, Chinese, and other languages, morphological analysis is the process of segmenting a sentence into a row of morphemes. Morphological analysis is closely related to part-of-speech tagging, but word segmentation is required for these languages because word boundaries are not indicated by blank spaces.
The purpose of morphological analysis is to determine the minimal units of meaning in a language or morphemes by using comparisons of similar forms: for example, comparing forms such as "She is walking" and "They are walking," rather than comparing either with something completely different like "You are reading." Thus, the forms can be effectively broken down into parts and the different morphemes can be distinguished.
Similarly, both meaning and form are equally important for the identification of morphemes. For instance, an agent morpheme is an affix like -er that transforms a verb into a noun (e.g. teach -> teacher). On the other hand, -er can also be a comparative morpheme that changes an adjective into another degree of the same adjective (eg.. small -> smaller). Although the form is the same, the meaning of both morphemes is different. Also, the opposite can occur, with the meaning being the same but the form being different.
This section does not cite any sources. (September 2011) (Learn how and when to remove this template message)
In generative grammar, the definition of a morpheme depends heavily on whether syntactic trees have morphemes as leaves or features as leaves.
Given the definition of a morpheme as "the smallest meaningful unit," nanosyntax aims to account for idioms in which an entire syntactic tree often contributes "the smallest meaningful unit." An example idiom is "Don't let the cat out of the bag." Here, the idiom is composed of "let the cat out of the bag." This might be considered a semantic morpheme that is itself composed of many syntactic morphemes. Other cases of the "smallest meaningful unit" being longer than a word include some collocations such as "in view of" and "business intelligence", in which the words together have a specific meaning.
The definition of morphemes also plays a significant role in the interfaces of generative grammar in the following theoretical constructs: