Algebra, logica, teoria dei numeri e matematica discreta
Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.
Domande e risposte
Ordina per
In evidenza
Salve, non ho capito la differenza tra limite superiore e estremo superiore. la dispanesa recita cosi':
Sia S1 sottoinsieme di S, si dice che S1 e' limitato superiormente se esiste b appartenente a S, detto limite superiore, tale che a minore o uguale di b per ogni a appartenente S1. Un limite superiore s per S1 e' detto estremo superiore per S1 se ogni altro limite superiore b verifica s minore o uguale di b. (scusate ma ho avuto problemi di scrittura con latex e ho riscritto i italiano). ...
Come viene introdotta la logica proposizionale mediante il calcolo dei sequenti?
Solitamente si presenta il calcolo dei sequenti introducendone gli assiomi, le regole logiche e le regole strutturali.
Poi si dice che l'insieme dei sequenti dimostrabili in logica proposizionale classica è il più piccolo insieme contenente gli assiomi e chiuso per applicazione delle regole.
Ma come si definisce la logica proposizionale? Ad esempio si potrebbe dire che la logica proposizionale è l'insieme delle ...
Ciao a tutti,
sono bloccato in un passaggio di un esercizio e avrei bisogno di uno, o forse due, aiuti.
L'esercizio dà \(\displaystyle G = \{ z \in C^* | \text{ esiste un naturale } n \text{ per cui } z^{p^n} = 1 \} \leq \mathbb{C}^*\), e $H < G$. Dimostrare che $H$ è ciclico e che \(\displaystyle G/H \cong G \).
Facendo un riassunto di dove sono arrivato finora:
Si costruisce \(\displaystyle X(H)= \{ n \in \mathbb{N} \ \ | \ \ \exists h \in H \text{ tale che } ord(h) = ...
Mi sono di recente incasinato su alcuni concetti anche in un altra discussione aperta che non mi è ancora del tutto chiara, tuttavia in parallelo trovo alcuni dubbi anche su quanto trovo in una vecchia definizione al link: https://www.matematicamente.it/forum/vi ... 0#p8506543
"giangianni":Ciao.
Sono molto poco ferrato in logica quindi mi scuso per le scemenze che sto per dire, tuttavia vorrei capire un po' meglio la seguente faccenda: che legame c'è tra implicazione logica e il tale che? (SE sussiste).
Il dubbio mi ...
Un campo di spezzamento è un estensione finitamente generata? I generatori di tale estensione sono l'insieme di tutte le radici del polinomio, o puo essere anche un sottoinsieme?
Ciao a tutti,
sto cercando di provare che il gruppo derivato $[\text{S}_5, \text{S}_5]$ di $\text{S}_5$ è uguale ad $\text{A}_5$.
Sono riuscito a dimostrare che $[\text{S}_5, \text{S}_5] \subseteq \text{A}_5$, ma mi manca l'inclusione nell'altro verso. Ho letto che se il sottogruppo derivato, che è normale, non è banale, allora posso affermare che $[\text{S}_5, \text{S}_5] = \text{A}_5$. Non riesco però a capire il perché: non possono esistere sottogruppi normali propri?
Volevo porvi gentilmente una domanda sugli zero divisori.
In un anello commutativo (A,+,·) un elemento non nullo a≠0 dell'insieme A è detto divisore dello zero se esiste un b≠0 dell'insieme A tale che ab=0 ∃ a,b∈A , a≠0 , b≠0 | a⋅b=0
Ma notavo una certo legame con la legge di annullamento del prodotto. Tuttavia non lo trovo esplicitamente scritto nel testo e volevo capire se sbaglio a interpretare qualcosa.
Noi sappiamo che la legge di annullamento (del prodotto) ...
Buonasera. Studiando da alcune dispense di un corso mi sembra di capire che in generale non è detto che un ideale omogeneo abbia un massimale omogeneo. Sapreste farmi qualche esempio?
Tra l'altro questo fatto diventa vero, sempre secondo le dispense, per anelli positivamente graduati. Confermate? Come si dimostra (se è dimostrabile in breve).
Grazie per l'attenzione, ho perso un sacco di tempo dietro a questo problema negli ultimi giorni
Buongiorno,
ho trovato che per ogni trasposizione $(i, j)$ con $i < j$ si ha \(\displaystyle \text{inv}((i, j)) = 2(j - i - 1) + 1 \).
Non capisco come va letta: $(i, j)$ è un'inversione di $\sigma \in S_n$ se $1 \leq i < j \leq n$ e $\sigma(i) > \sigma(j)$. Il numero \(\displaystyle \text{inv}((i, j)) \) di inversioni di $(i, j) \in S_n$ con $i < j$ non dovrebbe essere $0$ se $\sigma(i)<\sigma(j)$ o $1$ se $\sigma(i)>\sigma(j)$?
Potreste per ...
Sia $F$ un campo , ed $p(x)$ un polinomio irriducibile di grado $n$ a coefficienti in $F$, ha senso domandarsi quale sia il numero minimo di radici da aggiungere al campo base $F$ affinché si raggiunga il campo di spezzamento $E$ di tale polinomio? Esiste una correlazione tra tale numero ed il grado dell'estensione $E//F$?
Ad esempio se il polinomio ha grado $n=2$ sarà sufficiente aggiungere ...
Buongiorno, non so se è la sezione giusta, nel caso spostate.
Sto provando a verificare che $forall x , y \ in RR$ in particolare $yne0$ allora si ha $ |frac{x}{y}|=frac{|x|}{|y|}$.
Se $x ge 0$ e $y>0$ allora $frac{x}{y} ge 0 to |frac{x}{y}|=frac{x}{y}=frac{|x|}{|y|}$
Se $x ge 0$ e $y<0$ allora $frac{x}{y} le 0 to |frac{x}{y}|=-frac{x}{y}=???$
Qual'è il significato di $-frac{x}{y}$, questo $frac{-x}{y}$ oppure $frac{x}{-y}$?
Mi sono dato una mezza risposta, cioè se considero un numero reale ...
Salve,
per sapere se $x^2-x+3 \in \mathbb{F}_7[x]$ è irriducibile, devo provare tutte le possibili radici o esistono dei metodi più veloci? Questo è soltanto un passaggio di un esercizio e, se risparmio tempo e trovo qualcosa di più pratico, è meglio .
Buongiorno,
ho un dubbio sulla risoluzione di questo esercizio: probabilmente sto sbagliando qualcosa perché altrimenti diventa banale.
Sia $G$ un gruppo abeliano. Sia $\sigma : G \rightarrow G$ un omomorfismo con $\sigma^2=\text{Id}_G$.
[...] (Prima parte risolta)
Dimostrare che $H={h \in G | \sigma(h)=h} \leq G$.
La cosa che non mi convince è che usando $\sigma(h) = h$ e $\sigma^2=\text{Id}_G$ dovrei ottenere $\forall h \in H$
$\sigma(\sigma(h)) = \sigma(h)$ perché $\sigma(h) = h$
$\sigma(h) = h$ per lo stesso ...
Sera,
sto studiando algerba lineare, e purtroppo non ho una infarinatura di algebra di base in quanto nel cdl ingegneristico non viene fatta quindi avrei una lacuna.
Il professore ha posto come prorpietà di uno spazio vettoriale che (assumendo il prodotto per scalare): $(-1)*x=-x$ ossia è dimostrabile che l'opposto di un x vettore che esiste sicuramente per definizione di spazio vettoriale si può rendere come -1 per il vettore x.
Ho cercato di capire autonomamente meglio da cosa ...
Dalla soluzione di un esercizio mi sembra di aver capito che se un gruppo $G$ (nel mio caso di ordine $p(p-1)$) ha un sottogruppo ciclico $H$ di ordine un multiplo di $p-1$ allora esiste un sottogruppo ciclico $K \leq G$ di ordine $p-1$. E' corretto? Esiste qualche teorema a proposito?
Se $X$ e $Y$ sono due insiemi, indichiamo con $Y^X$ l’insieme delle funzioni da $X$ a $Y$ .
Siano $X,Y,T$ tre insiemi. Si costruisca una bigezione tra l’insieme $Y^(XxxT)$ e l’insieme $(Y^X)^T$.
Ho definito la seguente funzione $h: Y^(XxxT)->(Y^X)^T$ definita come $h(f)=g$ tale che $f(-,t)=g(t)$ $AAtinT$.
1) $h$ è iniettiva, infatti siano $f_1,f_2inY^(XxxT)$ tale che ...
Buongiorno, penso che non stia considerando qualche caso, perché altrimenti questo esercizio sarebbe banale.
"Sia G un gruppo e sia $f:G \rarr G$ un omomorfismo tale $f \circ f = f$. Dimostrare che $\text{ker}(f) \cap \text{Im}(f)=\{e\}$."
Se $f \circ f = f$, significa che $\forall x \in G \ \ f(f(x))=f(x)$, ma allora $f(x) = x \ \ \forall x \in G$. Quindi $\text{ker}(f) = \{e\}$ e $\text{Im}(f) = G$.
Mi potreste aiutare per favore a capire l'errore e dare un esempio in cui non è così?
Ho questa dimostrazione:
che io ho interpretato così:
$(1)$ le successioni $A_1A_2....$ sono le successioni di $0$ e $1$ associate a una funzione caratteristica di uno specifico sottoinsieme. di $A$.
Per esempio, se considero $ A=NN$ al sottoinsieme ${0}$ è associata la successione
$A_0=100000...$
al sottoinsieme ...
Buongiorno,
non capisco il seguente passaggio di un esercizio.
Abbiamo \(\displaystyle X = \{1, 2, ..., 100\} \) e dobbiamo calcolare la cardinalità di \(\displaystyle B = \{f: X \to X \ \ |\ \ f^2(x) = 1 \ \ \forall x \in X\} \). Avevo cercato di risolverlo con le congruenze, ma la soluzione che propone è completamente diversa.
"Sia \(\displaystyle f \in B \) e sia \(\displaystyle Y = f^{-1}(1) \), allora \(\displaystyle Y \) è non vuoto perché \(\displaystyle 1 \in f(X) \). Inoltre ...
Mi sarebbe d'aiuto qualche idea per risolvere il seguente esercizio: "quali sono gli elementi di ordine massimo in \(\displaystyle (\mathbb{Z}/13\mathbb{Z})^* \)? E in \(\displaystyle (\mathbb{Z}/20\mathbb{Z})^* \)?"
Sapere che l'ordine di un elemento divide $varphi(13)=12$ non mi sembra di aiuto, dal momento che chiede quali elementi hanno ordine massimo. Provarli uno a uno mi sembra un esercizio molto lungo e meccanico e mi sembra strano che sia così.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo