Found problems: 183
We have $ 2n\plus{}1$ elements in the commutative ring $ R$: \[ \alpha,\alpha_1,...,\alpha_n,\varrho_1,...,\varrho_n .\] Let us define the elements \[ \sigma_k\equal{}k\alpha \plus{} \sum_{i\equal{}1}^n \alpha_i\varrho_i^k .\] Prove that the ideal $ (\sigma_0,\sigma_1,...,\sigma_k,...)$ can be finitely generated.
[i]L. Redei[/i]
Let $r,s,t$ positive integers which are relatively prime and $a,b \in G$, $G$ a commutative multiplicative group with unit element $e$, and $a^r=b^s=(ab)^t=e$.
(a) Prove that $a=b=e$.
(b) Does the same hold for a non-commutative group $G$?
Let $A\in M_4(\mathbb R)$ be an invertible matrix s.t. $\det(A+^tA)=5\det A$ and $\det (A-^tA)=\det A$. Prove that for every complex root $\omega$ of order 5 of unitity (i.e. $\omega^5=1,\omega\not\in\mathbb R$) the following relation holds $\det(\omega A+^tA)=0$.
[i]Dan Popescu[/i]
Let be a group $ G $ of order $ 1+p, $ where $ p $ is and odd prime. Show that if $ p $ divides the number of automorphisms of $ G, $ then $ p\equiv 3\pmod 4. $
In The ring $\mathbf R$, we have $\forall x \in \mathbf R : x^2=x$. Prove that in this ring
[b]i)[/b] Every element is equals to its additive inverse.
[b]ii)[/b] This ring has commutative property.
In a lattice, connected the elements $ a \wedge b$ and $ a \vee b$ by an edge whenever $ a$ and $ b$ are incomparable. Prove that in the obtained graph every connected component is a sublattice.
[i]M. Ajtai[/i]
Describe all groups $ G $ which have the property that:
$$ (\forall H\le G)(\forall x,y\in G)(xy\in H\implies (x,y\in H\vee xy=1)) $$
Prove that a group $G$ in which exactly two elements other than the identity commute with each other is isomorphic to $\mathbb{Z}/3 \mathbb{Z}$ or $S_3.$
Let $ \alpha $ be a non-real algebraic integer of degree two, and let $ \mathbb{P} $ be the set of irreducible elements of the ring $ \mathbb{Z}[ \alpha ] $. Prove that
\[ \sum_{p\in \mathbb{P}}^{{}}\frac{1}{|p|^{2}}=\infty \]
Let $ G$ be anon-commutative group. Consider all the one-to-one mappings $ a\rightarrow a'$ of $ G$ onto itself such that $ (ab)'\equal{}b'a'$ (i.e. the anti-automorphisms of $ G$). Prove that this mappings together with the automorphisms of $ G$ constitute a group which contains the group of the automorphisms of $ G$ as direct factor.
Prove that if $ a,x,y$ are $ p$-adic integers different from $ 0$ and $ p | x, pa | xy$, then \[ \frac 1y \frac{(1\plus{}x)^y\minus{}1}{x} \equiv \frac{\log (1\plus{}x)}{x} \;\;\;\; ( \textrm{mod} \; a\ ) \\\\ .\]
[i]L. Redei[/i]
In the questions below: $G$ is a finite group; $H \leq G$ a subgroup of $G; |G : H |$ the index of $H$ in $G; |X |$ the number of elements of $X \subseteq G; Z (G)$ the center of $G; G'$ the commutator subgroup of $G; N_{G}(H )$ the normalizer of $H$ in $G; C_{G}(H )$ the centralizer of $H$ in $G$; and $S_{n}$ the $n$-th symmetric group.
Suppose that $n \geq 1$ is such that the mapping $x \mapsto x^{n}$ from $G$ to itself is an isomorphism. Prove that for each $a \in G, a^{n-1}\in Z (G).$
Find for which positive integers $n$ the $A_n$ alternating group has a permutation which is contained in exactly one $2$-Sylow subgroup of $A_n$.
[i]Proposed by Péter Pál Pálfy[/i]
Let $ G$ be a transitive subgroup of the symmetric group $ S_{25}$ different from $ S_{25}$ and $ A_{25}$. Prove that the order of $ G$ is not divisible by $ 23$.
[i]J. Pelikan[/i]
Let $A$ be an integral domain and $A[X]$ be its associated ring of polynomials. For every integer $n \ge 2$ we define the map $\varphi_n : A[X] \to A[X],$ $\varphi_n(f)=f^n$ and we assume that the set $$M= \Big\{ n \in \mathbb{Z}_{\ge 2} : \varphi_n \mathrm{~is~an~endomorphism~of~the~ring~} A[X] \Big\}$$ is nonempty.
Prove that there exists a unique prime number $p$ such that $M=\{p,p^2,p^3, \ldots\}.$
Let $G$ be a group with $m$ elements and let $H$ be a proper subgroup of $G$ with $n$ elements. For each $x\in G$ we denote $H^x = \{ xhx^{-1} \mid h \in H \}$ and we suppose that $H^x \cap H = \{e\}$, for all $x\in G - H$ (where by $e$ we denoted the neutral element of the group $G$).
a) Prove that $H^x=H^y$ if and only if $x^{-1}y \in H$;
b) Find the number of elements of the set $\bigcup_{x\in G} H^x$ as a function of $m$ and $n$.
[i]Calin Popescu[/i]
Let $ \Psi\equal{}\langle A;...\rangle$ be an arbitrary, countable algebraic structure (that is, $ \Psi$ can have an arbitrary number of finitary operations and relations). Prove that $ \Psi$ has as many as continuum automorphisms if and only if for any finite subset $ A'$ of $ A$ there is an automorphism $ \pi_{A'}$ of $ \Psi$ different from the identity automorphism and such that \[ (x) \pi_{A'}\equal{}x\] for every $ x \in A'$.
[i]M. Makkai[/i]
What is the value of the series $\sum_{1 \leq l <m<n} \frac{1}{5^l3^m2^n}$
Consider an odd prime $p$. A comutative ring $(A,+, \cdot)$ has the property that $ab=0$ implies $a^p=0$ or $b^p=0$. Moreover, $\underbrace{1+1+\cdots +1}_{p \textnormal{ times}} =0$. Take $x,y\in A$ such that there exist $m,n\geq 1$, $m\neq n$ with $x+y=x^my=x^ny$, and also $y$ is not invertible. \\ \\
$\textbf{(a)}$ Prove that $(a+b)^p=a^p+b^p$ and $(a+b)^{p^2}=a^{p^2}+b^{p^2}$ for all $a,b\in A$.\\
$\textbf{(b)}$ Prove that $x$ and $y$ are nilpotent.\\
$\textbf{(c)}$ If $y$ is invertible, does the conclusion that $x$ is nilpotent stand true?
\\ \\
[i] (Bogdan Blaga)[/i]
Let $A=(a_{ij})$ be an $m\times n$ real matrix with at least one non-zero element. For each $i\in\{1,\ldots,m\}$, let $R_i=\sum_{j=1}^na_{ij}$ be the sum of the $i$-th row of the matrix $A$, and for each $j\in\{1,\ldots,n\}$, let $C_j =\sum_{i=1}^ma_{ij}$ be the sum of the $j$-th column of the matrix $A$. Prove that there exist indices $k\in\{1,\ldots,m\}$ and $l\in\{1,\ldots,n\}$ such that
$$a_{kl}>0,\qquad R_k\ge0,\qquad C_l\ge0,$$or
$$a_{kl}<0,\qquad R_k\le0,\qquad C_l\le0.$$
Show that there is an unique group $ G $ (up to isomorphism) of order $ 1986 $ which has the property that there is at most one subgroup of it having order $ n, $ for every natural number $ n. $
Consider the lattice of all algebraically closed subfields of the complex field $ \mathbb{C}$ whose transcendency degree (over $ \mathbb{Q}$) is finite. Prove that this lattice is not modular.
[i]L. Babai[/i]
Let $G$ be the permutation group of a finite set $\Omega$.Consider $S\subset G$ such that $1\in S$ and for any $x,y\in \Omega$ there exists a unique element $\sigma \in S$ such that $\sigma (x)=y$.Prove that,if the elements of $S \setminus \{1\}$ are conjugate in $G$,then $G$ is $2-$transitive on $\Omega$
Let $G$ be a finite group of order $n$. Define the set
\[H=\{x:x\in G\text{ and }x^2=e\},\]
where $e$ is the neutral element of $G$. Let $p=|H|$ be the cardinality of $H$. Prove that
a) $|H\cap xH|\ge 2p-n$, for any $x\in G$, where $xH=\{xh:h\in H\}$.
b) If $p>\frac{3n}{4}$, then $G$ is commutative.
c) If $\frac{n}{2}<p\le\frac{3n}{4}$, then $G$ is non-commutative.
[i]Marian Andronache[/i]
[color=darkred] Let $(R,+,\cdot)$ be a ring and let $f$ be a surjective endomorphism of $R$ such that $[x,f(x)]=0$ for any $x\in R$ , where $[a,b]=ab-ba$ , $a,b\in R$ . Prove that:
[list]
[b]a)[/b] $[x,f(y)]=[f(x),y]$ and $x[x,y]=f(x)[x,y]$ , for any $x,y\in R\ ;$
[b]b)[/b] If $R$ is a division ring and $f$ is different from the identity function, then $R$ is commutative.
[/list]
[/color]