RFR: 8376223: Add modeling interfaces for algebraic structures: groups, rings, and fields

[Joe Darcy]

On Fri, 23 Jan 2026 20:54:28 GMT, Chen Liang <liach at openjdk.org> wrote:

> I wonder if a `MathField` should provide an accessor for a `MathAbelianGroup multiplicativeGroup()`; also what happens if a group etc. contains some but not all elements of a type?

As a minor API note, the design of the group interface was assuming group would be used in the context of rings and fields. For that reason, the method on group is named "zero" rather than "identity".

So while I acknowledge the request here is mathematically valid, I think it is at a finer level of details and refinement than is currently being discussed in this PR. Thanks.

-------------

PR Comment: https://git.openjdk.org/valhalla/pull/1957#issuecomment-3792845857