[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:Mathematics at DEC
Moderator:RUSURE::EDP
Created:Mon Feb 03 1986
Last Modified:Fri Jun 06 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:2083
Total number of notes:14613

1649.0. "Verifying Associativity" by TRACE::GILBERT (Ownership Obligates) Mon Jul 27 1992 00:33

    To see if a binary operation on a set with n elements is associative,
    one might think it necessary to verify directly n� instances of the
    associative law.  Often, however, for instance if the operation is 
    commutative and has an identity, considerably fewer need to be
    verified.  Is there a set of n elements and an operation on them for
    which all n� verifications are necessary?
    
    						(AMM 6238)
T.RTitleUserPersonal
Name		DateLines