User talk:Barto

Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact one of the administrators, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers! prime mover (talk) 13:43, 3 December 2016 (EST)

Splitting Theorem and Definition
Thanks for your work on Definition:Z-Module Associated with Abelian Group, it was long overdue.

In the future, please take care to duplicate any sources listed on the original integrated page on both resultants, and flag them with Template:SourceReview. This way, we can ensure to continue representing the content of said sources as faithfully as possible.

If applicable, please also attend to any links to the page via "Tools -> What links here" in the sidebar menu. They might have to be updated to the new definition. &mdash; Lord_Farin (talk) 16:46, 5 December 2016 (EST)


 * I'll keep it in mind.--barto (talk) 03:24, 6 December 2016 (EST)


 * Also please note the wording of the SourceReview template, with particular reference to the word "following". It is how we distinguish between sources which have been reviewed and those we have not. --prime mover (talk) 06:56, 6 December 2016 (EST)

Consistent naming
Thank you for taking the time and effort to improve the structure of this area -- it is long overdue.

The reason for inconsistent naming between e.g. direct product of groups and direct sum of rings is purely as a result of the source works that the material came from.

The definition namespace of was conceived more or less as a dictionary of existing usage, and as such we make the effort to stick to what is found in the source works which are plundered to provide material. If it just so happens that the source work used uses "sum", then that, by default, is what was taken.

So I don't think there are problems with renaming Ring Direct Sum to Ring Direct Product, and I don't think there are many pages that would need to be changed to accommodate it. As is our usual technique, we can of course use "Also known as" to explain the differences in terminology.

As for removing "external" from all "external direct product" pages -- again, I think that should be okay. I was specifically using "external" as opposed to "internal" as I had trouble with this when first studying group theory and I needed to make sure I was very sure what was being discussed -- particularly when I was battling with the Internal Direct Product Theorem -- but now I look back on it, I think we would be okay to just use "Direct Product" for what is now "External Direct Product", using an "also known as" section to explain the alternative terms. --prime mover (talk) 06:53, 17 December 2016 (EST)