Property talk:P1164
Documentation
number of elements in a finite group in mathematics
Description | The number of elements in a finite group | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Represents | group order (Q18408315) | |||||||||
Data type | Quantity | |||||||||
Domain | According to this template:
finite group (Q1057968)
According to statements in the property:
When possible, data should only be stored as statementsfinite group (Q1057968) | |||||||||
Allowed values | According to this template:
positive integers
According to statements in the property:
When possible, data should only be stored as statements0 ≤ 𝓧 ≤ not applicable | |||||||||
Allowed units | not applicable | |||||||||
Example | dihedral group of order 6 (Q2204630) → 6 Klein four-group (Q550593) → 4 Mathieu group M11 (Q6787235) → 7,920 Conway group Co3 (Q5166742) → 495,766,656,000 | |||||||||
Source | e.g. w:List of small groups and w:List of finite simple groups (note: this information should be moved to a property statement; use property source website for the property (P1896)) | |||||||||
Tracking: usage | Category:Pages using Wikidata property P1164 (Q56178456) | |||||||||
See also | cardinality of this set (P2820) | |||||||||
Lists |
| |||||||||
Proposal discussion | Proposal discussion | |||||||||
Current uses |
|
List of violations of this constraint: Database reports/Constraint violations/P1164#Range
List of violations of this constraint: Database reports/Constraint violations/P1164#Type Q1057968, SPARQL
List of violations of this constraint: Database reports/Constraint violations/P1164#No Bounds, SPARQL
List of violations of this constraint: Database reports/Constraint violations/P1164#Units
List of violations of this constraint: Database reports/Constraint violations/P1164#integer, SPARQL
List of violations of this constraint: Database reports/Constraint violations/P1164#Entity types
Increased range
editI increased the range of values to include the cardinality of the monster group (Q392663). If anybody objects, they can revert the change and instead add Q392663 as an exception. The-erinaceous-one (talk) 04:20, 15 September 2020 (UTC)
- I revised my edit to "no value" because there really is no upper limit on the size of a group. The-erinaceous-one (talk) 07:11, 16 September 2020 (UTC)
What about redoing this with data type item?
editI think cardinality statements here in Wikidata could be more more useful if they were expressed with items as values, where those items would then have a statement about numeric value (P1181), plus potentially other statements, e.g. for prime factor (P5236). So I would think that we should look into having a new cardinality property (let's call it for now) that would have an item as its value, e.g. monster group (Q392663): = 808017424794512875886459904961710757005754368000000000 (Q98609672). Before proposing such a new property, I wanted to check what people here think about such a change. --Daniel Mietchen (talk) 23:11, 28 October 2020 (UTC)
Notified participants of WikiProject Mathematics. --Daniel Mietchen (talk) 23:13, 28 October 2020 (UTC)
- @Daniel Mietchen: The usefulness of the item datatype could be to generalize the property to infinite cardinalities, I think, not for finite cardinalities. If it’s just for finite cardinalities, we could in sparql for example do a join with the numeric value to retrieve the corresponding number item :
- Try it!
select ?group ?num_item ?num_value where { ?group wdt:P1164 ?num_value . optional { ?num_item wdt:P1181 ?num_value . ?num_item wdt:P31 wd:Q21199 . } }
- Of course this depends on which usecase you have in mind as such a join is not possible in Wikipedia lua modules atm. author TomT0m / talk page 08:39, 29 October 2020 (UTC)
- We already have cardinality of this set (P2820). Is that what you are looking for? — The Erinaceous One 🦔 19:53, 29 October 2020 (UTC)