Definition talk:Power of Ideal of Ring

I'm not sure how to create discussion posts exactly so I am making an attempt here (sorry, I am quite new).

I am curious as to what is unclear about the notation $a_{i,j}$ as a double index notation.

It's obscure and needs further explanation. It has to be made explicit what $a_{i,j}$ is an element of for a start. --prime mover (talk) 23:56, 27 May 2024 (UTC)

Not sure how it could be made clearer. It says that $a_{i, j}$ is an element of $I$. If it's still not clear do let me know and I will attempt to make it clearer if I can think of how to do so. --Anakin (talk) 02:31, 28 May 2024 (UTC)

The point is that all concepts on $\mathsf{Pr} \infty \mathsf{fWiki}$ need to link back to the definitions. It is the fundamental philosophical raison d'etre of $\mathsf{Pr} \infty \mathsf{fWiki}$.

A further point that needs to be reconciled at some stage is that we haven't yet defined double indexing sets on $\mathsf{Pr} \infty \mathsf{fWiki}$. Such is an omission that needs to be addressed at some stage.

Also, what is this "In particular: assuming more definitions to come, one per page?" Am I expected to make more pages for something?

I saw the "definition 1" and so naturally assumed there's going to be a "definition 2" and so on. --prime mover (talk) 23:56, 27 May 2024 (UTC)

I copied the source from another page that had multiple definitions so the definition 1 was an artifact from that. My apologies --Anakin (talk) 02:31, 28 May 2024 (UTC)

I have added a definition 2 just now to aid with the proof of another page. --Anakin (talk) 02:43, 28 May 2024 (UTC)

Refactoring is now complete.

Finally, what is meant by "including category" at the top where it says this article should be linked in some places?

Compare and contrast other pages. You'll get the hang in due course. Or not. --prime mover (talk) 23:56, 27 May 2024 (UTC)

Ideal Theory category added. --Anakin (talk) 02:31, 28 May 2024 (UTC)

Also note my point about linking back to definitions. No page is complete unless every concept has a link back to its definition. --prime mover (talk) 08:53, 28 May 2024 (UTC)

My end goal is to basically fix the page Radical of Power of Prime Ideal if that is of any help.

--Anakin (talk) 22:37, 27 May 2024 (UTC)