isAbelianFor

P152465
predicate

Indicates that the operation or structure associated with the given entity is commutative (i.e., forms an Abelian group) with respect to the specified context or parameters.

All labels observed (2)

Label Occurrences
isAbelianFor canonical 1
isAbelianGroup 1

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: isAbelianFor
Generated description
Indicates that the operation or structure associated with the given entity is commutative (i.e., forms an Abelian group) with respect to the specified context or parameters.

Sample triples (2)

Subject Object
general linear group GL(n,R)
surface form: GL(n,ℝ)
n = 1
Whitehead groups
surface form: Whitehead group
true via predicate surface "isAbelianGroup"