Wikidata:Property proposal/prime factor

prime factor edit

Originally proposed at Wikidata:Property proposal/Natural science

   Done: prime factor (P5236) (Talk and documentation)
Descriptionone of the prime numbers that can be multiplied to give this number
Representsprime factor (Q1137759)
Data typeItem
Domainnatural number (Q21199)
Example2334 (Q19242165)2 (Q200), 389 (Q1194644), 3 (Q201)
Expected completenessalways incomplete (Q21873886)

Motivation

This was proposed by 99of9 here. It was also proposed that this property use the (mandatory?) qualifier quantity (P1114) to indicate the power of the prime as a factor. ArthurPSmith (talk) 19:02, 24 May 2018 (UTC)[reply]

Discussion

  Notified participants of WikiProject Mathematics

  Comment There are numbers whose prime decomposition is only partly known, e.g., the 12th Fermat number. Consider having a more general property called factor; a qualifier can then be used to state that a factor is prime, probably prime or composite. -- IvanP (talk) 19:28, 24 May 2018 (UTC)[reply]

But then 12 would have 1, 2, 3, 4, 6, 12... which dilutes your ability to extract 2x2x3. Perhaps we could have a way of indicating whether our list was complete or incomplete, although I'm not sure how that works as a triple. --99of9 (talk) 00:44, 25 May 2018 (UTC)[reply]
@IvanP: For "probably" prime factors, you can use a qualifier nature of statement (P5102) with value presumably (Q18122778). I don't see any value in adding known composite factors. ArthurPSmith (talk) 13:20, 25 May 2018 (UTC)[reply]
As for adding composite factors, this would be useful if a number has two or more known composite factors of which no prime factors are known. I am not sure whether there is such a number that is notable to Wikidata, though. -- IvanP (talk) 22:08, 25 May 2018 (UTC)[reply]