The tag has no wiki summary.

learn more… | top users | synonyms

10
votes
0answers
198 views

Does every commutative variety of algebras have a cogenerator?

By a commutative variety $\mathcal{V}$ I mean a classical variety of algebras for some $(\Sigma,E)$, such that each pair of operations in $\Sigma$ commutes. Equivalently (i) every interpretation of ...
5
votes
0answers
212 views

Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course. Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
5
votes
0answers
205 views

Adjunction algebra - is there anything similar to this in abstract algebra?

I call adjunction algebra a universal algebra with one binary operation denoted as the punctuation sign (;) "semicolon" (but I will be using only one space after it, not on both sides - to avoid going ...
4
votes
0answers
92 views

How much do idempotent ultrafilters generate in terms of semigroups?

It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...
3
votes
0answers
151 views

What can we say about a semigroup that's acted on by an ideal of polynomials?

This got no response on MSE, so posting here. Let $S = \{ (a,b) \in \Bbb{Z}^2 : \gcd(a,b) \neq 1 \} \cup (1,1)$. Then $S$ forms a semigroup. The operation being componentwise multiplication. Let ...
2
votes
0answers
191 views

Rewrite sum of radicals equation as polynomial equation

My question is about a method described in Dr.Math forum for simplifying equations involving sums of radical functions. (The following is a transcription of the example given by Dr. Vogler): --- ...
2
votes
0answers
195 views

Is there any research of universal algebras axiomatized by non-Horn clauses?

A Horn clause in the language of a universal algebra is a disjunction of equations and of at most one inequality ("equation" and "inequality" are the terms used by A.Horn in his paper "On sencences ...
2
votes
0answers
118 views

Hall's paper on the profinite groups and Andre Weils “voisinage” notion

I am reading through a classical paper A Topology for Free Groups and Related Groups by Marshall Hall Jr. in which profinite groups are defined for the first time. There he defines on p. 129: ...
2
votes
0answers
152 views

Abelian Subgroup in an infinite non-abelian 3-group

Does an infinite non-abelian 3-group of exponent greater than or equal to 9 has an infinite abelian subgroup? I know that 2-groups and 3-group of exponent 3 has an infinite abelian subgroup. I wonder ...
2
votes
0answers
97 views

Lazard's $\Gamma_n(f)$ as cocycle

In Michel Lazard's "Commutative Formal Groups" Springer Lecture Notes, he defines an operator on a polynomial 3-cochain $f$ denoted $\Gamma_n(f)$, which defines as the $n^{th}$ homogeneous piece of ...
2
votes
0answers
101 views

classification of rank $2$ $\mathbb{Z}/p^n\mathbb{Z}$-algebra with invertible discriminant

Let $p$ be a prime number and $n$ be an integer. Let $A$ be an $\mathbb{Z}/p^n\mathbb{Z}$-algebra of rank $2$ whose discriminant is non invertible. In Serre's book lecture on the mordell Weil theorem ...
2
votes
0answers
119 views

Is a certain group related to a primitive L function isomorphic to $Gal(\overline{\mathbb{Q}}_{\ell}/\mathbb{Q}_{\ell})$ for some $\ell$?

I define the notion of "Galois class of L functions" in the following way: $A$ is a Galois class of L functions if and only if the follwing three conditions hold simultaneously: 1) every element ...
2
votes
0answers
114 views

Quivers for algebras which are not basic or unital.

Are there any definitions of quivers for algebras which are not basic or unital? I am reading the book Elements of the representation theory of associative algebras: volume one. The ordinary quivers ...
2
votes
0answers
124 views

Clifford algebra is graded separable

Let $D$ be an algebra of odd differential operators on a free module $V$, this algebra is isomorphic to the Clifford algebra $Cl(V^* \oplus V)$. Let $m$ denote multiplication map $$m : D\otimes D \to ...
2
votes
0answers
170 views

Idea behind choosing $\small f(x)$ as $c^{s}x^{p-1} \frac{[\theta(x)]^{p}}{(p-1)!}$ in the proof that $\pi$ is transcendental.

I am going through the article at this link, where the author proves that: "$\pi$ is $\text{transcendental}$ over $\mathbb{Q}$". Although, I understand the proof, I have some doubts. At page $6$, ...
1
vote
0answers
38 views

Can we give efficiently the solution of a bilinear system of equations over a finite field?

Consider a finite field $F$ and suppose we have a system of equations $$h_1(\alpha,\beta)=0,h_2(\alpha,\beta)=0,...,h_t(\alpha,\beta)=0$$ where $\alpha=(\alpha_1,...,\alpha_s)$ and ...
1
vote
0answers
34 views

About alternating polynomials an the Rowen's notation

Some definitions... Definition 1: A polynomial $f(X_1,\dots ,X_d)$ is $t$-linear if the variables $X_1,\dots ,X_t,\; t\leq d$ appear in all monomials of $f$ and degree of $X_i,\; i=1,2,\dots ,t$ on ...
1
vote
0answers
90 views

Criterion for global dimension of subring

All rings are assumed to be associative and unital. If $B$ is a commutative sub-ring of $A$ (which itself needs not be commutative) then what properties of $B$ are both necessary and sufficient for ...
1
vote
0answers
268 views

Testing the faithfulness of group homomorphisms by testing on the level of induced Lie Algebras

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the lower central series of $G$. For each $k\geq 1$, set $\mathrm{gr}_k(G)=\Gamma_G(k)/\Gamma_G(k+1)$ and ...
1
vote
0answers
119 views

Definition of 'Koszul Ring' (in BGS)

In the paper 'Koszul Duality Patterns in Representation Theory' by Beilinson et. al, they give the definition of a Koszul Ring: A Koszul ring is a positively graded ring $A = \bigoplus_{j \geq 0} ...
1
vote
0answers
378 views

Kunneth spectral sequence

In Rotman's Homological Algebra, 1st edition, there is written: Is every detail of 11.31-11.35 correct? Isn't the spectral sequence in 11.35 1st quadrant and not 3rd quadrant? Do 11.34-35 also ...
1
vote
0answers
88 views

Positivstellensatz for non-polynomial term

Can we use Positivstellensatz (P-satz) below for a non-polynomial term? P-satz: Let $R$ be real closed field. Let $f,g,h$ be finite families of polynomials in $R[X_{1} ,...,X_{n}]$. Denote by P the ...
1
vote
0answers
143 views

Solving a system of rational functions

Given pairwise distinct numbers $c_1, c_2, \dots c_n \in \mathbb{C} \setminus \{0\}$, does the system of equations $$\frac{6}{c_k} + \sum_{i \ne k} \frac{2}{c_k - c_i} = \sum_{i = 1}^n \frac{1}{c_k - ...
1
vote
0answers
118 views

Structure groups and a special class of L-functions

Hello, Let $X$ and $Y$ be two mathematical objects such that there exists a canonical embedding $f:X\hookrightarrow Y$. I define the structure group of $Y$ relatively to $X$, denoted $Str(Y/X)$, as ...
1
vote
0answers
299 views

about union of conjugate proper subgroups in a math paper

My question is about the shaded area in this image. Does the symbol $L=\bigcup_{g \in G} T^{g}$ means that $L$ is a union of sets or $L=\langle T^{g}, g\in G \rangle$? If it means the first one, then ...
1
vote
0answers
171 views

Invariant Ideals in Split Hopf Algebroids

Given a split Hopf algebroid $(S,\Sigma)=(S,S\otimes B)$ over $K$, Ravenel leaves as an exercise the proof of the following: An ideal $J\subset S$ is invariant under the action of the group ...
0
votes
0answers
43 views

How can the Cayley-table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?

One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$ and $e_1=i$ and $e_2=j$ and so on. I'm looking for an ...
0
votes
0answers
110 views

Soluble group algebras and centralizers

Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and every ...
0
votes
0answers
100 views

Multiplicativity of the Ideal Norm

I asked this question on StackExchange twice, and was never able to get an answer. This is not quite a research-level question, but it is sufficiently difficult and interesting from a pedagogical ...
0
votes
0answers
47 views

Decomposition results for locally commutative semigroups

Every finite abelian group is the direct product of its cyclic groups of prime order, and every commutative monoid divides a product of its cyclic submonoids. Could these results generalized to ...
0
votes
0answers
76 views

Example of a ring whose minimals are annihilators of idempotents?

I'm looking for examples† of rings with the property that for each $P={\rm Ann}_R(a)\in{\rm Min}(R)$ then $a\in R$ is idempotent (ie $a^2=a$) † other than domains!
0
votes
0answers
105 views

Operating on a set of sequences - such as adding sequences and so on possible even when sequence is coded as number?

From http://math.stackexchange.com/questions/346680/operating-on-a-set-of-sequences-such-as-adding-sequences-and-so-on-possible-ev Suppose that there is a way to code some set of sequences into ...
0
votes
0answers
122 views

On X-s-permutable subgroups of a finite group

I want to prove Lemma 2.1(1) in the paper On X-s-Permutable Subgroups of a Finite Group by Min Bang SU, Yang Ming LI. It is on the web. This is my proof. . Since $H$ is $X−s−$permutable in $G$, then ...