This website contains problems from math contests. Problems and corresponding tags were obtained from the Art of Problem Solving website.

Tags were heavily modified to better represent problems.

AND
OR
NO

Found problems: 183

Let $(A,+,\cdot)$ be an unit ring with the property: for all $x\in A$, \[ x+x^{2}+x^{3}=x^{4}+x^{5}+x^{6} \] [list=a] [*]Let $x\in A$ and let $n\geq2$ be an integer such that $x^{n}=0$. Prove that $x=0$. [*]Prove that $x^{4}=x$, for all $x\in A$.[/list]
Let $n$ be a positive integer and $G$ be a finite group of order $n.$ A function $f:G \to G$ has the $(P)$ property if $f(xyz)=f(x)f(y)f(z)~\forall~x,y,z \in G.$ $\textbf{(a)}$ If $n$ is odd, prove that every function having the $(P)$ property is an endomorphism. $\textbf{(b)}$ If $n$ is even, is the conclusion from $\textbf{(a)}$ still true?
Let $n$ and $q$ be two natural numbers, $n\ge 2$, $q\ge 2$ and $q\not\equiv 1 (\text{mod}\ 4)$ and let $K$ be a finite field which has exactly $q$ elements. Show that for any element $a$ from $K$, there exist $x$ and $y$ in $K$ such that $a = x^{2^n} + y^{2^n}$. (Every finite field is commutative).
Let $ A$ and $ B$ be two Abelian groups, and define the sum of two homomorphisms $ \eta$ and $ \chi$ from $ A$ to $ B$ by \[ a( \eta\plus{}\chi)\equal{}a\eta\plus{}a\chi \;\textrm{for all}\ \;a \in A\ .\] With this addition, the set of homomorphisms from $ A$ to $ B$ forms an Abelian group $ H$. Suppose now that $ A$ is a $ p$-group ( $ p$ a prime number). Prove that in this case $ H$ becomes a topological group under the topology defined by taking the subgroups $ p^kH \;(k\equal{}1,2,...)$ as a neighborhood base of $ 0$. Prove that $ H$ is complete in this topology and that every connected component of $ H$ consists of a single element. When is $ H$ compact in this topology? [L. Fuchs]
Define functions $f$ and $g$ as nonconstant, differentiable, real-valued functions on $R$. If $f(x+y)=f(x)f(y)-g(x)g(y)$, $g(x+y)=f(x)g(y)+g(x)f(y)$, and $f'(0)=0$, prove that $\left(f(x)\right)^2+\left(g(x)\right)^2=1$ for all $x$.
Let $ A $ be a ring, $ a\in A, $ and let $ n,k\ge 2 $ be two natural numbers such that $ n\vdots\text{char} (A) $ and $ 1+a=a^k. $ Show that the following propositions are true: [b]a)[/b] $ \forall s\in\mathbb{N}\quad \exists p_0,p_1,\ldots ,p_{k-1}\in\mathbb{Z}_{\ge 0}\quad a^s=\sum_{i=0}^{k-1} p_ia^{i} . $ [b]b)[/b] $ \text{ord} (a)\neq\infty . $
Let $K$ be a finite field with $q$ elements and let $n \ge q$ be an integer. Find the probability that by choosing an $n$-th degree polynomial with coefficients in $K,$ it doesn't have any root in $K.$
Given $n\ge 2$ a natural number, $(K,+,\cdot )$ a body with commutative property that $\underbrace{1+...+}_{m}1\ne 0,m=2,...,n,f\in K[X]$ a polynomial of degree $n$ and $G$ a subgroup of the additive group $(K,+,\cdot )$, $G\ne K.$Show that there is $a\in K$ so$f(a)\notin G$.
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. Let $H \leq G, |H | = 3.$ What can be said about $|N_{G}(H ) : C_{G}(H )|$?
Suppose that the automorphism group of the finite undirected graph $ X\equal{}(P, E)$ is isomorphic to the quaternion group (of order $ 8$). Prove that the adjacency matrix of $ X$ has an eigenvalue of multiplicity at least $ 4$. ($ P\equal{} \{ 1,2,\ldots, n \}$ is the set of vertices of the graph $ X$. The set of edges $ E$ is a subset of the set of all unordered pairs of elements of $ P$. The group of automorphisms of $ X$ consists of those permutations of $ P$ that map edges to edges. The adjacency matrix $ M\equal{}[m_{ij}]$ is the $ n \times n$ matrix defined by $ m_{ij}\equal{}1$ if $ \{ i,j \} \in E$ and $ m_{i,j}\equal{}0$ otherwise.) [i]L. Babai[/i]
Let $ R$ be a ring with 1. Every element in $ R$ can be written as product of idempotent ($ u^n\equal{}u$ for some $ n$) elements. Prove that $ R$ is commutative
Let $K$ commutative field with $8$ elements. Prove that $(\exists)a\in K$ such that $a^3=a+1$. [i]Mircea Becheanu[/i]
Consider the endomorphism ring of an Abelian torsion-free (resp. torsion) group $ G$. Prove that this ring is Neumann-regular if and only if $ G$ is a discrete direct sum of groups isomorphic to the additive group of the rationals (resp. ,a discrete direct sum of cyclic groups of prime order). (A ring $ R$ is called Neumann-regular if for every $ \alpha \in R$ there exists a $ \beta \in R$ such that $ \alpha \beta \alpha\equal{}\alpha$.) [i]E. Freid[/i]
Let $p$ be a prime number. Call a positive integer $n$ interesting if \[x^n-1=(x^p-x+1)f(x)+pg(x)\] for some polynomials $f$ and $g$ with integer coefficients. a) Prove that the number $p^p-1$ is interesting. b) For which $p$ is $p^p-1$ the minimal interesting number?
Problem 4. Let$\left( A,+,\cdot \right)$ be a ring with the property that $x=0$ is the only solution of the ${{x}^{2}}=0,x\in A$ecuation. Let $B=\left\{ a\in A|{{a}^{2}}=1 \right\}$. Prove that: (a) $ab-ba=bab-a$, whatever would be $a\in A$ and $b\in B$. (b) $\left( B,\cdot \right)$ is a group
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. Let $H \leq G$ and $a, b \in G.$ Prove that $|aH \cap Hb|$ is either zero or a divisor of $|H |.$
Let $ G$ and $ H$ be countable Abelian $ p$-groups ($ p$ an arbitrary prime). Suppose that for every positive integer $ n$, \[ p^nG \not\equal{} p^{n\plus{}1}G .\] Prove that $ H$ is a homomorphic image of $ G$. [i]M. Makkai[/i]
Let be two nontrivial rings linked by an application ($ K\stackrel{\vartheta }{\mapsto } L $) having the following properties: $ \text{(i)}\quad x,y\in K\implies \vartheta (x+y) = \vartheta (x) +\vartheta (y) $ $ \text{(ii)}\quad \vartheta (1)=1 $ $ \text{(iii)}\quad \vartheta \left( x^3\right) =\vartheta^3 (x) $ [b]a)[/b] Show that if $ \text{char} (L)\ge 4, $ and $ K,L $ are fields, then $ \vartheta $ is an homomorphism. [b]b)[/b] Prove that if $ K $ is a noncommutative division ring, then it’s possible that $ \vartheta $ is not an homomorphism.
Determine all non-trivial finite rings with am unit element in which the sum of all elements is invertible. [i]Mihai Opincariu[/i]
Let $ R$ be an Artinian ring with unity. Suppose that every idempotent element of $ R$ commutes with every element of $ R$ whose square is $ 0$. Suppose $ R$ is the sum of the ideals $ A$ and $ B$. Prove that $ AB\equal{}BA$. [i]A. Kertesz[/i]
Let $n \geq 3$ and $a_1,a_2,...,a_n$ be complex numbers different from $0$ with $|a_i| < 1$ for all $i \in \{1,2,...,n-1 \}.$ If the coefficients of $f = \prod_{i=1}^n (X-a_i)$ are integers, prove that $\textbf{a)}$ The numbers $a_1,a_2,...,a_n$ are distinct. $\textbf{b)}$ If $a_j^2 = a_ia_k,$ then $i=j=k.$
Let $ G$ be a solvable torsion group in which every Abelian subgroup is finitely generated. Prove that $ G$ is finite. [i]J. Pelikan[/i]
Let $G$ be a finite group such that for every two subgroups of it like $H$ and $K$, $H \cong K$ or $H \subseteq K$ or $K \subseteq H$. Prove that we can produce each subgroup of $G$ with 2 elements at most.
Prove that the only morphisms from a finite symmetric group to the multiplicative group of rational numbers are the identity and the signature.
$ G$ is a group. Prove that the following are equivalent: 1. All subgroups of $ G$ are normal. 2. For all $ a,b\in G$ there is an integer $ m$ such that $ (ab)^m\equal{}ba$.