Search Results
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 |
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.
6
votes
The evaluation and coevaluation maps for an object isomorphic to a dualisable object
Yes.
First, set $Y^* = X^*$.
Then, compose the evaluation and coevaluation maps of $X$ with maps like $\operatorname{id_{X^*}} \otimes \sigma$.
5
votes
Accepted
A classification of non-associative algebras with a norm?
I don't think these objects can be classified in a manner similar to the normed unital division algebras, if you take "algebra" to mean "vector space $V$ equipped with a bilinear map $V \otimes V \to …
9
votes
Accepted
A back and forth Euclidean algorithm over the integers--does it have bounded length?
We get an isomorphic problem by switching $c$ with $d$, and replacing $b$ with $-b$. Then we are considering matrices $\begin{pmatrix} a & b \\ c & d \end{pmatrix}$ in $SL_2(\mathbb{Z})$. Passage fr …
3
votes
Accepted
Norm of a number in an algebraically closed field
For any norm of a quadratic extension, you can specify the Galois-fixed elements as those $x$ for which $N(x) = x^2$. If you had an invariant norm, it would imply the real-closed field is unique. H …
17
votes
Direct sum of Hopf algebras
The answer is "no". In the commutative case, this would be asking for the disjoint union of two group schemes to be a group scheme. Even more concretely (say, working with finite dimensional commuta …
2
votes
Dual of a module
Let $M = \mathbb{Z}_p$ with $T$ acting as $0$. Then (if I'm not missing anything) $X \cong \mathbb{Q}_p/\mathbb{Z}_p$, and $X/X[p^n] \cong X \neq 0$, while $M[p^n] = 0$.
2
votes
Explanation and Definition of Iwahori order
I can give a concrete description of David Savitt's example (following your link). Let $A = \mathbb{C}[\![ t]\!]$, the ring of formal Taylor series with complex coefficients. It has a maximal ideal …
11
votes
An algebra of "integrals"
I don't see why you want $A$ to be an algebra, since the integral of 1 doesn't seem like a reasonable unit. Did you want some compatibility with higher dimensional integrals using the Fubini theorem? …
6
votes
Generalization of eigenvalues/vectors to modules?
In the case of commutative rings, you can view spectra as points in the quotient of $End_R(M)$ by the conjugation action of $Aut_R(M)$. You can use the tensor product to turn this into a quotient of …
2
votes
Group laws on elliptic curves and varieties
The short answer is that the group law on the set of rational points of an elliptic curve defined by a Weierstrass equation uses all of the structure and properties of a field in an essential way.
To …
3
votes
Modules over Laurent series rings
Sorry, the first version of this answer was broken in a few ways.
For your first question, it seems that there is more than one construction that specializes to what you want. For example, you can t …
10
votes
Accepted
Codes, lattices, vertex operator algebras
I think the analogy you describe cannot be made precise with our current technology. For example, the word "functor" doesn't seem to have made an appearance yet in this context.
If you have a code, …
3
votes
Realizing a restriction as direct/inverse image of sheaves
I'm going to make a bold guess about what you are doing. You want to view $\mathbb{C}$ as the real points of two dimensional affine space over $\mathbb{R}$, and its ring of functions can be seen as $ …
1
vote
What is an algebraic group over a noncommutative ring?
You seem to be asking two different questions. The first is, "how do I define the notion of algebraic group over a noncommutative ring?" The second is, "given an algebraic group (viewed as a functor …
15
votes
What is interesting/useful about big Witt Vectors?
Here is a long article by Hazewinkel and a discussion on the nLab.
The functor of taking big Witt vectors is right adjoint to the forgetful functor from lambda-rings to commutative rings. Lambda rin …