Triple Product Property

In abstract algebra, the triple product property is an identity satisfied in some groups.

Let be a non-trivial group. Three nonempty subsets are said to have the triple product property in if for all elements, it is the case that


s's^{-1}t't^{-1}u'u^{-1} = 1 \Rightarrow s' = s, t' = t, u' = u

where is the identity of .

It plays a role in research of fast matrix multiplication algorithms.

Famous quotes containing the words triple, product and/or property:

    And DANTE searched the triple spheres,
    Moulding nature at his will,
    So shaped, so colored, swift or still,
    And, sculptor-like, his large design
    Etched on Alp and Apennine.
    Ralph Waldo Emerson (1803–1882)

    Humour is the describing the ludicrous as it is in itself; wit is the exposing it, by comparing or contrasting it with something else. Humour is, as it were, the growth of nature and accident; wit is the product of art and fancy.
    William Hazlitt (1778–1830)

    Let’s call something a rigid designator if in every possible world it designates the same object, a non-rigid or accidental designator if that is not the case. Of course we don’t require that the objects exist in all possible worlds.... When we think of a property as essential to an object we usually mean that it is true of that object in any case where it would have existed. A rigid designator of a necessary existent can be called strongly rigid.
    Saul Kripke (b. 1940)