user avatar
user avatar
user avatar
Sh.M1972
  • Member for 9 years, 8 months
  • Last seen this week
12 votes
Accepted

Natural associative law for a ternary "group"?

7 votes

Which mathematical definitions should be formalised in Lean?

7 votes

What is the name of this type of groups?

5 votes
Accepted

A basic question about rings

4 votes

nontrivial theorems with trivial proofs

4 votes

Why do we associate a graph to a ring?

3 votes

Sylow theorems for infinite groups

2 votes

Is every commutative group structure underlying at least one (unitary, commutative) ring structure

2 votes

Interesting examples of vacuous / void entities

1 vote

How to find matrix representations of a boolean algebra?

1 vote

Fixed point theorems

0 votes

Negated varieties and their relatively free algebras

0 votes

Almost uniquely generated groups

-1 votes

Characterization of Angles Trisectable with Straightedge and Compass

-1 votes

Are algebraic structures uniquely identifed by their free objects?