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:

    Their martyred blood and ashes sow
    O’er all the Italian fields where still doth sway
    The triple tyrant; that from these may grow
    A hundredfold, who, having learnt thy way,
    Early may fly the Babylonian woe.
    John Milton (1608–1674)

    The guys who fear becoming fathers don’t understand that fathering is not something perfect men do, but something that perfects the man. The end product of child raising is not the child but the parent.
    Frank Pittman (20th century)

    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)