Algebraic objects with non-binary operations
4923
Why don't we study algebraic objects with more than two operations?
112371
Computing irreducible components of algebraic set
4800
Is there a name for an algebraic structure like this?
56370
Associative operation on a set $S$
87451
Construction of matrices under ZFC axioms
3217
Construction of uncountably many non-isomorphic linear (total) orderings of natural numbers
8255
Real polynomials from repunits to repunits ( Putnam 2007 A4)
103654
A finite field extension that is not simple
107281
Proof of Existence of Algebraic Closure: Too simple to be true?
153975
Proving mathematical induction with arbitrary base using (weak) induction
84317
Iterated self-composition of arbitrary function
77791
Proving an inclusion related to algebraic sets and interpreting it
103045
Composition of Proximal Operators
21254
Formal language: Proving the reverse operation on a word through induction
85338
Equivalence relations on classes instead of sets
135641
Algebraic independence of exponentials
151251
A simple algebra that is not semisimple