Description: If two structures have the same base set, and the values of their group (addition) and ring (multiplication) operations are equal for all pairs of elements of the base set, one is a non-unital ring iff the other one is. (Contributed by AV, 15-Feb-2025)
Ref | Expression | ||
---|---|---|---|
Hypotheses | rngpropd.1 | |
|
rngpropd.2 | |
||
rngpropd.3 | |
||
rngpropd.4 | |
||
Assertion | rngpropd | |