Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 46855

Non-commutative rings and algebras, non-associative algebras, universal algebra and lattice theory, linear algebra, semigroups. For questions specific to commutative algebra (that is, rings that are assumed both associative and commutative), rather use the tag ac.commutative-algebra.

3 votes

Non-commutative reduced rings of order $p^2$

A more conceptual path to essentially the same solution: Lam, a first course in noncommutative rings, pag. 207: (12.7) Theorem. A nonzero ring $R$ is reduced iff $R$ is a subdirect product of domains …
user46855's user avatar
  • 2,213
6 votes
Accepted

Properly "transfinitely" Euclidean domains

Yes, they exist. Even if the problem is left open in the the papers of T. Motzkin and P. Samuel cited in Comparing different Euclidean algorithms on a Euclidean domain the problem is solved in J. …
user46855's user avatar
  • 2,213
1 vote

Does a BCL algebra define a partial order?

The paper you cite says in theorem 2.1 3) that Any a BCH-algebra is a BCL-algebra The paper http://emis.library.cornell.edu/journals/NSJOM/Papers/25_1/NSJOM_25_1_075_082.pdf gives in example 1 …
user46855's user avatar
  • 2,213
2 votes

Are there atomistic ortholattices which are not modular?

Examples are contained in a classical book about semimodular lattice theory: F. Maeda and S. Maeda "theory of symmetric lattices". See that book for details and refernces concerning what follows. Let …
user46855's user avatar
  • 2,213
1 vote

Examples of cancellative normal semigroups

positive cone of (nonabelian) totally ordered groups (like the multiplicative group in Hilbert's ordered skew field to show that Pappus theorem is not provable in ordered affine geometry). More exampl …
user46855's user avatar
  • 2,213
7 votes

When does a planar ternary ring uniquely coordinitise a projective plane?

Too long for a comment. Contrary to what wikipedia and the accepted answer say, the following paper proves that there are non-Moufang infinite projective planes where the collineation group is transit …
user46855's user avatar
  • 2,213
2 votes

A non-orthomodular orthocomplemented lattice identity?

You are interested in a ortholattice identity in two variables. Now, the word problem for free ortholattices and free orthomodular lattices is solvable; hence you can apply these algorithms to obtain …
user46855's user avatar
  • 2,213
3 votes

Universal constructions that factor through endomorphisms

From Hodges, model theory, section 9.3 Word-constructions pag. 431: There is no agreed name for functors $\Gamma$ as defined above. To category theorists they are the left adjoints of forgetful funct …
user46855's user avatar
  • 2,213
1 vote

Metrics and completions on the direct limit of matrices of all sizes over arbitrary fields

It seems that you might like the (normalized) rank metric, producing the first algebraic examples of continuous geometries and their coordinatizing rings. See the original papers of von Neumann (1936 …
user46855's user avatar
  • 2,213
4 votes

An algebra of "integrals"

Since specific pre-determined axioms might have problems, to formalize the problem to give a reasonable value to integrals $\int_0^\infty f$ (with real $f$) where each $F(x)=\int_0^x f$ reasonably exi …
user46855's user avatar
  • 2,213
4 votes

Is there an intuitionistic generalized boolean algebra (of Stone)?

The general method to consider "unitless" order structures is the following: suppose that $C$ is a class of structures such that on each structure $X$ in $C$ a natural order with bounds $0_X,1_X$ is …
user46855's user avatar
  • 2,213
1 vote

Integration on Compact Semirings

An easy answer along traditional lines is available iff the measure has "bounded variation" in a suitable sense. To undestand this, first note that integration with values in Banach algebras (which …
user46855's user avatar
  • 2,213
2 votes

IBN for algebraic theories

A. Has the IBN property for algebraic theories in general been studied in the literature? Yes, mostly by many polish authors. See Gr\"atzer, universal algebra, Chap. 5. For example, at pag. 198 …
user46855's user avatar
  • 2,213
9 votes

Properties of rings that have an elegant description in terms of the associated category of ...

From http://en.wikipedia.org/wiki/Injective_module Every submodule of every injective module is injective if and only if the ring is Artinian semisimple (Golan & Head 1991, p. 152); every factor modu …