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

[Joe Darcy]

On Fri, 23 Jan 2026 19:50:49 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> First cut at adding modeling interfaces for the algebraic structures of rings, groups, and fields.

I had initially intended to use "AlgebraicFoo" as the naming convention for the various Foo algebraic structures. However, "algebraic group" has a distinct meaning so "AlgebraicGroup" would be a confusing name to someone with familiarity with abstract algebra terms.

As a placeholding, I went with "MathFoo" instead, but I'm open to a different naming convention. This was intended to evoke with Wikipedia-style "Ring_(mathematics)" name.

I avoid the simple terms like "Group", "Ring", and "Field", since types with those names included in java.lang would conflict with existing types with those names.

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

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