Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Definition of meaningful product

  1. Feb 15, 2012 #1
    1. The problem statement, all variables and given/known data
    I am studying Hungerford's book "Algebra". In the page 27 he defines the meaningful product as follows.

    Given any sequence of elements of a semigroup G,>{a1,a2,…} define inductively a meaningful product (in this order) as follows. If n=1, then the only meaningful product is a1. If n>1, then a meaningful product is defined to be any product of the form (a1⋯am)(am+1⋯an) where m<n and (a1⋯am) and (am+1⋯an) are meaningful products of m and n−m elements respectively.

    He notes next the following:

    To show that this definition is in the fact well defined requires a stronger version of Recursion Theorem 6.2 of the Introduction; see C.W. Burril: Foundations of Real Numbers.

    I don't have access to this book, so I would like to know this version and see how to use it, or a reference if possible.

    I've never seen this definition before. Is it really necessary to define a meaningful product in order to prove that Generalized Associative law holds on a semigroup?

    Thanks for your help.



    2. Relevant equations



    3. The attempt at a solution
     
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted