Sh.M1972's user avatar
Sh.M1972's user avatar
Sh.M1972's user avatar
Sh.M1972
  • Member for 11 years, 4 months
  • Last seen more than a month ago
13 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

Nontrivial theorems with trivial proofs

5 votes
Accepted

A basic question about rings

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

1 vote

How to find matrix representations of a boolean algebra?

1 vote

Fixed point theorems

1 vote

Interesting examples of vacuous / void entities

0 votes

Characterization of angles trisectable with straightedge and compass

0 votes

Negated varieties and their relatively free algebras

0 votes

Almost uniquely generated groups

-1 votes

Are algebraic structures uniquely identifed by their free objects?