• Support PF! Buy your school textbooks, materials and every day products Here!

Associative function

  • Thread starter eddybob123
  • Start date
  • #1
115
0

Homework Statement


Let ##d(n)## denote the least prime factor of a positive integer ##n##, and let ##p## and ##q## be prime numbers. Find all functions ##f## such that ##d(f(p,q))## is associative for all ##p## and ##q##.



Homework Equations


##f:\Bbb{P}\times \Bbb{P}\to \Bbb{P}## is a binary mapping of prime numbers.



The Attempt at a Solution


For clarity, we shall call the function composition ##(d\cdot f)(p,q)## simply ##g(p,q)##
To be honest, I'm not even sure such a function exists, let alone try and find it. My first instinct was to expand it out and try to "force" the solution:
$$g(p,g(q,r))))=g(g(p,q),r))$$
which gives us two cases: either ##g## is surjective or ##p=g(p,q)## and ##g(q,r)=r##.
What do you guys think?
 

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
3,750
99
As a quick example of such a function f, let f(p,q) = pq. Then d(f(p,q)) = min(p,q). And g(p,g(q,r)) = g(g(p,q),r) = min(p,q,r).

It's unlikely they intend for the image of f to be the primes (which your post seems to imply) as that would make composing it with d fairly boring...
 
  • #3
Dick
Science Advisor
Homework Helper
26,258
618

Homework Statement


Let ##d(n)## denote the least prime factor of a positive integer ##n##, and let ##p## and ##q## be prime numbers. Find all functions ##f## such that ##d(f(p,q))## is associative for all ##p## and ##q##.



Homework Equations


##f:\Bbb{P}\times \Bbb{P}\to \Bbb{P}## is a binary mapping of prime numbers.



The Attempt at a Solution


For clarity, we shall call the function composition ##(d\cdot f)(p,q)## simply ##g(p,q)##
To be honest, I'm not even sure such a function exists, let alone try and find it. My first instinct was to expand it out and try to "force" the solution:
$$g(p,g(q,r))))=g(g(p,q),r))$$
which gives us two cases: either ##g## is surjective or ##p=g(p,q)## and ##g(q,r)=r##.
What do you guys think?
What's wrong with f(p,q)=2. Or f(p,q)=min(p,q)?
 
  • #4
115
0
I intend to find an algebraic function of p and q.
 

Related Threads on Associative function

Replies
8
Views
463
Replies
5
Views
4K
Replies
3
Views
688
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
2
Views
820
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
1
Views
5K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
13
Views
3K
Top