Formal Definition
To define an absolute presentation of a group one specifies a set of generators, a set of relations among those generators and a set of irrelations among those generators. We then say has absolute presentation
provided that:
- has presentation
- Given any homomorphism such that the irrelations are satisfied in, is isomorphic to .
A more algebraic, but equivalent, way of stating condition 2 is:
- 2a. if is a non-trivial normal subgroup of then
Remark: The concept of an absolute presentation has been fruitful in fields such as algebraically closed groups and the Grigorchuk topology. In the literature, in a context where absolute presentations are being discussed, a presentation (in the usual sense of the word) is sometimes referred to as a relative presentation. The term seems rather strange as one may well ask "relative to what?" and the only justification seems to be that relative is habitually used as an antonym to absolute.
Read more about this topic: Absolute Presentation Of A Group
Famous quotes containing the words formal and/or definition:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)